[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
Fri Jun 20 11:10:57 CEST 2014


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

Author: Patrik Pomelli <patrik.pomelli at 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 at 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=a62a3aa3cec4271ac871e33d85854b5f834a2f09



More information about the PPL-devel mailing list