February 2002 - PPL-devel - BUGSENG Mailman

Doxygen 1.2.13-20020210 segfaults
by Roberto Bagnara 18 Feb '02

18 Feb '02

Hi there, doxygen version 1.2.13-20020210 segfaults at the attached input. Here is what happens $ gdb /usr/local/bin/doxygen (gdb) run config Starting program: /usr/local/bin/doxygen config Program received signal SIGSEGV, Segmentation fault. 0x0814f616 in QGList::first() () (gdb) info stack #0 0x0814f616 in QGList::first() () #1 0x0805947a in findMember(Entry*, QCString, bool, bool) () #2 0x0805c5eb in findMemberDocumentation(Entry*) () #3 0x0805c045 in findMemberDocumentation(Entry*) () #4 0x0805c045 in findMemberDocumentation(Entry*) () #5 0x080684b5 in parseInput() () #6 0x08049b53 in main () #7 0x40105627 in __libc_start_main (main=0x8049b30 <main>, argc=2, ubp_av=0xbffffa44, init=0x8049450 <_init>, fini=0x81d6fc0 <_fini>, rtld_fini=0x4000dcc4 <_dl_fini>, stack_end=0xbffffa3c) at ../sysdeps/generic/libc-start.c:129 (gdb) Here are the version of doxygen, the version of the GCC compiler I have used to compile it, and the versions of the QT packages. $ /usr/local/bin/doxygen --version 1.2.13-20020210 $ g++ -v Reading specs from /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.0.3/specs Configured with: ../gcc-3.0.3/configure --prefix=/usr/local Thread model: single gcc version 3.0.3 $ rpm -qa | fgrep qt qt-designer-2.3.1-5 qt-devel-2.3.1-5 qt-2.3.1-5 In addition, it seems there is something wrong with Doxygen's CVS repository: the only thing I am able to get ouf of it is something like cvs server: [07:51:12] waiting for kp3softd's lock in /u/kp3softd/cvsroot cvs server: [07:51:42] waiting for kp3softd's lock in /u/kp3softd/cvsroot ... Many thanks for all the good work. 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/tests satisfies1.cc
by Roberto Bagnara 17 Feb '02

17 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-17 23:02:11 Modified files: tests : satisfies1.cc Log message: Avoid a compiler warning when NOISY is 0. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/satisfies1.cc.diff?cvsr…

1 0

ppl ./acinclude.m4 ./configure.ac interfaces/P ...
by Roberto Bagnara 17 Feb '02

17 Feb '02

1 0

ppl/tests bug6.dat
by Roberto Bagnara 15 Feb '02

15 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: roberto(a)cs.unipr.it 2002-02-15 16:55:41 Modified files: tests : bug6.dat Log message: This is the correct test data. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug6.dat.diff?cvsroot=p…

1 0

ppl/tests bug1.cc bug2.cc bug3.cc bug4.cc bug5 ...
by Roberto Bagnara 15 Feb '02

15 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: roberto(a)cs.unipr.it 2002-02-15 16:37:54 Modified files: tests : bug1.cc bug2.cc bug3.cc bug4.cc bug5.cc bug6.cc Log message: All the invocations of Polyhedron::OK() were misplaced. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug1.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug2.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug3.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug4.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug5.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug6.cc.diff?cvsroot=pp…

1 0

ppl/tests Makefile.am bug6.cc bug6.dat
by Roberto Bagnara 15 Feb '02

15 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: roberto(a)cs.unipr.it 2002-02-15 15:04:18 Modified files: tests : Makefile.am Added files: tests : bug6.cc bug6.dat Log message: bug6 shows that problems minimizations problems persist. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug6.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug6.dat.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl ./configure.ac src/Makefile.am src/Integer ...
by Roberto Bagnara 14 Feb '02

14 Feb '02

1 0

ppl/tests Makefile.am affineimage1.cc affine_i ...
by Roberto Bagnara 14 Feb '02

14 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-14 13:22:18 Modified files: tests : Makefile.am Added files: tests : affineimage1.cc Removed files: tests : affine_image1.cc Log message: For consistency, affine_image1.cc has been renamed affineimage1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affine_image1.cc.diff?c…

1 0

ppl/tests Makefile.am adddimensions1.cc convex ...
by Elisa Ricci 14 Feb '02

14 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-02-14 13:17:10 Modified files: tests : Makefile.am Added files: tests : adddimensions1.cc convexhull1.cc inters3.cc limitedwidening1.cc removedim4.cc Log message: Added tests for the functions Polyhedron::add_dimensions_and_project(), Polyhedron::convex_hull_assign(), Polyhedron::intersection_assign(), Polyhedron::limited_widening_assign() and Polyhedron::remove_higher_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions1.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/convexhull1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters3.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedwidening1.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim4.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 14 Feb '02

14 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-14 11:34:56 Modified files: src : Polyhedron.cc Log message: Added comments regarding the handling of the `sorted' flag in methods remove_dimensions and remove_higher_dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0