Module: ppl/ppl Branch: devel Commit: 6fce710c637aba66cc9d8b7fbb2e9570e29cb4ce URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6fce710c637ab... Author: Roberto Bagnara <roberto.bagnara@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=6fce710c6...