Module: ppl/ppl Branch: compliance Commit: d2c305abdf9bd2d600d5f6e3fd1fda974550edf3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d2c305abdf9bd...
Author: Patrik Pomelli patrik.pomelli@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@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=d2c305abd...