Module: ppl/ppl Branch: compliance Commit: 5992421fdd82d7172b88a5c0a98310a2124dee3d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5992421fdd82d... Author: Patrik Pomelli <patrik.pomelli@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@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);