Module: ppl/ppl Branch: master Commit: 7138f8598b4dbaa6c6198498518a42d2d926fa54 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7138f8598b4db...
Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Wed Aug 5 21:09:11 2020 +0200
Use nullptr.
---
demos/ppl_lcdd/ppl_lcdd.cc | 36 +++---- demos/ppl_lpsol/ppl_lpsol.c | 9 +- demos/ppl_pips/ppl_pips.cc | 48 ++++----- interfaces/C/ppl_c_implementation_common.cc | 48 ++++----- interfaces/C/ppl_c_implementation_common_defs.hh | 3 +- interfaces/C/ppl_interface_generator_c_cc_code.m4 | 8 +- interfaces/C/tests/formatted_output.c | 6 +- interfaces/C/tests/ppl_c_test.cc | 2 +- ...ppl_interface_generator_java_classes_cc_code.m4 | 9 +- interfaces/Java/jni/ppl_java_common.cc | 114 ++++++++++----------- interfaces/Java/jni/ppl_java_common_defs.hh | 4 +- interfaces/Java/jni/ppl_java_globals.cc | 10 +- interfaces/OCaml/ppl_ocaml_common.cc | 12 +-- .../ppl_interface_generator_sicstus_sd_cc.m4 | 2 +- interfaces/Prolog/SWI/pl_clpq.cc | 4 +- .../SWI/ppl_interface_generator_swiprolog_cc.m4 | 2 +- .../ppl_interface_generator_prolog_cc_code.m4 | 8 +- interfaces/Prolog/ppl_prolog_common.cc | 23 +++-- src/Affine_Space_defs.hh | 4 +- src/Any_Pointset_defs.hh | 6 +- src/BD_Shape_defs.hh | 18 ++-- src/BD_Shape_templates.hh | 8 +- src/Box_defs.hh | 8 +- src/Box_templates.hh | 10 +- src/CO_Tree.cc | 14 +-- src/CO_Tree_defs.hh | 2 +- src/CO_Tree_inlines.hh | 4 +- src/Coefficient.cc | 16 +-- src/Congruence.cc | 16 +-- src/Congruence_System.cc | 8 +- src/Congruence_System_inlines.hh | 2 +- src/Constraint.cc | 36 +++---- src/Constraint_System.cc | 8 +- src/Constraint_System_inlines.hh | 2 +- src/DB_Row_inlines.hh | 6 +- src/Dense_Row.cc | 10 +- src/Dense_Row_defs.hh | 2 +- src/Dense_Row_inlines.hh | 14 +-- src/Float_inlines.hh | 2 +- src/Float_templates.hh | 4 +- src/Generator.cc | 18 ++-- src/Generator_System.cc | 8 +- src/Generator_System_inlines.hh | 2 +- src/Grid_Generator.cc | 10 +- src/Grid_Generator_System.cc | 8 +- src/Grid_defs.hh | 20 ++-- src/Grid_nonpublic.cc | 6 +- src/Grid_public.cc | 6 +- src/Grid_widenings.cc | 10 +- src/Handler_inlines.hh | 2 +- src/Init.cc | 6 +- src/Linear_Expression.cc | 8 +- src/Linear_Expression_defs.hh | 8 +- src/Linear_Expression_inlines.hh | 26 ++--- src/OR_Matrix_inlines.hh | 2 +- src/Octagonal_Shape_defs.hh | 14 +-- src/Octagonal_Shape_templates.hh | 8 +- src/PIP_Problem.cc | 36 +++---- src/PIP_Problem_templates.hh | 2 +- src/PIP_Tree.cc | 113 ++++++++++---------- src/Partially_Reduced_Product_defs.hh | 2 +- src/Pointset_Powerset_defs.hh | 2 +- src/Pointset_Powerset_templates.hh | 2 +- src/Polyhedron_defs.hh | 16 +-- src/Polyhedron_inlines.hh | 2 +- src/Polyhedron_nonpublic.cc | 4 +- src/Polyhedron_public.cc | 18 ++-- src/Polyhedron_simplify_templates.hh | 2 +- src/Polyhedron_widenings.cc | 6 +- src/Powerset_templates.hh | 2 +- src/Temp_inlines.hh | 4 +- src/Temp_templates.hh | 2 +- src/Threshold_Watcher_templates.hh | 2 +- src/Variable.cc | 2 +- src/Watchdog.cc | 6 +- src/Widening_Function_defs.hh | 4 +- src/checked_int_inlines.hh | 4 +- src/globals.cc | 4 +- src/globals_inlines.hh | 2 +- src/intervals_defs.hh | 2 +- src/ppl-config.cc.in | 62 +++++------ src/wrap_assign.hh | 10 +- tests/BD_Shape/cc76extrapolation1.cc | 2 +- tests/Box/refinewithconstraints2.cc | 12 +-- tests/MIP_Problem/mipproblem2.cc | 8 +- tests/PIP_Problem/pipproblem1.cc | 75 +++++++++----- tests/PIP_Problem/pipproblem2.cc | 6 +- tests/Polyhedron/memory2.cc | 11 +- tests/Polyhedron/watchdog1.cc | 4 +- tests/Polyhedron/wrap1.cc | 4 +- tests/Random_Number_Generator_inlines.hh | 2 +- tests/ppl_test.cc | 10 +- tests/ppl_test.hh | 16 +-- utils/text2cxxarray.in | 2 +- 94 files changed, 604 insertions(+), 569 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=7138f8598...