[PPL-devel] [GIT] ppl/ppl(compliance): Added missing braces. Fixes violations of rule MP1.6-4-1 detected by ECLAIR.
Patrik Pomelli
patrik.pomelli at bugseng.com
Tue Jun 24 12:54:06 CEST 2014
Module: ppl/ppl
Branch: compliance
Commit: d2c305abdf9bd2d600d5f6e3fd1fda974550edf3
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d2c305abdf9bd2d600d5f6e3fd1fda974550edf3
Author: Patrik Pomelli <patrik.pomelli at bugseng.com>
Date: Tue Jun 24 08:48:41 2014 +0200
Added missing braces. Fixes violations of rule MP1.6-4-1 detected by ECLAIR.
Signed-off-by: Roberto Bagnara <bagnara at cs.unipr.it>
---
src/Grid_Generator.cc | 81 +-
src/Grid_Status.cc | 3 +-
src/Grid_nonpublic.cc | 3 +-
src/Grid_public.cc | 3 +-
src/Grid_templates.hh | 3 +-
src/H79_Certificate.cc | 30 +-
src/Handler_inlines.hh | 3 +-
src/Init.cc | 22 +-
src/Interval_Info_defs.hh | 51 +-
src/Interval_Info_inlines.hh | 3 +-
src/Interval_defs.hh | 63 +-
src/Interval_inlines.hh | 208 ++-
src/Interval_templates.hh | 112 +-
src/Linear_Expression.cc | 19 +-
src/Linear_Expression_Impl.cc | 119 +-
src/Linear_Expression_Impl_inlines.hh | 35 +-
src/Linear_Expression_Impl_templates.hh | 191 ++-
src/Linear_Expression_inlines.hh | 18 +-
src/Linear_Form_inlines.hh | 18 +-
src/Linear_Form_templates.hh | 132 +-
src/Linear_System_inlines.hh | 38 +-
src/Linear_System_templates.hh | 149 ++-
src/MIP_Problem.cc | 413 +++--
src/MIP_Problem_inlines.hh | 6 +-
src/MIP_Problem_templates.hh | 12 +-
src/Matrix_templates.hh | 29 +-
...lication_Floating_Point_Expression_templates.hh | 21 +-
src/NNC_Polyhedron.cc | 3 +-
src/OR_Matrix_inlines.hh | 22 +-
src/OR_Matrix_templates.hh | 6 +-
src/Octagonal_Shape.cc | 18 +-
src/Octagonal_Shape_inlines.hh | 132 +-
src/Octagonal_Shape_templates.hh | 1697 +++++++++++++-------
src/Og_Status_inlines.hh | 41 +-
src/Opposite_Floating_Point_Expression_inlines.hh | 5 +-
src/PIP_Problem.cc | 225 ++-
src/PIP_Problem_templates.hh | 3 +-
src/PIP_Tree.cc | 619 +++++---
src/Partial_Function.cc | 9 +-
src/Partial_Function_inlines.hh | 17 +-
src/Partially_Reduced_Product_inlines.hh | 12 +-
src/Partially_Reduced_Product_templates.hh | 155 ++-
src/Pending_List_templates.hh | 12 +-
src/Ph_Status.cc | 113 +-
src/Ph_Status_inlines.hh | 3 +-
src/Pointset_Ask_Tell_inlines.hh | 3 +-
src/Pointset_Ask_Tell_templates.hh | 53 +-
src/Pointset_Powerset.cc | 39 +-
src/Pointset_Powerset_inlines.hh | 30 +-
src/Pointset_Powerset_templates.hh | 218 ++-
src/Poly_Con_Relation.cc | 6 +-
src/Poly_Gen_Relation.cc | 6 +-
src/Polyhedron_chdims.cc | 79 +-
src/Polyhedron_conversion_templates.hh | 19 +-
src/Polyhedron_inlines.hh | 20 +-
src/Polyhedron_minimize_templates.hh | 40 +-
src/Polyhedron_nonpublic.cc | 562 ++++---
src/Polyhedron_public.cc | 1077 ++++++++-----
src/Polyhedron_simplify_templates.hh | 18 +-
src/Polyhedron_templates.hh | 134 +-
src/Polyhedron_widenings.cc | 229 ++-
src/Powerset_inlines.hh | 3 +-
src/Powerset_templates.hh | 76 +-
src/Sparse_Row.cc | 234 ++-
src/Sparse_Row_inlines.hh | 69 +-
src/Sparse_Row_templates.hh | 51 +-
src/Sum_Floating_Point_Expression_templates.hh | 6 +-
src/Temp_inlines.hh | 3 +-
src/Threshold_Watcher_inlines.hh | 6 +-
src/Threshold_Watcher_templates.hh | 9 +-
src/Variable.cc | 3 +-
src/Variable_Floating_Point_Expression_inlines.hh | 6 +-
src/Variables_Set.cc | 24 +-
src/Watchdog.cc | 24 +-
src/Watchdog_inlines.hh | 6 +-
src/Weight_Profiler.cc | 6 +-
src/Weight_Profiler_defs.hh | 9 +-
src/initializer.hh | 5 +-
src/intervals_defs.hh | 18 +-
src/linearize.hh | 93 +-
src/math_utilities_inlines.hh | 9 +-
src/stdiobuf.cc | 12 +-
src/swapping_sort_templates.hh | 8 +-
src/termination.cc | 58 +-
src/termination_templates.hh | 60 +-
85 files changed, 5246 insertions(+), 2962 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=d2c305abdf9bd2d600d5f6e3fd1fda974550edf3
More information about the PPL-devel
mailing list