- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Avoid a couple of doxygen warnings.
by Enea Zaffanella 24 Dec '10

24 Dec '10

Module: ppl/ppl Branch: master Commit: e5c712fb857756c993ad2a0c29142f854a5815b6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5c712fb8577… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 24 12:02:23 2010 +0100 Avoid a couple of doxygen warnings. --- src/Sparse_Row.defs.hh | 8 +++++++- 1 files changed, 7 insertions(+), 1 deletions(-) diff --git a/src/Sparse_Row.defs.hh b/src/Sparse_Row.defs.hh index dc74266..28c50fa 100644 --- a/src/Sparse_Row.defs.hh +++ b/src/Sparse_Row.defs.hh @@ -138,6 +138,9 @@ public: \param n The new size for the row. + \param flags + Flags for the row that will be constructed. + This method, with this signature, is needed for compatibility with Dense_Row. @@ -155,6 +158,9 @@ public: \param capacity This is ignored. + \param flags + Flags for the row that will be constructed. + This method, with this signature, is needed for compatibility with Dense_Row. @@ -201,7 +207,7 @@ public: This method takes \f$O(1)\f$ time. */ - void expand_within_capacity(dimension_type new_size); + void expand_within_capacity(dimension_type n); //! Resizes the row to size \p n. /*!

1 0

[GIT] ppl/ppl(master): Memory leaks fixed.
by Roberto Bagnara 24 Dec '10

24 Dec '10

Module: ppl/ppl Branch: master Commit: bae9231e876e264a8d973ad22ef465f0a1829e02 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bae9231e876e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 24 11:59:17 2010 +0100 Memory leaks fixed. (Patch by Marco Poletti.) --- src/MIP_Problem.templates.hh | 82 ++++++++++++++++++++++++++---------------- 1 files changed, 51 insertions(+), 31 deletions(-) diff --git a/src/MIP_Problem.templates.hh b/src/MIP_Problem.templates.hh index 8997ad3..4b54b9e 100644 --- a/src/MIP_Problem.templates.hh +++ b/src/MIP_Problem.templates.hh @@ -77,22 +77,32 @@ MIP_Problem::MIP_Problem(const dimension_type dim, throw std::invalid_argument(s.str()); } // Check the constraints. - for (In i = first; i != last; ++i) { - if (i->is_strict_inequality()) - throw std::invalid_argument("PPL::MIP_Problem::" - "MIP_Problem(dim, first, last, int_vars," - "obj, mode):\nrange [first, last) contains" - "a strict inequality constraint."); - if (i->space_dimension() > dim) { - std::ostringstream s; - s << "PPL::MIP_Problem::" - << "MIP_Problem(dim, first, last, int_vars, obj, mode):\n" - << "range [first, last) contains a constraint having space" - << "dimension == " << i->space_dimension() << " that exceeds" - "this->space_dimension == " << dim << "."; - throw std::invalid_argument(s.str()); + try { + for (In i = first; i != last; ++i) { + if (i->is_strict_inequality()) + throw std::invalid_argument("PPL::MIP_Problem::" + "MIP_Problem(dim, first, last, int_vars," + "obj, mode):\nrange [first, last) contains" + "a strict inequality constraint."); + if (i->space_dimension() > dim) { + std::ostringstream s; + s << "PPL::MIP_Problem::" + << "MIP_Problem(dim, first, last, int_vars, obj, mode):\n" + << "range [first, last) contains a constraint having space" + << "dimension == " << i->space_dimension() << " that exceeds" + "this->space_dimension == " << dim << "."; + throw std::invalid_argument(s.str()); + } + add_constraint_helper(*i); } - add_constraint_helper(*i); + } catch (...) { + // Delete the allocated constraints, to avoid memory leaks. + + for (Constraint_Sequence::const_iterator + i = input_cs.begin(), i_end = input_cs.end(); i != i_end; ++i) + delete *i; + + throw; } PPL_ASSERT(OK()); } @@ -134,23 +144,33 @@ MIP_Problem::MIP_Problem(dimension_type dim, throw std::invalid_argument(s.str()); } // Check the constraints. - for (In i = first; i != last; ++i) { - if (i->is_strict_inequality()) - throw std::invalid_argument("PPL::MIP_Problem::" - "MIP_Problem(dim, first, last, obj, mode):" - "\n" - "range [first, last) contains a strict " - "inequality constraint."); - if (i->space_dimension() > dim) { - std::ostringstream s; - s << "PPL::MIP_Problem::" - << "MIP_Problem(dim, first, last, obj, mode):\n" - << "range [first, last) contains a constraint having space" - << "dimension" << " == " << i->space_dimension() << " that exceeds" - "this->space_dimension == " << dim << "."; - throw std::invalid_argument(s.str()); + try { + for (In i = first; i != last; ++i) { + if (i->is_strict_inequality()) + throw std::invalid_argument("PPL::MIP_Problem::" + "MIP_Problem(dim, first, last, obj, mode):" + "\n" + "range [first, last) contains a strict " + "inequality constraint."); + if (i->space_dimension() > dim) { + std::ostringstream s; + s << "PPL::MIP_Problem::" + << "MIP_Problem(dim, first, last, obj, mode):\n" + << "range [first, last) contains a constraint having space" + << "dimension" << " == " << i->space_dimension() << " that exceeds" + "this->space_dimension == " << dim << "."; + throw std::invalid_argument(s.str()); + } + add_constraint_helper(*i); } - add_constraint_helper(*i); + } catch (...) { + // Delete the allocated constraints, to avoid memory leaks. + + for (Constraint_Sequence::const_iterator + i = input_cs.begin(), i_end = input_cs.end(); i != i_end; ++i) + delete *i; + + throw; } PPL_ASSERT(OK()); }

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 22 Dec '10

22 Dec '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e0b4f3cb09b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Dec 20 18:43:57 2010 +0100 Remove the Sparse_Matrix class and add a Matrix<Row> class instead. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84600dacfb4b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 20 09:13:43 2010 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96604c0b3612… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Dec 19 12:05:02 2010 +0100 Added a workaround to a space efficiency bug affecting MIP_Problem. The baseline patch has been contributed by Marco Poletti. MIP_Problem now stores the input constraints as a sequence of Constraint*. In this sequence, we distinguish between owned constraints (whose resources are under control of the current MIP_Problem object) and inherited constraints (whose resources are shared with, and owned by, another MIP_Problem object). When starting a branch-and-bound computation looking for an integral feasible/optimal solution, we now inherit (rather than copy) the input constraints. The workaround greatly improves space/time efficiency on (mixed) integral problems, also providing a (simple and reasonable) partial solution to https://www.cs.unipr.it/mantis/view.php?id=62 The solution is still partial: a complete solution requires the implementation of a backtracking mechanism for incrementally added constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7c689f3a1f8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Dec 19 10:53:04 2010 +0100 Obsolete comment removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b952f1fa47bc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Dec 19 10:49:37 2010 +0100 No longer include BD_Shape<int8_t> among the instantiations enabled by default. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99a25a1ecae2… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Dec 19 10:08:48 2010 +0100 Replaced $(cmd) with `cmd` in m4 autoconf files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=533d88da39b8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Dec 11 18:27:07 2010 +0100 Avoid using identifier PS, since Solaris has a macro with that name. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5eb5954e1de3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Oct 21 19:52:38 2010 +0200 Properly quote the assignment MAKE=$(MAKE). (Thanks to Volker Braun.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91b316106e1d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Oct 19 09:10:47 2010 +0200 Updated list of bug fixes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c95fc0eab6a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Oct 19 08:15:12 2010 +0200 Improved precision of Octagonal_Shape::affine_image(). The method was rather imprecise on sign-symmetry affine transformations. Also noted that strong reduction is preserved in that case. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78ef497331ef… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 17 08:17:46 2010 +0200 Dense_Row: remove the unused assign() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5cf4362e714d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 16 17:18:04 2010 +0200 Sparse_Matrix: add some methods, to be fully compatible with Dense_Matrix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51b8b9197551… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 16 17:17:45 2010 +0200 Sparse_Row: add some methods, to be fully compatible with Dense_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d535b8db149… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Oct 16 17:13:35 2010 +0200 CO_Tree: add a max_size() static method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff5b0796773b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Oct 16 09:11:15 2010 +0200 Fixed a bug whereby the argument of all the methods unconstrain(Variable var) was not checked correctly for space dimension compatibility. (Thanks to Volker Braun.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97150b49891b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Oct 10 17:41:52 2010 +0200 Documented precondition of method Bit_Matrix::remove_trailing_columns(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3592af215e8a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Oct 10 16:34:30 2010 +0200 In method Bit_Matrix::OK(), do also check the first Bit_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27a720c897ec… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 3 17:13:33 2010 +0200 Sparse_Row: optimize linear_combine(), avoiding the insertion of too many elements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9f743717517… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Oct 3 09:24:55 2010 +0200 Dense_Matrix, Sparse_Matrix: remove useless typedefs for row_type. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58d732406162… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Oct 1 15:34:50 2010 +0200 CO_Tree: fix comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e80dc1425eb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 27 10:51:10 2010 +0200 CO_Tree: rename the size field into size_, and add a size() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cb542d4fe76… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 27 10:50:20 2010 +0200 CO_Tree: avoid shadowing a field with a local variable, in external_memory_in_bytes(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6475eea32239… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 26 14:51:09 2010 +0200 Dense_Row: mark the constructor from a Sparse_Row as explicit. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1088ad4fc32… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 26 14:50:32 2010 +0200 Sparse_Row: add an assignment operator from a Dense_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9707c1e408c1… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 26 14:45:16 2010 +0200 Sparse_Row: copy flags too, in the constructor from a Dense_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b123a9d2528… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 26 14:44:35 2010 +0200 Dense_Row: add a constructor and an assignment operator that take a Sparse_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3426ae69e61c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 26 14:43:53 2010 +0200 CO_Tree: fix bug in the constructor from a sequence and remove its second argument, it is used in assertions only. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bb0a14d690b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 24 19:48:27 2010 +0200 Added missing uses of AC_LANG_SOURCE. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a71f7eb628bf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 24 19:47:18 2010 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a2114d8a933… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Sep 24 19:18:29 2010 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8484a4794af… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 20 20:20:16 2010 +0200 Bit_Matrix, Sparse_Matrix: rename the {rows,columns}_erase_to_end() methods into remove_trailing_{rows,columns}(), changing the argument's meaning. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c153292b94f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 20 15:07:20 2010 +0200 Dense_Matrix, Sparse_Matrix: rename the erase_to_end() method into remove_trailing_rows(), changing the argument's meaning. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9bb908fe1ba… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 20 15:06:06 2010 +0200 Grid_Generator_System: remove unused erase_to_end() private method.

1 0

[GIT] ppl/ppl(COW): Add a COW_Pointer class.
by Marco Poletti 20 Dec '10

20 Dec '10

Module: ppl/ppl Branch: COW Commit: 72aefcb479a083acfdacd3cd166d22772bfa7a94 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72aefcb479a0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Dec 20 16:02:55 2010 +0100 Add a COW_Pointer class. --- src/COW_Pointer.defs.hh | 103 +++++++++++++++++++++ src/COW_Pointer.inlines.hh | 214 ++++++++++++++++++++++++++++++++++++++++++++ src/COW_Pointer.types.hh | 24 +++++ src/Makefile.am | 3 + 4 files changed, 344 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=72aefcb4…

1 0

[GIT] ppl/ppl(COW): Updated.
by Roberto Bagnara 20 Dec '10

20 Dec '10

Module: ppl/ppl Branch: COW Commit: 84600dacfb4b21d53d9d3e316338400e9ec02493 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84600dacfb4b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 20 09:13:43 2010 +0100 Updated. --- CREDITS | 7 ++++--- 1 files changed, 4 insertions(+), 3 deletions(-) diff --git a/CREDITS b/CREDITS index 725bdb7..ea49aa7 100644 --- a/CREDITS +++ b/CREDITS @@ -45,9 +45,10 @@ Current Contributors: Marco Poletti (student of the University of Parma) implemented the sparse matrices that are used - in the MIP and PIP solvers of the PPL; he is now - experimenting with parallelization of the sparse - matrices' computations. + in the MIP and PIP solvers of the PPL; he also + did experiments on the parallelization of the + sparse matrices' computations; he is now working + on improving the PPL's memory footprint. Enric Rodriguez Carbonell [4] (Technical University of Catalonia) is working on the implementation of polynomial spaces.

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 20 Dec '10

20 Dec '10

Module: ppl/ppl Branch: master Commit: 84600dacfb4b21d53d9d3e316338400e9ec02493 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84600dacfb4b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 20 09:13:43 2010 +0100 Updated. --- CREDITS | 7 ++++--- 1 files changed, 4 insertions(+), 3 deletions(-) diff --git a/CREDITS b/CREDITS index 725bdb7..ea49aa7 100644 --- a/CREDITS +++ b/CREDITS @@ -45,9 +45,10 @@ Current Contributors: Marco Poletti (student of the University of Parma) implemented the sparse matrices that are used - in the MIP and PIP solvers of the PPL; he is now - experimenting with parallelization of the sparse - matrices' computations. + in the MIP and PIP solvers of the PPL; he also + did experiments on the parallelization of the + sparse matrices' computations; he is now working + on improving the PPL's memory footprint. Enric Rodriguez Carbonell [4] (Technical University of Catalonia) is working on the implementation of polynomial spaces.

1 0

ppl-0.11.1pre2 fails to compile on Solaris i386
by Dennis Clarke 19 Dec '10

19 Dec '10

I think, after trying oover and over for about five days that ppl can not be compiled on Solaris. Here is the latest thing that stops the show : ./configure --prefix=/usr/local --with-libgmpxx-prefix=/usr/local --with-cc=/usr/local/gcc4/bin/gcc --with-cxx=/usr/local/gcc4/bin/g++ --enable-interfaces=cxx\ c --enable-arch=pentiumpro . . . . make . . . libtool: compile: /usr/local/gcc4/bin/g++ -DHAVE_CONFIG_H -I. -I../.. -I../../interfaces -I../../interfaces/C -I../../src -I../../Watchdog/src -I/usr/local/include -g -O2 -march=pentiumpro -frounding-math -march=pentiumpro -malign-double -mpreferred-stack-boundary=8 -m32 -O3 -Qy -fexceptions -D_TS_ERRNO -DSOLARIS2=8 -D_POSIX_PTHREAD_SEMANTICS -D_LARGEFILE64_SOURCE -W -Wall -MT ppl_c_implementation_common.lo -MD -MP -MF .deps/ppl_c_implementation_common.Tpo -c ppl_c_implementation_common.cc -fPIC -DPIC -o .libs/ppl_c_implementation_common.o libtool: compile: /usr/local/gcc4/bin/g++ -DHAVE_CONFIG_H -I. -I../.. -I../../interfaces -I../../interfaces/C -I../../src -I../../Watchdog/src -I/usr/local/include -g -O2 -march=pentiumpro -frounding-math -march=pentiumpro -malign-double -mpreferred-stack-boundary=8 -m32 -O3 -Qy -fexceptions -D_TS_ERRNO -DSOLARIS2=8 -D_POSIX_PTHREAD_SEMANTICS -D_LARGEFILE64_SOURCE -W -Wall -MT ppl_c_implementation_common.lo -MD -MP -MF .deps/ppl_c_implementation_common.Tpo -c ppl_c_implementation_common.cc -o ppl_c_implementation_common.o >/dev/null 2>&1 mv -f .deps/ppl_c_implementation_common.Tpo .deps/ppl_c_implementation_common.Plo /bin/bash ../../libtool --tag=CXX --mode=compile /usr/local/gcc4/bin/g++ -DHAVE_CONFIG_H -I. -I../.. -I../../interfaces -I../../interfaces/C -I../../src -I../../Watchdog/src -I/usr/local/include -g -O2 -march=pentiumpro -frounding-math -march=pentiumpro -malign-double -mpreferred-stack-boundary=8 -m32 -O3 -Qy -fexceptions -D_TS_ERRNO -DSOLARIS2=8 -D_POSIX_PTHREAD_SEMANTICS -D_LARGEFILE64_SOURCE -W -Wall -MT ppl_c_Polyhedron.lo -MD -MP -MF .deps/ppl_c_Polyhedron.Tpo -c -o ppl_c_Polyhedron.lo ppl_c_Polyhedron.cc libtool: compile: /usr/local/gcc4/bin/g++ -DHAVE_CONFIG_H -I. -I../.. -I../../interfaces -I../../interfaces/C -I../../src -I../../Watchdog/src -I/usr/local/include -g -O2 -march=pentiumpro -frounding-math -march=pentiumpro -malign-double -mpreferred-stack-boundary=8 -m32 -O3 -Qy -fexceptions -D_TS_ERRNO -DSOLARIS2=8 -D_POSIX_PTHREAD_SEMANTICS -D_LARGEFILE64_SOURCE -W -Wall -MT ppl_c_Polyhedron.lo -MD -MP -MF .deps/ppl_c_Polyhedron.Tpo -c ppl_c_Polyhedron.cc -fPIC -DPIC -o .libs/ppl_c_Polyhedron.o In file included from ppl_c_implementation_common.defs.hh:27:0, from ppl_c_Polyhedron.cc:23: ../../src/ppl.hh: In function 'bool Parma_Polyhedra_Library::Checked::is_pinf(const Type&) [with Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Type = char]': ../../src/ppl.hh:12103:48: instantiated from 'bool Parma_Polyhedra_Library::is_plus_infinity(const Parma_Polyhedra_Library::Checked_Number<T, P>&) [with T = char, Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy]' ../../src/ppl.hh:68729:9: instantiated from 'Parma_Polyhedra_Library::Constraint_System Parma_Polyhedra_Library::BD_Shape<T>::constraints() const [with T = char]' ../../src/ppl.hh:38065:3: instantiated from 'Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron(const Parma_Polyhedra_Library::BD_Shape&, Parma_Polyhedra_Library::Complexity_Class) [with U = char]' ppl_c_Polyhedron.cc:159:42: instantiated from here ../../src/ppl.hh:5041:1: error: incomplete type 'Parma_Polyhedra_Library::Checked::is_pinf_function_struct<Parma_Polyhedra_Library::WRD_Extended_Number_Policy, char>' used in nested name specifier ../../src/ppl.hh: In function 'void Parma_Polyhedra_Library::Checked::copy(Type1&, const Type2&) [with Policy1 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Policy2 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Type1 = char, Type2 = char]': ../../src/ppl.hh:11867:3: instantiated from 'Parma_Polyhedra_Library::Checked_Number<T, Policy>::Checked_Number(const Parma_Polyhedra_Library::Checked_Number<T, Policy>&) [with T = char, Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Parma_Polyhedra_Library::Checked_Number<T, Policy> = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>]' ../../src/ppl.hh:65265:3: instantiated from 'void Parma_Polyhedra_Library::BD_Shape<T>::shortest_path_reduction_assign() const [with T = char]' ../../src/ppl.hh:68773:3: instantiated from 'Parma_Polyhedra_Library::Constraint_System Parma_Polyhedra_Library::BD_Shape<T>::minimized_constraints() const [with T = char]' ../../src/ppl.hh:68708:5: instantiated from 'Parma_Polyhedra_Library::Constraint_System Parma_Polyhedra_Library::BD_Shape<T>::constraints() const [with T = char]' ../../src/ppl.hh:38065:3: instantiated from 'Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron(const Parma_Polyhedra_Library::BD_Shape&, Parma_Polyhedra_Library::Complexity_Class) [with U = char]' ppl_c_Polyhedron.cc:159:42: instantiated from here ../../src/ppl.hh:5029:1: error: incomplete type 'Parma_Polyhedra_Library::Checked::copy_function_struct<Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Parma_Polyhedra_Library::WRD_Extended_Number_Policy, char, char>' used in nested name specifier ../../src/ppl.hh:5029:1: error: return-statement with a value, in function returning 'void' ../../src/ppl.hh: In function 'bool Parma_Polyhedra_Library::Checked::is_nan(const Type&) [with Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Type = char]': ../../src/ppl.hh:10733:3: instantiated from 'bool Parma_Polyhedra_Library::Checked::eq_ext(const Type1&, const Type2&) [with Policy1 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Policy2 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Type1 = char, Type2 = char]' ../../src/ppl.hh:12370:1: instantiated from 'typename Parma_Polyhedra_Library::Enable_If<((Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value && Parma_Polyhedra_Library::Is_Native_Or_Checked<From>::value) && (Parma_Polyhedra_Library::Is_Checked<T>::value || Parma_Polyhedra_Library::Is_Checked<T2>::value)), bool>::type Parma_Polyhedra_Library::operator==(const T1&, const T2&) [with T1 = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>, T2 = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>, typename Parma_Polyhedra_Library::Enable_If<((Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value && Parma_Polyhedra_Library::Is_Native_Or_Checked<From>::value) && (Parma_Polyhedra_Library::Is_Checked<T>::value || Parma_Polyhedra_Library::Is_Checked<T2>::value)), bool>::type = bool]' ../../src/ppl.hh:14310:21: instantiated from 'typename Parma_Polyhedra_Library::Enable_If<Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value, bool>::type Parma_Polyhedra_Library::is_additive_inverse(const T&, const T&) [with T = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>, typename Parma_Polyhedra_Library::Enable_If<Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value, bool>::type = bool]' ../../src/ppl.hh:68722:7: instantiated from 'Parma_Polyhedra_Library::Constraint_System Parma_Polyhedra_Library::BD_Shape<T>::constraints() const [with T = char]' ../../src/ppl.hh:38065:3: instantiated from 'Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron(const Parma_Polyhedra_Library::BD_Shape&, Parma_Polyhedra_Library::Complexity_Class) [with U = char]' ppl_c_Polyhedron.cc:159:42: instantiated from here ../../src/ppl.hh:5037:1: error: incomplete type 'Parma_Polyhedra_Library::Checked::is_nan_function_struct<Parma_Polyhedra_Library::WRD_Extended_Number_Policy, char>' used in nested name specifier ../../src/ppl.hh: In function 'bool Parma_Polyhedra_Library::Checked::is_minf(const Type&) [with Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Type = char]': ../../src/ppl.hh:10735:3: instantiated from 'bool Parma_Polyhedra_Library::Checked::eq_ext(const Type1&, const Type2&) [with Policy1 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Policy2 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Type1 = char, Type2 = char]' ../../src/ppl.hh:12370:1: instantiated from 'typename Parma_Polyhedra_Library::Enable_If<((Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value && Parma_Polyhedra_Library::Is_Native_Or_Checked<From>::value) && (Parma_Polyhedra_Library::Is_Checked<T>::value || Parma_Polyhedra_Library::Is_Checked<T2>::value)), bool>::type Parma_Polyhedra_Library::operator==(const T1&, const T2&) [with T1 = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>, T2 = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>, typename Parma_Polyhedra_Library::Enable_If<((Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value && Parma_Polyhedra_Library::Is_Native_Or_Checked<From>::value) && (Parma_Polyhedra_Library::Is_Checked<T>::value || Parma_Polyhedra_Library::Is_Checked<T2>::value)), bool>::type = bool]' ../../src/ppl.hh:14310:21: instantiated from 'typename Parma_Polyhedra_Library::Enable_If<Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value, bool>::type Parma_Polyhedra_Library::is_additive_inverse(const T&, const T&) [with T = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>, typename Parma_Polyhedra_Library::Enable_If<Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value, bool>::type = bool]' ../../src/ppl.hh:68722:7: instantiated from 'Parma_Polyhedra_Library::Constraint_System Parma_Polyhedra_Library::BD_Shape<T>::constraints() const [with T = char]' ../../src/ppl.hh:38065:3: instantiated from 'Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron(const Parma_Polyhedra_Library::BD_Shape&, Parma_Polyhedra_Library::Complexity_Class) [with U = char]' ppl_c_Polyhedron.cc:159:42: instantiated from here ../../src/ppl.hh:5039:1: error: incomplete type 'Parma_Polyhedra_Library::Checked::is_minf_function_struct<Parma_Polyhedra_Library::WRD_Extended_Number_Policy, char>' used in nested name specifier ../../src/ppl.hh: In function 'Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::assign_special(Type&, Parma_Polyhedra_Library::Result_Class, Parma_Polyhedra_Library::Rounding_Dir) [with Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Type = char]': ../../src/ppl.hh:9970:62: instantiated from 'Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::neg_ext(To&, const From&, Parma_Polyhedra_Library::Rounding_Dir) [with To_Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, From_Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, To = char, From = char]' ../../src/ppl.hh:12153:1: instantiated from 'typename Parma_Polyhedra_Library::Enable_If<(Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value && Parma_Polyhedra_Library::Is_Native_Or_Checked<From>::value), Parma_Polyhedra_Library::Result>::type Parma_Polyhedra_Library::neg_assign_r(To&, const From&, Parma_Polyhedra_Library::Rounding_Dir) [with To = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>, From = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>, typename Parma_Polyhedra_Library::Enable_If<(Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value && Parma_Polyhedra_Library::Is_Native_Or_Checked<From>::value), Parma_Polyhedra_Library::Result>::type = Parma_Polyhedra_Library::Result]' ../../src/ppl.hh:14310:21: instantiated from 'typename Parma_Polyhedra_Library::Enable_If<Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value, bool>::type Parma_Polyhedra_Library::is_additive_inverse(const T&, const T&) [with T = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>, typename Parma_Polyhedra_Library::Enable_If<Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value, bool>::type = bool]' ../../src/ppl.hh:68722:7: instantiated from 'Parma_Polyhedra_Library::Constraint_System Parma_Polyhedra_Library::BD_Shape<T>::constraints() const [with T = char]' ../../src/ppl.hh:38065:3: instantiated from 'Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron(const Parma_Polyhedra_Library::BD_Shape&, Parma_Polyhedra_Library::Complexity_Class) [with U = char]' ppl_c_Polyhedron.cc:159:42: instantiated from here ../../src/ppl.hh:5045:1: error: incomplete type 'Parma_Polyhedra_Library::Checked::assign_special_function_struct<Parma_Polyhedra_Library::WRD_Extended_Number_Policy, char>' used in nested name specifier ../../src/ppl.hh: In function 'Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::neg(To&, const From&, Parma_Polyhedra_Library::Rounding_Dir) [with Policy1 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Policy2 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, To = char, From = char]': ../../src/ppl.hh:9977:50: instantiated from 'Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::neg_ext(To&, const From&, Parma_Polyhedra_Library::Rounding_Dir) [with To_Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, From_Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, To = char, From = char]' ../../src/ppl.hh:12153:1: instantiated from 'typename Parma_Polyhedra_Library::Enable_If<(Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value && Parma_Polyhedra_Library::Is_Native_Or_Checked<From>::value), Parma_Polyhedra_Library::Result>::type Parma_Polyhedra_Library::neg_assign_r(To&, const From&, Parma_Polyhedra_Library::Rounding_Dir) [with To = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>, From = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>, typename Parma_Polyhedra_Library::Enable_If<(Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value && Parma_Polyhedra_Library::Is_Native_Or_Checked<From>::value), Parma_Polyhedra_Library::Result>::type = Parma_Polyhedra_Library::Result]' ../../src/ppl.hh:14310:21: instantiated from 'typename Parma_Polyhedra_Library::Enable_If<Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value, bool>::type Parma_Polyhedra_Library::is_additive_inverse(const T&, const T&) [with T = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>, typename Parma_Polyhedra_Library::Enable_If<Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value, bool>::type = bool]' ../../src/ppl.hh:68722:7: instantiated from 'Parma_Polyhedra_Library::Constraint_System Parma_Polyhedra_Library::BD_Shape<T>::constraints() const [with T = char]' ../../src/ppl.hh:38065:3: instantiated from 'Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron(const Parma_Polyhedra_Library::BD_Shape&, Parma_Polyhedra_Library::Complexity_Class) [with U = char]' ppl_c_Polyhedron.cc:159:42: instantiated from here ../../src/ppl.hh:5059:1: error: incomplete type 'Parma_Polyhedra_Library::Checked::neg_function_struct<Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Parma_Polyhedra_Library::WRD_Extended_Number_Policy, char, char>' used in nested name specifier ../../src/ppl.hh: In function 'Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::assign(To&, const From&, Parma_Polyhedra_Library::Rounding_Dir) [with Policy1 = Parma_Polyhedra_Library::Check_Overflow_Policy<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >, Policy2 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, To = __gmp_expr<__mpq_struct [1], __mpq_struct [1]>, From = char]': ../../src/ppl.hh:9959:53: instantiated from 'Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::assign_ext(To&, const From&, Parma_Polyhedra_Library::Rounding_Dir) [with To_Policy = Parma_Polyhedra_Library::Check_Overflow_Policy<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >, From_Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, To = __gmp_expr<__mpq_struct [1], __mpq_struct [1]>, From = char]' ../../src/ppl.hh:12149:1: instantiated from 'typename Parma_Polyhedra_Library::Enable_If<(Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value && Parma_Polyhedra_Library::Is_Native_Or_Checked<From>::value), Parma_Polyhedra_Library::Result>::type Parma_Polyhedra_Library::assign_r(To&, const From&, Parma_Polyhedra_Library::Rounding_Dir) [with To = __gmp_expr<__mpq_struct [1], __mpq_struct [1]>, From = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>, typename Parma_Polyhedra_Library::Enable_If<(Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value && Parma_Polyhedra_Library::Is_Native_Or_Checked<From>::value), Parma_Polyhedra_Library::Result>::type = Parma_Polyhedra_Library::Result]' ../../src/ppl.hh:14263:3: instantiated from 'typename Parma_Polyhedra_Library::Enable_If<Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value, void>::type Parma_Polyhedra_Library::numer_denom(const T&, Parma_Polyhedra_Library::Coefficient&, Parma_Polyhedra_Library::Coefficient&) [with T = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>, typename Parma_Polyhedra_Library::Enable_If<Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value, void>::type = void, Parma_Polyhedra_Library::Coefficient = __gmp_expr<__mpz_struct [1], __mpz_struct [1]>]' ../../src/ppl.hh:68724:9: instantiated from 'Parma_Polyhedra_Library::Constraint_System Parma_Polyhedra_Library::BD_Shape<T>::constraints() const [with T = char]' ../../src/ppl.hh:38065:3: instantiated from 'Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron(const Parma_Polyhedra_Library::BD_Shape&, Parma_Polyhedra_Library::Complexity_Class) [with U = char]' ppl_c_Polyhedron.cc:159:42: instantiated from here ../../src/ppl.hh:5051:1: error: incomplete type 'Parma_Polyhedra_Library::Checked::assign_function_struct<Parma_Polyhedra_Library::Check_Overflow_Policy<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >, Parma_Polyhedra_Library::WRD_Extended_Number_Policy, __gmp_expr<__mpq_struct [1], __mpq_struct [1]>, char>' used in nested name specifier ../../src/ppl.hh: In function 'Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::add(To&, const From1&, const From2&, Parma_Polyhedra_Library::Rounding_Dir) [with Policy1 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Policy2 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Policy3 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, To = char, From1 = char, From2 = char]': ../../src/ppl.hh:10084:70: instantiated from 'Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::add_ext(To&, const From1&, const From2&, Parma_Polyhedra_Library::Rounding_Dir) [with To_Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, From1_Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, From2_Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, To = char, From1 = char, From2 = char]' ../../src/ppl.hh:12205:1: instantiated from 'typename Parma_Polyhedra_Library::Enable_If<((Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value && Parma_Polyhedra_Library::Is_Native_Or_Checked<From>::value) && Parma_Polyhedra_Library::Is_Native_Or_Checked<From2>::value), Parma_Polyhedra_Library::Result>::type Parma_Polyhedra_Library::add_assign_r(To&, const From1&, const From2&, Parma_Polyhedra_Library::Rounding_Dir) [with To = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>, From1 = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>, From2 = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>, typename Parma_Polyhedra_Library::Enable_If<((Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value && Parma_Polyhedra_Library::Is_Native_Or_Checked<From>::value) && Parma_Polyhedra_Library::Is_Native_Or_Checked<From2>::value), Parma_Polyhedra_Library::Result>::type = Parma_Polyhedra_Library::Result]' ../../src/ppl.hh:65277:11: instantiated from 'void Parma_Polyhedra_Library::BD_Shape<T>::shortest_path_reduction_assign() const [with T = char]' ../../src/ppl.hh:68773:3: instantiated from 'Parma_Polyhedra_Library::Constraint_System Parma_Polyhedra_Library::BD_Shape<T>::minimized_constraints() const [with T = char]' ../../src/ppl.hh:68708:5: instantiated from 'Parma_Polyhedra_Library::Constraint_System Parma_Polyhedra_Library::BD_Shape<T>::constraints() const [with T = char]' ../../src/ppl.hh:38065:3: instantiated from 'Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron(const Parma_Polyhedra_Library::BD_Shape&, Parma_Polyhedra_Library::Complexity_Class) [with U = char]' ppl_c_Polyhedron.cc:159:42: instantiated from here ../../src/ppl.hh:5065:1: error: incomplete type 'Parma_Polyhedra_Library::Checked::add_function_struct<Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Parma_Polyhedra_Library::WRD_Extended_Number_Policy, char, char, char>' used in nested name specifier ../../src/ppl.hh: In function 'Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::assign(To&, const From&, Parma_Polyhedra_Library::Rounding_Dir) [with Policy1 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Policy2 = Parma_Polyhedra_Library::Checked_Number_Transparent_Policy<int>, To = char, From = int]': ../../src/ppl.hh:9959:53: instantiated from 'Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::assign_ext(To&, const From&, Parma_Polyhedra_Library::Rounding_Dir) [with To_Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, From_Policy = Parma_Polyhedra_Library::Checked_Number_Transparent_Policy<int>, To = char, From = int]' ../../src/ppl.hh:12149:1: instantiated from 'typename Parma_Polyhedra_Library::Enable_If<(Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value && Parma_Polyhedra_Library::Is_Native_Or_Checked<From>::value), Parma_Polyhedra_Library::Result>::type Parma_Polyhedra_Library::assign_r(To&, const From&, Parma_Polyhedra_Library::Rounding_Dir) [with To = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>, From = int, typename Parma_Polyhedra_Library::Enable_If<(Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value && Parma_Polyhedra_Library::Is_Native_Or_Checked<From>::value), Parma_Polyhedra_Library::Result>::type = Parma_Polyhedra_Library::Result]' ../../src/ppl.hh:65075:5: instantiated from 'void Parma_Polyhedra_Library::BD_Shape<T>::shortest_path_closure_assign() const [with T = char]' ../../src/ppl.hh:65238:3: instantiated from 'void Parma_Polyhedra_Library::BD_Shape<T>::shortest_path_reduction_assign() const [with T = char]' ../../src/ppl.hh:68773:3: instantiated from 'Parma_Polyhedra_Library::Constraint_System Parma_Polyhedra_Library::BD_Shape<T>::minimized_constraints() const [with T = char]' ../../src/ppl.hh:68708:5: instantiated from 'Parma_Polyhedra_Library::Constraint_System Parma_Polyhedra_Library::BD_Shape<T>::constraints() const [with T = char]' ../../src/ppl.hh:38065:3: instantiated from 'Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron(const Parma_Polyhedra_Library::BD_Shape&, Parma_Polyhedra_Library::Complexity_Class) [with U = char]' ppl_c_Polyhedron.cc:159:42: instantiated from here ../../src/ppl.hh:5051:1: error: incomplete type 'Parma_Polyhedra_Library::Checked::assign_function_struct<Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Parma_Polyhedra_Library::Checked_Number_Transparent_Policy<int>, char, int>' used in nested name specifier ../../src/ppl.hh: In function 'Parma_Polyhedra_Library::Result_Relation Parma_Polyhedra_Library::Checked::sgn(const From&) [with Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, From = char]': ../../src/ppl.hh:9923:25: instantiated from 'Parma_Polyhedra_Library::Result_Relation Parma_Polyhedra_Library::Checked::sgn_ext(const Type&) [with Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Type = char]' ../../src/ppl.hh:12506:139: instantiated from 'typename Parma_Polyhedra_Library::Enable_If<Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value, int>::type Parma_Polyhedra_Library::sgn(const From&) [with From = Parma_Polyhedra_Library::Checked_Number<char, Parma_Polyhedra_Library::WRD_Extended_Number_Policy>, typename Parma_Polyhedra_Library::Enable_If<Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value, int>::type = int]' ../../src/ppl.hh:65100:5: instantiated from 'void Parma_Polyhedra_Library::BD_Shape<T>::shortest_path_closure_assign() const [with T = char]' ../../src/ppl.hh:65238:3: instantiated from 'void Parma_Polyhedra_Library::BD_Shape<T>::shortest_path_reduction_assign() const [with T = char]' ../../src/ppl.hh:68773:3: instantiated from 'Parma_Polyhedra_Library::Constraint_System Parma_Polyhedra_Library::BD_Shape<T>::minimized_constraints() const [with T = char]' ../../src/ppl.hh:68708:5: instantiated from 'Parma_Polyhedra_Library::Constraint_System Parma_Polyhedra_Library::BD_Shape<T>::constraints() const [with T = char]' ../../src/ppl.hh:38065:3: instantiated from 'Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron(const Parma_Polyhedra_Library::BD_Shape&, Parma_Polyhedra_Library::Complexity_Class) [with U = char]' ppl_c_Polyhedron.cc:159:42: instantiated from here ../../src/ppl.hh:5031:1: error: incomplete type 'Parma_Polyhedra_Library::Checked::sgn_function_struct<Parma_Polyhedra_Library::WRD_Extended_Number_Policy, char>' used in nested name specifier ../../src/ppl.hh: In function 'Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::assign_special(Type&, Parma_Polyhedra_Library::Result_Class, Parma_Polyhedra_Library::Rounding_Dir) [with Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Type = char]': ../../src/ppl.hh:5045:1: warning: control reaches end of non-void function ../../src/ppl.hh: In function 'Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::assign(To&, const From&, Parma_Polyhedra_Library::Rounding_Dir) [with Policy1 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Policy2 = Parma_Polyhedra_Library::Checked_Number_Transparent_Policy<int>, To = char, From = int]': ../../src/ppl.hh:5051:1: warning: control reaches end of non-void function ../../src/ppl.hh: In function 'bool Parma_Polyhedra_Library::Checked::is_nan(const Type&) [with Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Type = char]': ../../src/ppl.hh:5037:1: warning: control reaches end of non-void function ../../src/ppl.hh: In function 'bool Parma_Polyhedra_Library::Checked::is_minf(const Type&) [with Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Type = char]': ../../src/ppl.hh:5039:1: warning: control reaches end of non-void function ../../src/ppl.hh: In function 'bool Parma_Polyhedra_Library::Checked::is_pinf(const Type&) [with Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Type = char]': ../../src/ppl.hh:5041:1: warning: control reaches end of non-void function ../../src/ppl.hh: In function 'Parma_Polyhedra_Library::Result_Relation Parma_Polyhedra_Library::Checked::sgn(const From&) [with Policy = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, From = char]': ../../src/ppl.hh:5031:1: warning: control reaches end of non-void function ../../src/ppl.hh: In function 'Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::add(To&, const From1&, const From2&, Parma_Polyhedra_Library::Rounding_Dir) [with Policy1 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Policy2 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Policy3 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, To = char, From1 = char, From2 = char]': ../../src/ppl.hh:5065:1: warning: control reaches end of non-void function ../../src/ppl.hh: In function 'Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::neg(To&, const From&, Parma_Polyhedra_Library::Rounding_Dir) [with Policy1 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, Policy2 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, To = char, From = char]': ../../src/ppl.hh:5059:1: warning: control reaches end of non-void function ../../src/ppl.hh: In function 'Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::assign(To&, const From&, Parma_Polyhedra_Library::Rounding_Dir) [with Policy1 = Parma_Polyhedra_Library::Check_Overflow_Policy<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >, Policy2 = Parma_Polyhedra_Library::WRD_Extended_Number_Policy, To = __gmp_expr<__mpq_struct [1], __mpq_struct [1]>, From = char]': ../../src/ppl.hh:5051:1: warning: control reaches end of non-void function make[6]: *** [ppl_c_Polyhedron.lo] Error 1 make[6]: Leaving directory `/export/medusa/dclarke/build/GCC/4.5.2-RC/ppl/i386/ppl-0.11.1pre2.004/interfaces/C' make[5]: *** [all-recursive] Error 1 make[5]: Leaving directory `/export/medusa/dclarke/build/GCC/4.5.2-RC/ppl/i386/ppl-0.11.1pre2.004/interfaces/C' make[4]: *** [all] Error 2 make[4]: Leaving directory `/export/medusa/dclarke/build/GCC/4.5.2-RC/ppl/i386/ppl-0.11.1pre2.004/interfaces/C' make[3]: *** [all-recursive] Error 1 make[3]: Leaving directory `/export/medusa/dclarke/build/GCC/4.5.2-RC/ppl/i386/ppl-0.11.1pre2.004/interfaces' make[2]: *** [all] Error 2 make[2]: Leaving directory `/export/medusa/dclarke/build/GCC/4.5.2-RC/ppl/i386/ppl-0.11.1pre2.004/interfaces' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/export/medusa/dclarke/build/GCC/4.5.2-RC/ppl/i386/ppl-0.11.1pre2.004' make: *** [all] Error 2 -- Dennis Clarke dclarke(a)opensolaris.ca <- Email related to the open source Solaris dclarke(a)blastwave.org <- Email related to open source for Solaris

2 2

[GIT] ppl/ppl(master): Added a workaround to a space efficiency bug affecting MIP_Problem.
by Enea Zaffanella 19 Dec '10

19 Dec '10

Module: ppl/ppl Branch: master Commit: 96604c0b36129ddc2ab6079a11c3babfb4dc69cd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96604c0b3612… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Dec 19 12:05:02 2010 +0100 Added a workaround to a space efficiency bug affecting MIP_Problem. The baseline patch has been contributed by Marco Poletti. MIP_Problem now stores the input constraints as a sequence of Constraint*. In this sequence, we distinguish between owned constraints (whose resources are under control of the current MIP_Problem object) and inherited constraints (whose resources are shared with, and owned by, another MIP_Problem object). When starting a branch-and-bound computation looking for an integral feasible/optimal solution, we now inherit (rather than copy) the input constraints. The workaround greatly improves space/time efficiency on (mixed) integral problems, also providing a (simple and reasonable) partial solution to https://www.cs.unipr.it/mantis/view.php?id=62 The solution is still partial: a complete solution requires the implementation of a backtracking mechanism for incrementally added constraints. --- src/MIP_Problem.cc | 78 +++++++++++++++++----- src/MIP_Problem.defs.hh | 90 ++++++++++++++++++++++++-- src/MIP_Problem.inlines.hh | 147 ++++++++++++++++++++++++++++++++++++++++-- src/MIP_Problem.templates.hh | 6 +- 4 files changed, 288 insertions(+), 33 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=96604c0b…

1 0

1 of 11 tests failed with ppl-0.10.2 on Solaris i386
by Dennis Clarke 19 Dec '10

19 Dec '10

After making the changes suggested earlier I now get this result : . . . /usr/local/gcc4/bin/g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src -I../../src -I../../tests -I../../utils -DNDEBUG=1 -I/usr/local/include -g -O2 -march=i386 -frounding-math -march=i386 -malign-double -mpreferred-stack-boundary=8 -m32 -O3 -Qy -fexceptions -D_TS_ERRNO -march=i386 -malign-double -mpreferred-stack-boundary=8 -m32 -O3 -Qy -fexceptions -D_TS_ERRNO -W -Wall -MT partiallyreducedproduct4.o -MD -MP -MF .deps/partiallyreducedproduct4.Tpo -c -o partiallyreducedproduct4.o partiallyreducedproduct4.cc mv -f .deps/partiallyreducedproduct4.Tpo .deps/partiallyreducedproduct4.Po /bin/bash ../../libtool --tag=CXX --mode=link /usr/local/gcc4/bin/g++ -g -O2 -march=i386 -frounding-math -march=i386 -malign-double -mpreferred-stack-boundary=8 -m32 -O3 -Qy -fexceptions -D_TS_ERRNO -march=i386 -malign-double -mpreferred-stack-boundary=8 -m32 -O3 -Qy -fexceptions -D_TS_ERRNO -W -Wall -o partiallyreducedproduct4 partiallyreducedproduct4.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/libppl.la -lm -L/usr/local/lib -lgmpxx -L/usr/local/lib -lgmp -R/usr/local/lib -R/usr/local/lib libtool: link: /usr/local/gcc4/bin/g++ -g -O2 -march=i386 -frounding-math -march=i386 -malign-double -mpreferred-stack-boundary=8 -m32 -O3 -Qy -fexceptions -D_TS_ERRNO -march=i386 -malign-double -mpreferred-stack-boundary=8 -m32 -O3 -Qy -fexceptions -D_TS_ERRNO -W -Wall -o .libs/partiallyreducedproduct4 partiallyreducedproduct4.o ../../utils/libppl_utils.a ../../tests/libppl_tests.a ../../src/.libs/libppl.so -L/usr/local/lib /usr/local/lib/libgmpxx.so /usr/local/gcc4/lib/libstdc++.so -lm /usr/local/lib/libgmp.so -Wl,-R -Wl,/usr/local/lib -Wl,-R -Wl,/usr/local/gcc4/lib ld: warning: file /usr/local/gcc4/lib/gcc/i386-pc-solaris2.8/4.4.4/../../../libstdc++.so: linked to /usr/local/gcc4/lib/libstdc++.so: attempted multiple inclusion of file make[3]: Leaving directory `/export/medusa/dclarke/build/GCC/4.5.2-RC/ppl/i386/ppl-0.10.2.002/tests/Partially_Reduced_Product' make check-TESTS make[3]: Entering directory `/export/medusa/dclarke/build/GCC/4.5.2-RC/ppl/i386/ppl-0.10.2.002/tests/Partially_Reduced_Product' Cannot open `ascii_dump_load1.dat' for writing FAIL: asciidumpload1 PASS: directproduct1 PASS: directproduct2 PASS: directproduct3 PASS: directproduct4 PASS: directproduct5 PASS: directproduct6 PASS: partiallyreducedproduct1 PASS: partiallyreducedproduct2 PASS: partiallyreducedproduct3 PASS: partiallyreducedproduct4 ====================================== 1 of 11 tests failed Please report to ppl-devel(a)cs.unipr.it ====================================== make[3]: *** [check-TESTS] Error 1 make[3]: Leaving directory `/export/medusa/dclarke/build/GCC/4.5.2-RC/ppl/i386/ppl-0.10.2.002/tests/Partially_Reduced_Product' make[2]: *** [check-am] Error 2 make[2]: Leaving directory `/export/medusa/dclarke/build/GCC/4.5.2-RC/ppl/i386/ppl-0.10.2.002/tests/Partially_Reduced_Product' make[1]: *** [check-recursive] Error 1 make[1]: Leaving directory `/export/medusa/dclarke/build/GCC/4.5.2-RC/ppl/i386/ppl-0.10.2.002/tests' make: *** [check-recursive] Error 1 -- Dennis Clarke dclarke(a)opensolaris.ca <- Email related to the open source Solaris dclarke(a)blastwave.org <- Email related to open source for Solaris

2 1

[GIT] ppl/ppl(ppl-0_11-branch): No longer include BD_Shape<int8_t> among the instantiations enabled by default.
by Roberto Bagnara 19 Dec '10

19 Dec '10

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 65378e0958b93f129e57d8dcf2b4dd52b306385f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65378e0958b9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Dec 19 11:02:55 2010 +0100 No longer include BD_Shape<int8_t> among the instantiations enabled by default. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 898e077..3d6f4cd 100644 --- a/configure.ac +++ b/configure.ac @@ -1174,7 +1174,7 @@ fi # Different instantiations are separated by a '@' character. di=" Polyhedron @ Grid" di="${di} @ Rational_Box" -di="${di} @ BD_Shape<int8_t> @ BD_Shape<mpz_class> @ BD_Shape<mpq_class>" +di="${di} @ BD_Shape<mpz_class> @ BD_Shape<mpq_class>" di="${di} @ Octagonal_Shape<mpz_class> @ Octagonal_Shape<mpq_class>" di="${di} @ Constraints_Product<C_Polyhedron, Grid>" di="${di} @ Pointset_Powerset<C_Polyhedron>"

1 0