- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Fixed implementation defined implicit cast.
by Abramo Bagnara 24 Feb '12

24 Feb '12

Module: ppl/ppl Branch: master Commit: aea1d036a659bb31d25e382a7e215a59e3e557da URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aea1d036a659… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Feb 24 12:34:21 2012 +0100 Fixed implementation defined implicit cast. Detected by ECLAIR service utypflag. --- src/Linear_Form.templates.hh | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Linear_Form.templates.hh b/src/Linear_Form.templates.hh index b2305f0..aa52658 100644 --- a/src/Linear_Form.templates.hh +++ b/src/Linear_Form.templates.hh @@ -422,11 +422,11 @@ Linear_Form<C>::relative_error( C error_propagator; // We assume that f_base is a power of 2. - int power = msb_position(f_base) * (-f_mantissa_bits); - analyzer_format lb = -static_cast<analyzer_format>(ldexp(1.0, power)); + int power = static_cast<int>(msb_position(f_base) * f_mantissa_bits); + analyzer_format lb = static_cast<analyzer_format>(ldexp(1.0, -power)); - error_propagator.build(i_constraint(GREATER_OR_EQUAL, lb), - i_constraint(LESS_OR_EQUAL, -lb)); + error_propagator.build(i_constraint(GREATER_OR_EQUAL, -lb), + i_constraint(LESS_OR_EQUAL, lb)); // Handle the inhomogeneous term. const C* current_term = &inhomogeneous_term();

1 0

[GIT] ppl/ppl(master): Delimit pseudo-code in non-Doxygen comments within < CODE> </CODE>. Comments improved.
by Roberto Bagnara 24 Feb '12

24 Feb '12

Module: ppl/ppl Branch: master Commit: 92d3b0df6261f177871ee667186d2c73bb1141d5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92d3b0df6261… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 11:02:30 2012 +0100 Delimit pseudo-code in non-Doxygen comments within <CODE> </CODE>. Comments improved. --- src/MIP_Problem.cc | 11 +++++++---- src/Octagonal_Shape.templates.hh | 11 +++++++---- src/PIP_Tree.cc | 6 ++++-- 3 files changed, 18 insertions(+), 10 deletions(-) diff --git a/src/MIP_Problem.cc b/src/MIP_Problem.cc index 83eeeb8..9eb8022 100644 --- a/src/MIP_Problem.cc +++ b/src/MIP_Problem.cc @@ -1685,10 +1685,13 @@ PPL::MIP_Problem::erase_artificials(const dimension_type begin_artificials, // ... then properly set the element in the (new) last column, // encoding the kind of optimization; ... { - // This block is equivalent to: - // working_cost[new_last_column] = working_cost.get(old_last_column); - // But it avoids storing zeroes. - + // This block is equivalent to + // + // <CODE> + // working_cost[new_last_column] = working_cost.get(old_last_column); + // </CODE> + // + // but it avoids storing zeroes. Coefficient_traits::const_reference old_cost = working_cost.get(old_last_column); if (old_cost == 0) diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh index 1e4a0b8..b029054 100644 --- a/src/Octagonal_Shape.templates.hh +++ b/src/Octagonal_Shape.templates.hh @@ -1305,7 +1305,7 @@ Octagonal_Shape<T>::frequency(const Linear_Expression& expr, // and return true. Otherwise the values for \p expr // are not discrete so return false. - // Space dimension = 0: if empty, then return false; + // Space dimension is 0: if empty, then return false; // otherwise the frequency is 0 and the value is the inhomogeneous term. if (space_dim == 0) { if (is_empty()) @@ -2447,9 +2447,12 @@ Octagonal_Shape<T>::strong_closure_assign() const { // Unfolding two iterations on `j': this ensures that // the loop exit condition `j <= i' is OK. for (dimension_type j = 0; j <= i; ) { - // First iteration: - // sum1 = x_i_k + x_k_j == x_ck_ci + x_k_j; - // sum2 = x_i_ck + x_ck_j == x_k_ci + x_ck_j. + // First iteration: compute + // + // <CODE> + // sum1 = x_i_k + x_k_j == x_ck_ci + x_k_j; + // sum2 = x_i_ck + x_ck_j == x_k_ci + x_ck_j; + // </CODE> add_assign_r(sum1, vec_ck_ci, vec_k[j], ROUND_UP); add_assign_r(sum2, vec_k_ci, vec_ck[j], ROUND_UP); min_assign(sum1, sum2); diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index b091292..b7dbbb2 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -257,7 +257,8 @@ column_lower(const Matrix& tableau, const dimension_type num_vars = mapping.size(); dimension_type k = 0; // While loop guard is: (k < num_rows && lhs == rhs). - // Return value is false, if k >= num_rows; lhs < rhs, otherwise. + // Return value is false, if k >= num_rows; it is equivalent to + // lhs < rhs, otherwise. // Try to optimize the computation of lhs and rhs. while (true) { const dimension_type mk = mapping[k]; @@ -282,7 +283,8 @@ column_lower(const Matrix& tableau, } // Optimizing for: lhs == 0 && rhs == 0; continue; - } else { + } + else { // Not in base. const Row& t_mk = tableau[mk]; Coefficient_traits::const_reference t_mk_ja = t_mk.get(ja);

1 0

[GIT] ppl/ppl(master): Avoid implicit conversions changing type signedness.
by Enea Zaffanella 24 Feb '12

24 Feb '12

Module: ppl/ppl Branch: master Commit: 6b48ffdf47e595250802fe87464fe348bc488d45 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b48ffdf47e5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 24 10:13:34 2012 +0100 Avoid implicit conversions changing type signedness. Detected by ECLAIR service utypflag. --- src/c_streambuf.cc | 14 ++++++++++---- src/c_streambuf.defs.hh | 1 + src/stdiobuf.cc | 12 +++++++++--- 3 files changed, 20 insertions(+), 7 deletions(-) diff --git a/src/c_streambuf.cc b/src/c_streambuf.cc index 83ecf0f..c76ca44 100644 --- a/src/c_streambuf.cc +++ b/src/c_streambuf.cc @@ -23,6 +23,8 @@ site: http://bugseng.com/products/ppl/ . */ #include "ppl-config.h" #include "c_streambuf.defs.hh" +#include "globals.defs.hh" +#include "assert.hh" namespace Parma_Polyhedra_Library { @@ -48,22 +50,24 @@ c_streambuf::underflow() { std::streamsize c_streambuf::xsgetn(char_type* s, std::streamsize n) { + PPL_ASSERT(n >= 0); if (n == 0) return n; const int_type eof = traits_type::eof(); - int a; + const size_t sz_n = static_cast<size_t>(n); + size_t a; if (traits_type::eq_int_type(next_char_buf, eof)) a = 0; else { s[0] = static_cast<char_type>(next_char_buf); a = 1; } - std::streamsize r = cb_read(s + a, n - a) + a; + const size_t r = cb_read(s + a, sz_n - a) + a; if (r > 0) unget_char_buf = traits_type::to_int_type(s[r - 1]); else unget_char_buf = traits_type::eof(); - return r; + return static_cast<std::streamsize>(r); } c_streambuf::int_type @@ -76,7 +80,9 @@ c_streambuf::pbackfail(int_type c) { std::streamsize c_streambuf::xsputn(const char_type* s, std::streamsize n) { - return cb_write(s, n); + PPL_ASSERT(n >= 0); + size_t r = cb_write(s, static_cast<size_t>(n)); + return static_cast<std::streamsize>(r); } c_streambuf::int_type diff --git a/src/c_streambuf.defs.hh b/src/c_streambuf.defs.hh index b8e0d98..2a349af 100644 --- a/src/c_streambuf.defs.hh +++ b/src/c_streambuf.defs.hh @@ -26,6 +26,7 @@ site: http://bugseng.com/products/ppl/ . */ #include "c_streambuf.types.hh" #include <streambuf> +#include <cstddef> class Parma_Polyhedra_Library::c_streambuf : public std::basic_streambuf<char, std::char_traits<char> > { diff --git a/src/stdiobuf.cc b/src/stdiobuf.cc index 529f1bf..8a5fe95 100644 --- a/src/stdiobuf.cc +++ b/src/stdiobuf.cc @@ -23,6 +23,9 @@ site: http://bugseng.com/products/ppl/ . */ #include "ppl-config.h" #include "stdiobuf.defs.hh" +#include "globals.defs.hh" +#include "assert.hh" +#include <cstddef> namespace Parma_Polyhedra_Library { @@ -40,12 +43,13 @@ stdiobuf::underflow() { std::streamsize stdiobuf::xsgetn(char_type* s, std::streamsize n) { - std::streamsize r = fread(s, 1, n, fp); + PPL_ASSERT(n >= 0); + size_t r = fread(s, 1, static_cast<size_t>(n), fp); if (r > 0) unget_char_buf = traits_type::to_int_type(s[r - 1]); else unget_char_buf = traits_type::eof(); - return r; + return static_cast<std::streamsize>(r); } stdiobuf::int_type @@ -58,7 +62,9 @@ stdiobuf::pbackfail(int_type c) { std::streamsize stdiobuf::xsputn(const char_type* s, std::streamsize n) { - return fwrite(s, 1, n, fp); + PPL_ASSERT(n >= 0); + size_t r = fwrite(s, 1, static_cast<size_t>(n), fp); + return static_cast<std::streamsize>(r); } stdiobuf::int_type

1 0

[GIT] ppl/ppl(master): New commits
by Roberto Bagnara 24 Feb '12

24 Feb '12

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=223fd2c798b1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:38:19 2012 +0100 Delimit pseudo-code in non-Doxygen comments within <CODE> </CODE>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91385ebcf630… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:36:40 2012 +0100 Delimit pseudo-code in Doxygen comments within <CODE> </CODE>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2da2d0f8f30… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:33:00 2012 +0100 Comment improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f52a31d61c17… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:32:02 2012 +0100 Delimit pseudo-code in non-Doxygen comments within <CODE> </CODE>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52fe00dd2c21… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:30:49 2012 +0100 Comment improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=267192b35291… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:30:28 2012 +0100 Comments improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c91de8d4cae1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:30:10 2012 +0100 Delimit pseudo-code in non-Doxygen comments within <CODE> </CODE>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37a29dcd0c52… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:29:35 2012 +0100 Comment improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f874d7e44a23… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:24:31 2012 +0100 Delimit pseudo-code in non-Doxygen comments within <CODE> </CODE>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a576ab2ae6a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:23:35 2012 +0100 Comment improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d706287150d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:19:43 2012 +0100 Delimit example code in non-Doxygen comments within <CODE> </CODE>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e97c62dec8e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 09:19:09 2012 +0100 Comments fixed/improved.

1 0

[GIT] ppl/ppl(master): Avoid implicit conversions changing type signedness.
by Enea Zaffanella 24 Feb '12

24 Feb '12

Module: ppl/ppl Branch: master Commit: 05f9cc35b6a68f506206d89fa4fe2103349c5650 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05f9cc35b6a6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 24 09:33:43 2012 +0100 Avoid implicit conversions changing type signedness. Detected by ECLAIR service utypflag. --- src/Row_Flags.cc | 6 ++++-- 1 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/Row_Flags.cc b/src/Row_Flags.cc index 62e1f29..39a3c8c 100644 --- a/src/Row_Flags.cc +++ b/src/Row_Flags.cc @@ -32,11 +32,13 @@ void PPL::Row_Flags::ascii_dump(std::ostream& s) const { s << "0x"; std::istream::fmtflags f = s.setf(std::istream::hex); - std::streamsize sz = s.width(2*sizeof(Row_Flags::base_type)); + const std::streamsize new_sz + = static_cast<std::streamsize>(2 * sizeof(Row_Flags::base_type)); + const std::streamsize old_sz = s.width(new_sz); std::ostream::char_type ch = s.fill('0'); s << bits; s.fill(ch); - s.width(sz); + s.width(old_sz); s.flags(f); }

1 0

[GIT] ppl/ppl(master): Avoid commented-out code.
by Roberto Bagnara 24 Feb '12

24 Feb '12

Module: ppl/ppl Branch: master Commit: a0e8fa1b03ede3be0ba1795f8774234437e07ce0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0e8fa1b03ed… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 08:17:30 2012 +0100 Avoid commented-out code. Detected by ECLAIR service cmntdout. --- src/iterator_to_const.defs.hh | 2 -- 1 files changed, 0 insertions(+), 2 deletions(-) diff --git a/src/iterator_to_const.defs.hh b/src/iterator_to_const.defs.hh index af51673..4444b7d 100644 --- a/src/iterator_to_const.defs.hh +++ b/src/iterator_to_const.defs.hh @@ -65,7 +65,6 @@ private: friend class const_iterator_to_const<Container>; template <typename T> friend class Powerset; - //template <typename T> friend class Ask_Tell; public: // Same traits of the const_iterator, therefore @@ -138,7 +137,6 @@ private: friend class iterator_to_const<Container>; template <typename T> friend class Powerset; - //template <typename T> friend class Ask_Tell; public: // Same traits of the underlying const_iterator.

1 0

[GIT] ppl/ppl(master): Fixed punctuation in comments.
by Roberto Bagnara 24 Feb '12

24 Feb '12

Module: ppl/ppl Branch: master Commit: e9cbb6dcb1507d145f924ecd4dc625b07a01d644 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9cbb6dcb150… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 08:11:59 2012 +0100 Fixed punctuation in comments. --- src/PIP_Tree.cc | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index d30dba1..1d43319 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -2299,10 +2299,10 @@ PIP_Solution_Node::update_tableau( else { const dimension_type mv = mapping[v_index]; if (basis[v_index]) { - // Basic variable : add coeff_i * x_i + // Basic variable: add coeff_i * x_i add_mul_assign(v_row[mv], coeff_i, denom); } else { - // Non-basic variable : add coeff_i * row_i + // Non-basic variable: add coeff_i * row_i add_mul_assign_row(v_row, coeff_i, tableau.s[mv]); add_mul_assign_row(p_row, coeff_i, tableau.t[mv]); } @@ -2597,7 +2597,7 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, PPL_DIRTY_TEMP_COEFFICIENT(s_pivot_pj); s_pivot_pj = s_pivot.get(pj); - // Compute columns s[*][j] : + // Compute columns s[*][j]: // s[i][j] -= s[i][pj] * s_pivot[j] / s_pivot_pj; for (dimension_type i = num_rows; i-- > 0; ) { Row& s_i = tableau.s[i]; @@ -2634,7 +2634,7 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, } } - // Compute columns t[*][j] : + // Compute columns t[*][j]: // t[i][j] -= s[i][pj] * t_pivot[j] / s_pivot_pj; for (dimension_type i = num_rows; i-- > 0; ) { Row& s_i = tableau.s[i]; @@ -2698,7 +2698,7 @@ PIP_Solution_Node::solve(const PIP_Problem& pip, } } - // Compute column s[*][pj] : s[i][pj] /= s_pivot_pj; + // Compute column s[*][pj]: s[i][pj] /= s_pivot_pj; // Update column only if pivot coordinate != 1. if (s_pivot_pj != pivot_denom) { Row::iterator itr;

1 0

[GIT] ppl/ppl(master): Avoid commented-out code.
by Roberto Bagnara 24 Feb '12

24 Feb '12

Module: ppl/ppl Branch: master Commit: b8d5d49fe4558480808babf8388a04493ed2af82 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8d5d49fe455… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 08:10:19 2012 +0100 Avoid commented-out code. Detected by ECLAIR service cmntdout. --- src/Interval.inlines.hh | 1 - src/PIP_Tree.cc | 1 - 2 files changed, 0 insertions(+), 2 deletions(-) diff --git a/src/Interval.inlines.hh b/src/Interval.inlines.hh index 08ee6ec..1f1b2f0 100644 --- a/src/Interval.inlines.hh +++ b/src/Interval.inlines.hh @@ -1002,7 +1002,6 @@ operator/(const Interval<B, Info>& x, const Interval<B, Info>& y) { template <typename Boundary, typename Info> inline std::ostream& operator<<(std::ostream& os, const Interval<Boundary, Info>& x) { - // PPL_ASSERT(x.OK()); if (check_empty_arg(x)) return os << "[]"; if (x.is_singleton()) { diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 7cd260f..d30dba1 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -249,7 +249,6 @@ column_lower(const Matrix& tableau, if (ja == jb) { // Same column: just compare the ratios. // This works since all columns are lexico-positive. - // return cst_a * sij_b > cst_b * sij_a; return lhs_coeff > rhs_coeff; }

1 0

[GIT] ppl/ppl(master): Comment punctuation fixed.
by Roberto Bagnara 24 Feb '12

24 Feb '12

Module: ppl/ppl Branch: master Commit: 0dbe69df7a291d78b532a8dd11003fd230d82e32 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0dbe69df7a29… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Feb 24 08:03:28 2012 +0100 Comment punctuation fixed. --- src/BD_Shape.templates.hh | 2 +- src/Octagonal_Shape.templates.hh | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/BD_Shape.templates.hh b/src/BD_Shape.templates.hh index 8ef7bfe..bb38d16 100644 --- a/src/BD_Shape.templates.hh +++ b/src/BD_Shape.templates.hh @@ -305,7 +305,7 @@ BD_Shape<T>::affine_dimension() const { // The vector `predecessor' is used to represent equivalence classes: // `predecessor[i] == i' if and only if `i' is the leader of its - // equivalence class (i.e., the minimum index in the class); + // equivalence class (i.e., the minimum index in the class). std::vector<dimension_type> predecessor; compute_predecessors(predecessor); diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh index 27bcd0a..bb8b59b 100644 --- a/src/Octagonal_Shape.templates.hh +++ b/src/Octagonal_Shape.templates.hh @@ -960,7 +960,7 @@ Octagonal_Shape<T>::affine_dimension() const { // The vector `leaders' is used to represent non-singular // equivalence classes: // `leaders[i] == i' if and only if `i' is the leader of its - // equivalence class (i.e., the minimum index in the class); + // equivalence class (i.e., the minimum index in the class). std::vector<dimension_type> leaders; compute_leaders(leaders); @@ -996,7 +996,7 @@ Octagonal_Shape<T>::minimized_congruences() const { // The vector `leaders' is used to represent equivalence classes: // `leaders[i] == i' if and only if `i' is the leader of its - // equivalence class (i.e., the minimum index in the class); + // equivalence class (i.e., the minimum index in the class). std::vector<dimension_type> leaders; compute_leaders(leaders);

1 0

[GIT] ppl/ppl(master): Avoid unnamed namespace in header file.
by Roberto Bagnara 23 Feb '12

23 Feb '12

Module: ppl/ppl Branch: master Commit: e8d622c7f000c31be848de1f6cb181a28d842fd8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8d622c7f000… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 23 20:01:53 2012 +0100 Avoid unnamed namespace in header file. Detected by ECLAIR service hedrfile. --- src/initializer.hh | 8 ++------ 1 files changed, 2 insertions(+), 6 deletions(-) diff --git a/src/initializer.hh b/src/initializer.hh index 9e6f3c1..1e0cb6e 100644 --- a/src/initializer.hh +++ b/src/initializer.hh @@ -27,17 +27,13 @@ site: http://bugseng.com/products/ppl/ . */ #include "Init.defs.hh" #ifndef PPL_NO_AUTOMATIC_INITIALIZATION -namespace { -Parma_Polyhedra_Library::Init Parma_Polyhedra_Library_initializer; +static Parma_Polyhedra_Library::Init Parma_Polyhedra_Library_initializer; -} // namespace #else -namespace { -Parma_Polyhedra_Library::Init* Parma_Polyhedra_Library_initializer_p; +static Parma_Polyhedra_Library::Init* Parma_Polyhedra_Library_initializer_p; -} // namespace #endif namespace Parma_Polyhedra_Library {

1 0