[PPL-devel] [GIT] ppl/ppl(devel): Consistently represent the intentionality of fall-through for switch cases.

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Thu Aug  6 14:49:11 2020 +0200

Consistently represent the intentionality of fall-through for switch cases.

---

 src/BD_Shape_templates.hh        |  3 ++-
 src/BHRZ03_Certificate.cc        |  6 ++----
 src/Boundary_defs.hh             | 12 ++++++++----
 src/Constraint_System.cc         |  3 +--
 src/Generator.cc                 |  3 +--
 src/Grid_conversion.cc           |  3 ++-
 src/Grid_public.cc               |  3 ++-
 src/Grid_simplify.cc             |  6 ++++--
 src/Interval_templates.hh        |  4 ++++
 src/MIP_Problem.cc               | 18 ++++++------------
 src/Octagonal_Shape_templates.hh |  3 ++-
 src/PIP_Problem.cc               |  9 +++------
 src/Polyhedron_nonpublic.cc      |  3 +--
 src/Polyhedron_public.cc         |  6 ++----
 src/checked.cc                   |  2 ++
 src/compiler.hh                  | 10 ++++++++++
 src/intervals_defs.hh            |  9 ++++++---
 17 files changed, 58 insertions(+), 45 deletions(-)

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