[PPL-devel] [GIT] ppl/ppl(compliance): Added missing braces. Fixes violations of rule MP1.6-3-1 detected by ECLAIR.

[Patrik Pomelli]

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

Author: Patrik Pomelli <patrik.pomelli at bugseng.com>
Date:   Sat Jun 14 02:24:01 2014 +0200

Added missing braces. Fixes violations of rule MP1.6-3-1 detected by ECLAIR.

Signed-off-by: Roberto Bagnara <bagnara at cs.unipr.it>

---

 src/Box_templates.hh                       |  102 ++++++++++++++++++----------
 src/Congruence_System_inlines.hh           |    6 +-
 src/DB_Matrix_templates.hh                 |    3 +-
 src/Grid_public.cc                         |    3 +-
 src/Linear_Expression_Impl_templates.hh    |    9 ++-
 src/Linear_System_inlines.hh               |    5 +-
 src/MIP_Problem.cc                         |   13 ++--
 src/Partially_Reduced_Product_templates.hh |    3 +-
 src/Pointset_Powerset_templates.hh         |    6 +-
 src/Polyhedron_conversion_templates.hh     |    6 +-
 src/Polyhedron_nonpublic.cc                |   59 ++++++++++------
 src/Polyhedron_public.cc                   |   69 ++++++++++++-------
 12 files changed, 181 insertions(+), 103 deletions(-)

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