January 2015 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Initialization machinery improved.
by Roberto Bagnara 20 Jan '15

20 Jan '15

Module: ppl/ppl Branch: master Commit: 74d3a39c15fe5a1feeb3513859470f4fa9d74cd9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74d3a39c15fe… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Jan 20 13:01:00 2015 +0100 Initialization machinery improved. Previously there was undefined behavior for the case where the user defined PPL_NO_AUTOMATIC_INITIALIZATION. (Thanks to Esseger.) --- src/Init.cc | 32 ++++++++++++++++++++++++++++++-- src/initializer.hh | 19 ++++++++++++------- 2 files changed, 42 insertions(+), 9 deletions(-) diff --git a/src/Init.cc b/src/Init.cc index 8359b96..b572ab7 100644 --- a/src/Init.cc +++ b/src/Init.cc @@ -92,9 +92,9 @@ namespace Implementation { int (* volatile ppl_check_function_p)() = ppl_check_function; int (* volatile ppl_setround_function_p)(int) = ppl_setround_function; -} // Implementation +} // namespace Implementation -} // Parma_Polyhedra_Library +} // namespace Parma_Polyhedra_Library namespace { @@ -214,3 +214,31 @@ PPL::Init::~Init() { Coefficient_constants_finalize(); } } + +namespace Parma_Polyhedra_Library { + +namespace Implementation { + +namespace { + +static Parma_Polyhedra_Library::Init* Parma_Polyhedra_Library_initializer_p; + +} // namespace + +void +initialize_aux() { + if (Parma_Polyhedra_Library_initializer_p == 0) { + Parma_Polyhedra_Library_initializer_p = new Init(); + } +} + +void +finalize_aux() { + PPL_ASSERT(Parma_Polyhedra_Library_initializer_p != 0); + delete Parma_Polyhedra_Library_initializer_p; + Parma_Polyhedra_Library_initializer_p = 0; +} + +} // namespace Implementation + +} // namespace Parma_Polyhedra_Library diff --git a/src/initializer.hh b/src/initializer.hh index 6963c0f..d10f54d 100644 --- a/src/initializer.hh +++ b/src/initializer.hh @@ -32,7 +32,16 @@ static Parma_Polyhedra_Library::Init Parma_Polyhedra_Library_initializer; #else -static Parma_Polyhedra_Library::Init* Parma_Polyhedra_Library_initializer_p; +namespace Parma_Polyhedra_Library { + +namespace Implementation { + +void initialize_aux(); +void finalize_aux(); + +} // namespace Implementation + +} // namespace Parma_Polyhedra_Library #endif @@ -42,9 +51,7 @@ namespace Parma_Polyhedra_Library { inline void initialize() { #ifdef PPL_NO_AUTOMATIC_INITIALIZATION - if (Parma_Polyhedra_Library_initializer_p == 0) { - Parma_Polyhedra_Library_initializer_p = new Init(); - } + Implementation::initialize_aux(); #endif } @@ -52,9 +59,7 @@ initialize() { inline void finalize() { #ifdef PPL_NO_AUTOMATIC_INITIALIZATION - PPL_ASSERT(Parma_Polyhedra_Library_initializer_p != 0); - delete Parma_Polyhedra_Library_initializer_p; - Parma_Polyhedra_Library_initializer_p = 0; + Implementation::finalize_aux(); #endif }

1 0

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 20 Jan '15

20 Jan '15

Module: ppl/ppl Branch: master Commit: 23898e6e459da64263f6a1c37573f99a1dcc61ed URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23898e6e459d… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Jan 20 12:55:48 2015 +0100 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index b4e8d0e..5d892d0 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [1.2pre5], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.2pre6], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Improved.
by Roberto Bagnara 01 Jan '15

01 Jan '15

Module: ppl/ppl Branch: master Commit: e7ffebb0ea621ba9c90f961ab93239f2098b106a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7ffebb0ea62… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Thu Jan 1 11:17:39 2015 +0100 Improved. --- devtools/bump_copyright_years | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/devtools/bump_copyright_years b/devtools/bump_copyright_years index 7eb9a1c..dc4a511 100755 --- a/devtools/bump_copyright_years +++ b/devtools/bump_copyright_years @@ -2,7 +2,7 @@ temp_file=`mktemp /tmp/bump_copyright_years.XXXXXXXXXX` || exit 1 find . -type f -print0 | while read -d $'\0' file do - sed -e "s/Copyright (C) 2010-2015 BUGSENG srl/Copyright (C) 2010-2016 BUGSENG srl/g" <$file >$temp_file - chmod --reference=$file $temp_file - mv -f $temp_file $file + sed -e "s/Copyright (C) 2010-2015 BUGSENG srl/Copyright (C) 2010-2016 BUGSENG srl/g" <"${file}" >"${temp_file}" + chmod --reference="${file}" "${temp_file}" + mv -f "${temp_file}" "${file}" done

1 0

[GIT] ppl/ppl(master): Extended copyright years.
by Roberto Bagnara 01 Jan '15

01 Jan '15

Module: ppl/ppl Branch: master Commit: 073e9bd3b423ea3e9eb5b7a62912b8b1e5f6b8fb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=073e9bd3b423… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Thu Jan 1 10:59:51 2015 +0100 Extended copyright years. --- devtools/bump_copyright_years | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/devtools/bump_copyright_years b/devtools/bump_copyright_years index bd03f2b..7eb9a1c 100755 --- a/devtools/bump_copyright_years +++ b/devtools/bump_copyright_years @@ -2,7 +2,7 @@ temp_file=`mktemp /tmp/bump_copyright_years.XXXXXXXXXX` || exit 1 find . -type f -print0 | while read -d $'\0' file do - sed -e "s/Copyright (C) 2010-2015 BUGSENG srl/Copyright (C) 2010-2015 BUGSENG srl/g" <$file >$temp_file + sed -e "s/Copyright (C) 2010-2015 BUGSENG srl/Copyright (C) 2010-2016 BUGSENG srl/g" <$file >$temp_file chmod --reference=$file $temp_file mv -f $temp_file $file done

1 0

[GIT] ppl/ppl(master): Extended copyright years.
by Roberto Bagnara 01 Jan '15

01 Jan '15

1 0