[PPL-devel] [GIT] ppl/ppl(compliance): Added missing braces. Fixes violations of rules MP1.6-3-1 and MP1.6-4-1 detected by ECLAIR.
Patrik Pomelli
patrik.pomelli at bugseng.com
Thu Jun 12 13:09:38 CEST 2014
Module: ppl/ppl
Branch: compliance
Commit: 2ea46ae16ed04657ba0577bd3b8e824099e5c08e
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ea46ae16ed04657ba0577bd3b8e824099e5c08e
Author: Patrik Pomelli <patrik.pomelli at 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 at 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=2ea46ae16ed04657ba0577bd3b8e824099e5c08e
More information about the PPL-devel
mailing list