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

Author: Patrik Pomelli patrik.pomelli@bugseng.com Date: Thu Jun 19 18:33:33 2014 +0200

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

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

---

src/Affine_Space.cc | 14 +- src/Ask_Tell_inlines.hh | 29 +- src/Ask_Tell_templates.hh | 45 +- src/BDS_Status_inlines.hh | 55 +- src/BD_Shape.cc | 18 +- src/BD_Shape_inlines.hh | 140 ++- src/BD_Shape_templates.hh | 43 +- src/Bit_Matrix.cc | 1 - src/Bit_Matrix_inlines.hh | 3 +- src/Bit_Row.cc | 64 +- src/Boundary_defs.hh | 219 +++-- src/Box.cc | 10 +- src/Box_Status_inlines.hh | 29 +- src/Box_inlines.hh | 124 ++- src/CO_Tree.cc | 259 ++++-- src/CO_Tree_inlines.hh | 48 +- src/CO_Tree_templates.hh | 5 +- src/C_Polyhedron.cc | 6 +- src/Cast_Floating_Point_Expression_templates.hh | 3 +- src/Checked_Number_templates.hh | 9 +- src/Coefficient_inlines.hh | 3 +- src/Congruence.cc | 72 +- src/Congruence_System.cc | 93 ++- src/Congruence_System_inlines.hh | 3 +- src/Congruence_inlines.hh | 12 +- src/Constraint.cc | 132 ++- src/Constraint_System.cc | 86 ++- src/Constraint_System_inlines.hh | 3 +- src/Constraint_inlines.hh | 36 +- src/DB_Matrix_inlines.hh | 7 +- src/DB_Matrix_templates.hh | 18 +- src/DB_Row_inlines.hh | 3 +- src/DB_Row_templates.hh | 9 +- src/Dense_Row.cc | 67 +- src/Dense_Row_inlines.hh | 6 +- src/Determinate_inlines.hh | 6 +- ...fference_Floating_Point_Expression_templates.hh | 6 +- ...Division_Floating_Point_Expression_templates.hh | 11 +- src/EList_inlines.hh | 3 +- src/Expression_Hide_Inhomo_inlines.hh | 60 +- src/Expression_Hide_Last_inlines.hh | 6 +- src/Float_inlines.hh | 141 ++- src/Float_templates.hh | 41 +- src/Floating_Point_Expression_inlines.hh | 8 +- src/Generator.cc | 72 +- src/Generator_System.cc | 155 ++- src/Generator_System_inlines.hh | 8 +- src/Generator_inlines.hh | 92 ++- src/Grid_Certificate.cc | 12 +- src/Grid_Generator_System.cc | 41 +- src/Grid_Generator_inlines.hh | 24 +- src/Grid_Status.cc | 104 ++- src/Grid_Status_inlines.hh | 3 +- src/Grid_chdims.cc | 88 ++- src/Grid_conversion.cc | 66 +- src/Grid_inlines.hh | 19 +- src/Grid_nonpublic.cc | 109 ++- src/Grid_public.cc | 1017 ++++++++++++-------- src/Grid_simplify.cc | 69 +- src/Grid_templates.hh | 54 +- src/Grid_widenings.cc | 194 +++-- src/algorithms.hh | 3 +- src/c_streambuf.cc | 27 +- src/checked.cc | 153 ++- src/checked_ext_inlines.hh | 333 +++++--- src/checked_float_inlines.hh | 216 +++-- src/checked_inlines.hh | 52 +- src/checked_int_inlines.hh | 295 ++++-- src/checked_mpq_inlines.hh | 57 +- src/checked_mpz_inlines.hh | 114 ++- src/compiler.hh | 15 +- src/distances_inlines.hh | 3 +- src/fpu-c99_inlines.hh | 3 +- src/fpu-ia32_inlines.hh | 12 +- src/globals_inlines.hh | 20 +- src/wrap_assign.hh | 56 +- src/wrap_string.cc | 21 +- 77 files changed, 3519 insertions(+), 1944 deletions(-)

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