[PPL-devel] [GIT] ppl/ppl(compliance): Do not declare more than one variable per declaration. Fixes violations of rule CP1.DCL04 detected by ECLAIR.

[Patrik Pomelli]

Module: ppl/ppl
Branch: compliance
Commit: 5992421fdd82d7172b88a5c0a98310a2124dee3d
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5992421fdd82d7172b88a5c0a98310a2124dee3d

Author: Patrik Pomelli <patrik.pomelli at bugseng.com>
Date:   Mon Jun  9 15:44:24 2014 +0200

Do not declare more than one variable per declaration. Fixes violations of rule CP1.DCL04 detected by ECLAIR.

Signed-off-by: Roberto Bagnara <bagnara at cs.unipr.it>

---

 demos/ppl_lcdd/ppl_lcdd.cc |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/demos/ppl_lcdd/ppl_lcdd.cc b/demos/ppl_lcdd/ppl_lcdd.cc
index 14dabc9..260b8a0 100755
--- a/demos/ppl_lcdd/ppl_lcdd.cc
+++ b/demos/ppl_lcdd/ppl_lcdd.cc
@@ -1068,7 +1068,8 @@ write_polyhedron(std::ostream& out,
           if (g.coefficient(PPL::Variable(j)) == 0)
             guarded_write(out, '0');
           else {
-            mpz_class numer, denom;
+            mpz_class numer;
+            mpz_class denom;
             PPL::assign_r(numer,
                         g.coefficient(PPL::Variable(j)),
                         PPL::ROUND_NOT_NEEDED);