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

Author: Patrik Pomelli patrik.pomelli@bugseng.com Date: Sat Jun 14 02:24:01 2014 +0200

Added missing braces. Fixes violations of rule MP1.6-3-1 detected by ECLAIR.

Signed-off-by: Roberto Bagnara bagnara@cs.unipr.it

---

src/Box_templates.hh | 102 ++++++++++++++++++---------- src/Congruence_System_inlines.hh | 6 +- src/DB_Matrix_templates.hh | 3 +- src/Grid_public.cc | 3 +- src/Linear_Expression_Impl_templates.hh | 9 ++- src/Linear_System_inlines.hh | 5 +- src/MIP_Problem.cc | 13 ++-- src/Partially_Reduced_Product_templates.hh | 3 +- src/Pointset_Powerset_templates.hh | 6 +- src/Polyhedron_conversion_templates.hh | 6 +- src/Polyhedron_nonpublic.cc | 59 ++++++++++------ src/Polyhedron_public.cc | 69 ++++++++++++------- 12 files changed, 181 insertions(+), 103 deletions(-)

Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=5d0fb6173...