- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(devel): Adapted to new ECLAIR Jenkins plugin.
by Roberto Bagnara 09 Oct '20

09 Oct '20

Module: ppl/ppl Branch: devel Commit: 8da42af54577b828f803f0cd84b216cbb558f588 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8da42af54577… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Fri Oct 9 17:39:33 2020 +0200 Adapted to new ECLAIR Jenkins plugin. --- ECLAIR/analyze.sh.in | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/ECLAIR/analyze.sh.in b/ECLAIR/analyze.sh.in index 3f62ed47c..803a97e41 100644 --- a/ECLAIR/analyze.sh.in +++ b/ECLAIR/analyze.sh.in @@ -32,9 +32,9 @@ export CXX_ALIASES="@CXX@" export ECLAIR_PROJECT_NAME="PPL" export ECLAIR_PROJECT_ROOT="@abs_top_srcdir@" -export ECLAIR_OUTPUT_DIR="${HERE}/out_${BUILD_ID}_${ANALYSIS}" +export ECLAIR_OUTPUT_DIR="${HERE}/out" export ECLAIR_DATA_DIR="${ECLAIR_OUTPUT_DIR}/.data" -export PROJECT_ECD="${ECLAIR_DATA_DIR}/PROJECT.ecd" +export PROJECT_ECD="${ECLAIR_OUTPUT_DIR}/PROJECT.ecd" rm -rf "$ECLAIR_OUTPUT_DIR" mkdir -p "$ECLAIR_DATA_DIR" export ECLAIR_DIAGNOSTICS_OUTPUT="$ECLAIR_OUTPUT_DIR/DIAGNOSTICS.txt" @@ -58,4 +58,4 @@ fi ) eclair_report "-create_db='$PROJECT_ECD'" "$ECLAIR_DATA_DIR"/FRAME.*.ecb \ - -load -reports1_txt=service,analysis.log + -load

1 0

[GIT] ppl/ppl(devel): Fixed several catch declarations. Added constructors and assignment operators.
by Roberto Bagnara 11 Aug '20

11 Aug '20

Module: ppl/ppl Branch: devel Commit: eb747ec58bfb48d60aef9e1ed8dea8e9ec19f2a3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb747ec58bfb… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Tue Aug 11 15:08:59 2020 +0200 Fixed several catch declarations. Added constructors and assignment operators. --- src/Box_Status_idefs.hh | 3 +++ src/Linear_Form_defs.hh | 3 +++ src/Linear_Form_inlines.hh | 7 +++++++ src/OR_Matrix_defs.hh | 3 +++ src/iterator_to_const_defs.hh | 7 +++++++ src/iterator_to_const_inlines.hh | 7 +++++++ tests/Concrete_Expression/bdshape1.cc | 4 ++-- tests/Concrete_Expression/bdshape2.cc | 4 ++-- tests/Concrete_Expression/linearform1.cc | 12 ++++++------ tests/Concrete_Expression/octagonalshape1.cc | 4 ++-- tests/Concrete_Expression/octagonalshape2.cc | 4 ++-- tests/Concrete_Expression/polyhedron2.cc | 4 ++-- 12 files changed, 46 insertions(+), 16 deletions(-) diff --git a/src/Box_Status_idefs.hh b/src/Box_Status_idefs.hh index ac4b0988b..3a70108f5 100644 --- a/src/Box_Status_idefs.hh +++ b/src/Box_Status_idefs.hh @@ -50,6 +50,9 @@ public: //! Ordinary copy constructor. Status(const Status& y); + //! Assignment operator. + constexpr Status& operator=(const Status& y) = default; + //! Copy constructor from a box of different type. template <typename Other_ITV> Status(const typename Box<Other_ITV>::Status& y); diff --git a/src/Linear_Form_defs.hh b/src/Linear_Form_defs.hh index df4592fdd..f3b94459d 100644 --- a/src/Linear_Form_defs.hh +++ b/src/Linear_Form_defs.hh @@ -266,6 +266,9 @@ public: //! Ordinary copy constructor. Linear_Form(const Linear_Form& f); + //! Assignment operator. + Linear_Form& operator=(const Linear_Form& f); + //! Destructor. ~Linear_Form(); diff --git a/src/Linear_Form_inlines.hh b/src/Linear_Form_inlines.hh index 8f8ee0640..ed775ef12 100644 --- a/src/Linear_Form_inlines.hh +++ b/src/Linear_Form_inlines.hh @@ -56,6 +56,13 @@ Linear_Form<C>::Linear_Form(const Linear_Form& f) : vec(f.vec) { } +template <typename C> +inline Linear_Form<C>& +Linear_Form<C>::operator=(const Linear_Form& f) { + vec = f.vec; + return *this; +} + template <typename C> inline Linear_Form<C>::~Linear_Form() { diff --git a/src/OR_Matrix_defs.hh b/src/OR_Matrix_defs.hh index 2902e2268..0b036c613 100644 --- a/src/OR_Matrix_defs.hh +++ b/src/OR_Matrix_defs.hh @@ -128,6 +128,9 @@ private: //! Default constructor: creates an invalid object that has to be assigned. Pseudo_Row(); + //! Copy constructor. + constexpr Pseudo_Row(const Pseudo_Row& y) = default; + //! Assignment operator. Pseudo_Row& operator=(const Pseudo_Row& y); diff --git a/src/iterator_to_const_defs.hh b/src/iterator_to_const_defs.hh index 5a0c7d9c1..d7272c521 100644 --- a/src/iterator_to_const_defs.hh +++ b/src/iterator_to_const_defs.hh @@ -80,6 +80,9 @@ public: //! Copy constructor. iterator_to_const(const iterator_to_const& y); + //! Assignment operator. + iterator_to_const& operator=(const iterator_to_const& y); + //! Dereference operator. reference operator*() const; @@ -151,6 +154,10 @@ public: //! Copy constructor. const_iterator_to_const(const const_iterator_to_const& y); + //! Assignment operator. + constexpr const_iterator_to_const& + operator=(const const_iterator_to_const& y) = default; + //! Constructs from the corresponding non-const iterator. const_iterator_to_const(const iterator_to_const<Container>& y); diff --git a/src/iterator_to_const_inlines.hh b/src/iterator_to_const_inlines.hh index 16bcd7ee2..8ea9d25c7 100644 --- a/src/iterator_to_const_inlines.hh +++ b/src/iterator_to_const_inlines.hh @@ -39,6 +39,13 @@ iterator_to_const<Container>::iterator_to_const(const iterator_to_const& y) : base(y.base) { } +template <typename Container> +inline iterator_to_const<Container>& +iterator_to_const<Container>::operator=(const iterator_to_const& y) { + base = y.base; + return *this; +} + template <typename Container> inline iterator_to_const<Container>::iterator_to_const(const Base& b) diff --git a/tests/Concrete_Expression/bdshape1.cc b/tests/Concrete_Expression/bdshape1.cc index 810a4a337..59afa3a03 100644 --- a/tests/Concrete_Expression/bdshape1.cc +++ b/tests/Concrete_Expression/bdshape1.cc @@ -37,7 +37,7 @@ test01() { try { bd1.affine_form_image(A, l); } - catch(std::invalid_argument e) { + catch(std::invalid_argument& e) { nout << "bd1_space_dim < lf_space_dim" << endl; ok1 = true; } @@ -48,7 +48,7 @@ test01() { try { bd2.affine_form_image(B, l); } - catch(std::invalid_argument e) { + catch(std::invalid_argument& e) { nout << "space_dim < var_id + 1" << endl; bd2.affine_form_image(A, l); Constraint_System cs(A < A); diff --git a/tests/Concrete_Expression/bdshape2.cc b/tests/Concrete_Expression/bdshape2.cc index ac231dba1..155706ad8 100644 --- a/tests/Concrete_Expression/bdshape2.cc +++ b/tests/Concrete_Expression/bdshape2.cc @@ -38,7 +38,7 @@ test01() { bd1.refine_with_linear_form_inequality(l1,l2); std::cout <<"no eccezione" <<std::endl; } - catch(std::invalid_argument e) { + catch(std::invalid_argument& e) { ok1 = true; } @@ -48,7 +48,7 @@ test01() { bd1.refine_with_linear_form_inequality(l2,l1); std::cout <<"no eccezione" <<std::endl; } - catch(std::invalid_argument e){ + catch(std::invalid_argument& e){ FP_BD_Shape bd2(1); bd2.refine_with_linear_form_inequality(l1, l1); bd2.refine_with_linear_form_inequality(-l1, l1); diff --git a/tests/Concrete_Expression/linearform1.cc b/tests/Concrete_Expression/linearform1.cc index 7ccb1fb90..baa73276e 100644 --- a/tests/Concrete_Expression/linearform1.cc +++ b/tests/Concrete_Expression/linearform1.cc @@ -230,7 +230,7 @@ test08() { try { f = FP_Linear_Form(A); } - catch(std::length_error e) { + catch(std::length_error& e) { nout << "Overflow in Linear_Form(const Variable v)." << endl; ok1 = true; } @@ -239,7 +239,7 @@ test08() { try { f += A; } - catch(std::length_error e) { + catch(std::length_error& e) { nout << "Overflow in operator+=(Linear_Form<C>& f, const Variable v)." << endl; ok2 = true; @@ -249,7 +249,7 @@ test08() { try { f -= A; } - catch(std::length_error e) { + catch(std::length_error& e) { nout << "Overflow in operator-=(Linear_Form<C>& f, const Variable v)." << endl; Variable B(1); @@ -264,7 +264,7 @@ test08() { try { g = f - A; } - catch(std::length_error e) { + catch(std::length_error& e) { nout << "Overflow in operator-(Linear_Form<C>& f, const Variable v)." << endl; ok4 = true; @@ -274,7 +274,7 @@ test08() { try { g = A - f; } - catch(std::length_error e) { + catch(std::length_error& e) { nout << "Overflow in operator-(const Variable v, Linear_Form<C>& f)." << endl; ok5 = true; @@ -284,7 +284,7 @@ test08() { try { g = A + f; } - catch(std::length_error e) { + catch(std::length_error& e) { nout << "Overflow in operator+(const Variable v, Linear_Form<C>& f)." << endl; ok6 = true; diff --git a/tests/Concrete_Expression/octagonalshape1.cc b/tests/Concrete_Expression/octagonalshape1.cc index 0c0c68845..9b9b66756 100644 --- a/tests/Concrete_Expression/octagonalshape1.cc +++ b/tests/Concrete_Expression/octagonalshape1.cc @@ -37,7 +37,7 @@ test01() { try { oc1.affine_form_image(A, l); } - catch(std::invalid_argument e) { + catch(std::invalid_argument& e) { nout << "oc1_space_dim < lf_space_dim" << endl; ok1 = true; } @@ -48,7 +48,7 @@ test01() { try { oc2.affine_form_image(B, l); } - catch(std::invalid_argument e) { + catch(std::invalid_argument& e) { nout << "space_dim < var_id + 1" << endl; oc2.affine_form_image(A, l); Constraint_System cs(A < A); diff --git a/tests/Concrete_Expression/octagonalshape2.cc b/tests/Concrete_Expression/octagonalshape2.cc index 1f83ac3de..a3b10fd94 100644 --- a/tests/Concrete_Expression/octagonalshape2.cc +++ b/tests/Concrete_Expression/octagonalshape2.cc @@ -37,7 +37,7 @@ test01() { try { oc1.refine_with_linear_form_inequality(l1, l2); } - catch(std::invalid_argument e) { + catch(std::invalid_argument& e) { nout << "space_dim < left_space_dim" << endl; ok1 = true; } @@ -46,7 +46,7 @@ test01() { try { oc1.refine_with_linear_form_inequality(l2, l1); } - catch(std::invalid_argument e) { + catch(std::invalid_argument& e) { nout << "space_dim < right_space_dim" << endl; FP_Octagonal_Shape oc2(1); oc2.refine_with_linear_form_inequality(l1, l1); diff --git a/tests/Concrete_Expression/polyhedron2.cc b/tests/Concrete_Expression/polyhedron2.cc index 4b80c565e..a3a760807 100644 --- a/tests/Concrete_Expression/polyhedron2.cc +++ b/tests/Concrete_Expression/polyhedron2.cc @@ -38,13 +38,13 @@ test01() { FP_Linear_Form l2; pol.refine_with_linear_form_inequality(l1, l2); } - catch (std::invalid_argument) { + catch (std::invalid_argument&) { try { FP_Linear_Form l1; FP_Linear_Form l2(Variable(3)); pol.refine_with_linear_form_inequality(l1, l2); } - catch (std::invalid_argument) { + catch (std::invalid_argument&) { nout << "incompatible dimensions." << endl; return true; }

1 0

[GIT] ppl/ppl(devel): Warnings silenced.
by Roberto Bagnara 09 Aug '20

09 Aug '20

Module: ppl/ppl Branch: devel Commit: 246a5455940b54e76a62268a3c6eda74b22f540b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=246a5455940b… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Aug 9 20:57:43 2020 +0200 Warnings silenced. --- src/CO_Tree_defs.hh | 3 +++ src/CO_Tree_inlines.hh | 21 ++++++++++++++++- src/Dense_Row.cc | 61 ++++++++++++++++++++++++++++++++++++++++++++++++++ 3 files changed, 84 insertions(+), 1 deletion(-) diff --git a/src/CO_Tree_defs.hh b/src/CO_Tree_defs.hh index 63a05c02e..8dfb7c2b6 100644 --- a/src/CO_Tree_defs.hh +++ b/src/CO_Tree_defs.hh @@ -1352,6 +1352,9 @@ public: */ tree_iterator(CO_Tree& tree, dimension_type i); + //! Copy constructor. + tree_iterator(const tree_iterator& itr); + //! Constructs a tree_iterator from an iterator. /*! \param itr diff --git a/src/CO_Tree_inlines.hh b/src/CO_Tree_inlines.hh index 290a933ae..20de0cded 100644 --- a/src/CO_Tree_inlines.hh +++ b/src/CO_Tree_inlines.hh @@ -346,6 +346,13 @@ CO_Tree::refresh_cached_iterators() { inline void CO_Tree::move_data_element(data_type& to, data_type& from) { + +#if defined(__GNUC__) && !defined(__INTEL_COMPILER) \ + && (((__GNUC__ * 100) + __GNUC_MINOR__) >= 800) +#pragma GCC diagnostic push +#pragma GCC diagnostic ignored "-Wclass-memaccess" +#endif + /* The following code is equivalent (but slower): @@ -355,8 +362,13 @@ CO_Tree::move_data_element(data_type& to, data_type& from) { </CODE> */ std::memcpy(&to, &from, sizeof(data_type)); -} +#if defined(__GNUC__) && !defined(__INTEL_COMPILER) \ + && (((__GNUC__ * 100) + __GNUC_MINOR__) >= 800) +#pragma GCC diagnostic pop +#endif + +} inline CO_Tree::const_iterator::const_iterator() @@ -724,6 +736,13 @@ CO_Tree::tree_iterator::tree_iterator(const iterator& itr, CO_Tree& tree1) PPL_ASSERT(OK()); } +inline +CO_Tree::tree_iterator::tree_iterator(const tree_iterator& itr) + : tree(itr.tree), + i(itr.i), + offset(itr.offset) { +} + inline CO_Tree::tree_iterator& CO_Tree::tree_iterator::operator=(const tree_iterator& itr) { PPL_ASSERT(&tree == &(itr.tree)); diff --git a/src/Dense_Row.cc b/src/Dense_Row.cc index bd17f6fb7..c7477ca29 100644 --- a/src/Dense_Row.cc +++ b/src/Dense_Row.cc @@ -56,7 +56,20 @@ PPL::Dense_Row::resize(const dimension_type new_size) { Coefficient* const new_vec = impl.coeff_allocator.allocate(new_capacity); if (impl.vec != nullptr) { + +#if defined(__GNUC__) && !defined(__INTEL_COMPILER) \ + && (((__GNUC__ * 100) + __GNUC_MINOR__) >= 800) +#pragma GCC diagnostic push +#pragma GCC diagnostic ignored "-Wclass-memaccess" +#endif + memcpy(new_vec, impl.vec, sizeof(Coefficient) * impl.size); + +#if defined(__GNUC__) && !defined(__INTEL_COMPILER) \ + && (((__GNUC__ * 100) + __GNUC_MINOR__) >= 800) +#pragma GCC diagnostic pop +#endif + impl.coeff_allocator.deallocate(impl.vec, impl.capacity); } @@ -102,8 +115,19 @@ PPL::Dense_Row::resize(const dimension_type new_size, PPL_ASSERT(impl.vec != 0); +#if defined(__GNUC__) && !defined(__INTEL_COMPILER) \ + && (((__GNUC__ * 100) + __GNUC_MINOR__) >= 800) +#pragma GCC diagnostic push +#pragma GCC diagnostic ignored "-Wclass-memaccess" +#endif + memcpy(new_vec, impl.vec, sizeof(Coefficient) * impl.size); +#if defined(__GNUC__) && !defined(__INTEL_COMPILER) \ + && (((__GNUC__ * 100) + __GNUC_MINOR__) >= 800) +#pragma GCC diagnostic pop +#endif + impl.coeff_allocator.deallocate(impl.vec, impl.capacity); impl.vec = new_vec; @@ -115,7 +139,20 @@ PPL::Dense_Row::resize(const dimension_type new_size, Coefficient* const new_vec = impl.coeff_allocator.allocate(new_capacity); if (impl.vec != nullptr) { + +#if defined(__GNUC__) && !defined(__INTEL_COMPILER) \ + && (((__GNUC__ * 100) + __GNUC_MINOR__) >= 800) +#pragma GCC diagnostic push +#pragma GCC diagnostic ignored "-Wclass-memaccess" +#endif + memcpy(new_vec, impl.vec, sizeof(Coefficient) * impl.size); + +#if defined(__GNUC__) && !defined(__INTEL_COMPILER) \ + && (((__GNUC__ * 100) + __GNUC_MINOR__) >= 800) +#pragma GCC diagnostic pop +#endif + impl.coeff_allocator.deallocate(impl.vec, impl.capacity); } @@ -167,11 +204,22 @@ PPL::Dense_Row::add_zeroes_and_shift(const dimension_type n, throw; } +#if defined(__GNUC__) && !defined(__INTEL_COMPILER) \ + && (((__GNUC__ * 100) + __GNUC_MINOR__) >= 800) +#pragma GCC diagnostic push +#pragma GCC diagnostic ignored "-Wclass-memaccess" +#endif + // Raw-copy the coefficients. memcpy(new_row.impl.vec, impl.vec, sizeof(Coefficient) * i); memcpy(&(new_row.impl.vec[i + n]), &impl.vec[i], sizeof(Coefficient) * (impl.size - i)); +#if defined(__GNUC__) && !defined(__INTEL_COMPILER) \ + && (((__GNUC__ * 100) + __GNUC_MINOR__) >= 800) +#pragma GCC diagnostic pop +#endif + using std::swap; swap(impl.vec, new_row.impl.vec); swap(impl.capacity, new_row.impl.capacity); @@ -183,8 +231,21 @@ PPL::Dense_Row::add_zeroes_and_shift(const dimension_type n, } else { + +#if defined(__GNUC__) && !defined(__INTEL_COMPILER) \ + && (((__GNUC__ * 100) + __GNUC_MINOR__) >= 800) +#pragma GCC diagnostic push +#pragma GCC diagnostic ignored "-Wclass-memaccess" +#endif + memmove(&impl.vec[n + i], &impl.vec[i], sizeof(Coefficient) * (impl.size - i)); + +#if defined(__GNUC__) && !defined(__INTEL_COMPILER) \ + && (((__GNUC__ * 100) + __GNUC_MINOR__) >= 800) +#pragma GCC diagnostic pop +#endif + impl.size = i; const dimension_type target_size = impl.size + n; PPL_ASSERT(target_size == i + n);

1 0

[GIT] ppl/ppl(devel): Fixed GCC warning about pointless qualifiers.
by Roberto Bagnara 09 Aug '20

09 Aug '20

Module: ppl/ppl Branch: devel Commit: 2224f8fcbdb9aa231cccf29bff2ee0d932679c36 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2224f8fcbdb9… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Aug 9 19:59:50 2020 +0200 Fixed GCC warning about pointless qualifiers. --- src/Scalar_Products_defs.hh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/Scalar_Products_defs.hh b/src/Scalar_Products_defs.hh index c55a640b7..2b80c758f 100644 --- a/src/Scalar_Products_defs.hh +++ b/src/Scalar_Products_defs.hh @@ -214,11 +214,10 @@ public: private: //! The type of the scalar product sign function pointer. - typedef int (* const SPS_type)(const Linear_Expression&, - const Linear_Expression&); + typedef int (*SPS_type)(const Linear_Expression&, const Linear_Expression&); //! The scalar product sign function pointer. - SPS_type sps_fp; + const SPS_type sps_fp; }; // NOTE: Scalar_Products_inlines.hh is NOT included here, to avoid cyclic

1 0

[GIT] ppl/ppl(devel): Expensive test commented out.
by Roberto Bagnara 09 Aug '20

09 Aug '20

Module: ppl/ppl Branch: devel Commit: bea9ad43d3c943eda537faddd6afb8d01c156ea3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bea9ad43d3c9… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Aug 9 19:53:50 2020 +0200 Expensive test commented out. --- tests/Grid/concatenate1.cc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tests/Grid/concatenate1.cc b/tests/Grid/concatenate1.cc index a49f27f24..b46074f88 100644 --- a/tests/Grid/concatenate1.cc +++ b/tests/Grid/concatenate1.cc @@ -298,6 +298,7 @@ test09() { return ok; } +#if 0 // Space dimension exception. bool test11() { @@ -324,6 +325,7 @@ test11() { } return false; } +#endif } // namespace

1 0

[GIT] ppl/ppl(devel): Typo fixed.
by Roberto Bagnara 09 Aug '20

09 Aug '20

Module: ppl/ppl Branch: devel Commit: 87cfb3609b8cf0eaa9bd6a099550d33e373d9449 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87cfb3609b8c… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Aug 9 19:51:47 2020 +0200 Typo fixed. --- tests/Polyhedron/mapspacedims1.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/Polyhedron/mapspacedims1.cc b/tests/Polyhedron/mapspacedims1.cc index f2bbd2399..0dd2a8be8 100644 --- a/tests/Polyhedron/mapspacedims1.cc +++ b/tests/Polyhedron/mapspacedims1.cc @@ -326,7 +326,7 @@ BEGIN_MAIN DO_TEST(test03); DO_TEST(test04); DO_TEST(test05); - DO_TEST(test07); + DO_TEST(test06); // test07() only fails when using C_Polyhedron and 8 bit coefficients. #ifdef DERIVED_TEST DO_TEST(test07);

1 0

[GIT] ppl/ppl(devel): Fixed.
by Roberto Bagnara 09 Aug '20

09 Aug '20

Module: ppl/ppl Branch: devel Commit: 240d447815b54158734503dc3074dfb503552f97 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=240d447815b5… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Aug 9 19:49:29 2020 +0200 Fixed. --- src/Init.cc | 2 -- src/Init_defs.hh | 3 --- 2 files changed, 5 deletions(-) diff --git a/src/Init.cc b/src/Init.cc index 99f54cd59..c88baf202 100644 --- a/src/Init.cc +++ b/src/Init.cc @@ -155,7 +155,6 @@ Parma_Polyhedra_Library_thread_initializer_p; } // namespace -#ifdef PPL_NO_AUTOMATIC_INITIALIZATION void initialize_aux() { if (Parma_Polyhedra_Library_initializer_p == nullptr) { @@ -169,7 +168,6 @@ finalize_aux() { delete Parma_Polyhedra_Library_initializer_p; Parma_Polyhedra_Library_initializer_p = nullptr; } -#endif void thread_initialize_aux() { diff --git a/src/Init_defs.hh b/src/Init_defs.hh index b42265b2a..f998bfedb 100644 --- a/src/Init_defs.hh +++ b/src/Init_defs.hh @@ -61,11 +61,8 @@ void restore_pre_PPL_rounding(); namespace Implementation { -#ifdef PPL_NO_AUTOMATIC_INITIALIZATION void initialize_aux(); void finalize_aux(); -#endif - void thread_initialize_aux(); void thread_finalize_aux();

1 0

[GIT] ppl/ppl(devel): Thread initialization and finalization functions are always needed.
by Roberto Bagnara 09 Aug '20

09 Aug '20

Module: ppl/ppl Branch: devel Commit: ad2b6ccc65b5ba760b4186ecbf41e3f376a672fc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ad2b6ccc65b5… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Aug 9 19:20:32 2020 +0200 Thread initialization and finalization functions are always needed. --- src/Init.cc | 2 +- src/Init_defs.hh | 12 ++++++++++++ 2 files changed, 13 insertions(+), 1 deletion(-) diff --git a/src/Init.cc b/src/Init.cc index e92315e36..99f54cd59 100644 --- a/src/Init.cc +++ b/src/Init.cc @@ -169,6 +169,7 @@ finalize_aux() { delete Parma_Polyhedra_Library_initializer_p; Parma_Polyhedra_Library_initializer_p = nullptr; } +#endif void thread_initialize_aux() { @@ -183,7 +184,6 @@ thread_finalize_aux() { delete Parma_Polyhedra_Library_thread_initializer_p; Parma_Polyhedra_Library_thread_initializer_p = nullptr; } -#endif } // namespace Implementation diff --git a/src/Init_defs.hh b/src/Init_defs.hh index 6527d755f..b42265b2a 100644 --- a/src/Init_defs.hh +++ b/src/Init_defs.hh @@ -59,6 +59,18 @@ void set_rounding_for_PPL(); */ void restore_pre_PPL_rounding(); +namespace Implementation { + +#ifdef PPL_NO_AUTOMATIC_INITIALIZATION +void initialize_aux(); +void finalize_aux(); +#endif + +void thread_initialize_aux(); +void thread_finalize_aux(); + +} // namespace Implementation + } // namespace Parma_Polyhedra_Library #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS

1 0

[GIT] ppl/ppl(devel): Use -Wno-type-limits with GCC.
by Roberto Bagnara 09 Aug '20

09 Aug '20

Module: ppl/ppl Branch: devel Commit: b29ddf11e94acdd40b597df663bdfc31705b937d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b29ddf11e94a… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Aug 9 19:20:02 2020 +0200 Use -Wno-type-limits with GCC. --- configure.ac | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/configure.ac b/configure.ac index 052c6f3b5..c38054325 100644 --- a/configure.ac +++ b/configure.ac @@ -1637,7 +1637,7 @@ then then CFLAGS="$CFLAGS -Weverything -Wno-exit-time-destructors -Wno-global-constructors -Wno-documentation -Wno-missing-noreturn -Wno-covered-switch-default -Wno-unreachable-code -Wno-c++98-compat-pedantic -Wno-switch-enum -Wno-sign-conversion -Wno-c++98-compat -Wno-padded -Wno-disabled-macro-expansion -Wno-c++11-long-long -Wno-zero-length-array -Wno-documentation-unknown-command" else - CFLAGS="$CFLAGS -W -Wall" + CFLAGS="$CFLAGS -W -Wall -Wno-type-limits" fi fi if test x"$GXX" = xyes @@ -1649,7 +1649,7 @@ then then CXXFLAGS="$CXXFLAGS -Weverything -Wno-exit-time-destructors -Wno-global-constructors -Wno-documentation -Wno-missing-noreturn -Wno-covered-switch-default -Wno-unreachable-code -Wno-c++98-compat-pedantic -Wno-switch-enum -Wno-sign-conversion -Wno-c++98-compat -Wno-padded -Wno-disabled-macro-expansion -Wno-c++11-long-long -Wno-zero-length-array -Wno-documentation-unknown-command" else - CXXFLAGS="$CXXFLAGS -W -Wall" + CXXFLAGS="$CXXFLAGS -W -Wall -Wno-type-limits" fi fi

1 0

[GIT] ppl/ppl(devel): Some occurrences of shadowing avoided.
by Roberto Bagnara 09 Aug '20

09 Aug '20

Module: ppl/ppl Branch: devel Commit: fd64cc0bf3d396a0d01e05153a7cbc2de8883a38 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd64cc0bf3d3… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Aug 9 18:43:37 2020 +0200 Some occurrences of shadowing avoided. --- src/Checked_Number_defs.hh | 8 +++--- src/Coefficient_types.hh | 4 +-- src/Linear_Expression_Impl_templates.hh | 8 +++--- src/PIP_Tree_defs.hh | 14 +++++----- src/WRD_coefficient_types_defs.hh | 8 +++--- src/checked_defs.hh | 4 +-- src/checked_float_inlines.hh | 46 ++++++++++++++++----------------- tests/Polyhedron/numberinput1.cc | 4 +-- 8 files changed, 49 insertions(+), 47 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=fd64cc0b…

1 0