[PPL-devel] [GIT] ppl/ppl(devel): Use nullptr.
Roberto Bagnara
roberto.bagnara at bugseng.com
Thu Aug 6 10:41:37 CEST 2020
Module: ppl/ppl
Branch: devel
Commit: 7138f8598b4dbaa6c6198498518a42d2d926fa54
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7138f8598b4dbaa6c6198498518a42d2d926fa54
Author: Roberto Bagnara <roberto.bagnara at 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=7138f8598b4dbaa6c6198498518a42d2d926fa54
More information about the PPL-devel
mailing list