April 2002 - PPL-devel - BUGSENG Mailman

New ICE in 3.1 branch: remove_eh_handler, at except.c:2696
by Roberto Bagnara 12 Apr '02

12 Apr '02

Dear all, I am monitoring the 3.1 branch and making frequent cvs updates and rebuilds so as to make sure that the to-be-released 3.1 and my software go well together. A few days ago the following started happening: $ /opt/bin/g++ -c ppl_c.ii /home/roberto/ppl/ppl/interfaces/C/ppl_c.cc: In function `int ppl_Coefficient_OK(const ppl_Coefficient_tag*)': /home/roberto/ppl/ppl/interfaces/C/ppl_c.cc:196: Internal compiler error in remove_eh_handler, at except.c:2696 Please submit a full bug report, with preprocessed source if appropriate. See <URL:http://www.gnu.org/software/gcc/bugs.html> for instructions. Last time I tried was 8 hours ago with $ /opt/bin/g++ -v Reading specs from /opt/lib/gcc-lib/i686-pc-linux-gnu/3.1/specs Configured with: ../gcc/configure --prefix=/opt : (reconfigured) ../gcc/configure --prefix=/opt Thread model: single gcc version 3.1 20020411 (prerelease) The same code compiles OK with GCC 3.0.4. The testcase ppl_c.ii will be available for some time at ftp://ftp.cs.unipr.it/pub/ppl_c.ii.bz2 I hope this helps. All the best Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/interfaces/Prolog Makefile.am ppl_prolog.i ...
by Roberto Bagnara 11 Apr '02

11 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-11 18:32:38 Modified files: interfaces/Prolog: Makefile.am ppl_prolog.icc Added files: interfaces/Prolog: Interval.hh Log message: Progress in the implementation of ppl_get_bounding_box(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Interval.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog Makefile.am GNU/ppl_gpro ...
by Roberto Bagnara 11 Apr '02

11 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-11 18:30:05 Modified files: interfaces/Prolog: Makefile.am interfaces/Prolog/GNU: ppl_gprolog.cc interfaces/Prolog/SICStus: ppl_sicstus.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/YAP: ppl_yap.cc Added files: interfaces/Prolog: ppl_prolog.icc Removed files: interfaces/Prolog: ppl_prolog.outlines.hh Log message: The file `ppl_prolog.outlines.hh' has been renamed `ppl_prolog.icc'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

w3ppl/htdocs/templates tail.tmpl
by Roberto Bagnara 11 Apr '02

11 Apr '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-04-11 10:40:32 Modified files: htdocs/templates: tail.tmpl Log message: The DATE_FORMAT variable was misused. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/templates/tail.tmpl.…

1 0

ppl/src Generator.cc
by Enea Zaffanella 10 Apr '02

10 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-10 12:28:25 Modified files: src : Generator.cc Log message: The OK() function for Generator no longer checks that, for points, the epsilon coordinate is less than or equal to 1 (because strong minimization does not maintain this invariant). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…

1 0

ppl/interfaces/Prolog ppl_prolog.outlines.hh G ...
by Roberto Bagnara 10 Apr '02

10 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-10 10:13:11 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh Log message: Started playing with the ppl_get_bounding_box() interface function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… Modified files: interfaces/Prolog/GNU: ppl_gprolog.cc Log message: Prolog_raise_exception() implemented. Provided the ppl_Prolog_sysdep_init() hook for system-dependent initialization. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: Provided the ppl_Prolog_sysdep_init() hook for system-dependent initialization. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

w3ppl/htdocs/Documentation bibliography.raw pp ...
by Roberto Bagnara 10 Apr '02

10 Apr '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-04-10 09:40:31 Modified files: htdocs/Documentation: bibliography.raw ppl.bib Log message: NemhauserW88 fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Enea Zaffanella 09 Apr '02

09 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-09 18:19:47 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: Added methods const ConSys& Polyhedron::minimized_constraints() const; const GenSys& Polyhedron::minimized_generators() const; together with the corresponding (unoptimized) implementations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 08 Apr '02

08 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-08 22:35:54 Modified files: src : Polyhedron.cc Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src GenSys.cc GenSys.defs.hh Polyhedron.cc ...
by Enea Zaffanella 08 Apr '02

08 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-08 22:31:16 Modified files: src : GenSys.cc GenSys.defs.hh Polyhedron.cc Polyhedron.defs.hh Log message: Added first draft for the method Polyhedron::topological_closure_assign(). Also added method GenSys::add_corresponding_points(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0