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

Author: Patrik Pomelli patrik.pomelli@bugseng.com Date: Thu Jun 12 12:57:37 2014 +0200

Added missing braces. Fixes violations of rules MP1.6-3-1 and MP1.6-4-1 detected by ECLAIR.

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

---

demos/ppl_pips/ppl_pips.cc | 24 ++++-- src/BD_Shape.cc | 3 +- src/BD_Shape_inlines.hh | 12 ++- src/BD_Shape_templates.hh | 22 ++++-- src/BHRZ03_Certificate.cc | 3 +- src/Box_templates.hh | 31 ++++++--- src/CO_Tree.cc | 77 ++++++++++++++------ src/CO_Tree_inlines.hh | 6 +- src/Congruence_System.cc | 36 ++++++--- src/Constraint_System.cc | 25 +++++-- src/DB_Matrix_templates.hh | 45 ++++++++---- src/DB_Row_templates.hh | 9 ++- src/Dense_Row.cc | 33 ++++++--- src/Dense_Row_inlines.hh | 3 +- src/Dense_Row_templates.hh | 9 ++- src/EList_inlines.hh | 3 +- src/Generator_System.cc | 29 +++++--- src/Grid_Generator_System.cc | 17 +++-- src/Grid_conversion.cc | 14 +++-- src/Grid_nonpublic.cc | 12 ++- src/Grid_public.cc | 51 +++++++++----- src/Grid_simplify.cc | 6 +- src/Grid_templates.hh | 9 ++- src/Linear_Expression_Impl.cc | 54 +++++++++----- src/Linear_Expression_Impl_templates.hh | 40 +++++++---- src/Linear_Expression_inlines.hh | 12 ++- src/Linear_System_inlines.hh | 27 +++++--- src/Linear_System_templates.hh | 51 +++++++++----- src/MIP_Problem.cc | 75 +++++++++++++------ src/MIP_Problem_inlines.hh | 9 ++- src/MIP_Problem_templates.hh | 8 ++- src/Matrix_templates.hh | 46 ++++++++---- src/OR_Matrix_inlines.hh | 3 +- src/OR_Matrix_templates.hh | 3 +- src/Octagonal_Shape_inlines.hh | 12 ++- src/Octagonal_Shape_templates.hh | 70 ++++++++++++------ src/PIP_Problem.cc | 18 +++-- src/PIP_Problem_inlines.hh | 3 +- src/PIP_Tree.cc | 78 ++++++++++++++------- src/Partial_Function.cc | 3 +- src/Partially_Reduced_Product_templates.hh | 9 ++- src/Pending_List_templates.hh | 4 +- src/Pointset_Powerset.cc | 24 +++++-- src/Pointset_Powerset_templates.hh | 109 +++++++++++++++++++--------- src/Polyhedron_chdims.cc | 6 +- src/Polyhedron_chdims_templates.hh | 3 +- src/Polyhedron_conversion_templates.hh | 8 ++- src/Polyhedron_minimize_templates.hh | 15 +++-- src/Polyhedron_nonpublic.cc | 25 +++---- src/Polyhedron_simplify_templates.hh | 3 +- src/Polyhedron_widenings.cc | 15 +++-- src/Powerset_templates.hh | 21 ++++-- src/Sparse_Row.cc | 58 ++++++++++----- src/Sparse_Row_templates.hh | 9 ++- src/Swapping_Vector_inlines.hh | 12 ++- src/Variables_Set.cc | 10 ++- src/algorithms.hh | 3 +- src/swapping_sort_templates.hh | 9 ++- src/termination.cc | 12 ++- src/termination_templates.hh | 3 +- src/wrap_assign.hh | 3 +- src/wrap_string.cc | 3 +- 62 files changed, 906 insertions(+), 449 deletions(-)

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