October 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron numberinput1.cc
by Matthew Mundell 07 Oct '05

07 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-10-07 18:43:40 Modified files: tests/Polyhedron: numberinput1.cc Log message: Update temporary comments. Increase stack space if large exponents are being used. Add directive TEST_LARGE_EXPONENTS, which controls the inclusion of tests with large exponents. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/numberinput1…

1 0

Segmentation fault in mpz_ui_pow_ui
by Matthew Mundell 07 Oct '05

07 Oct '05

In the Parma Polyhedron Library, using GMP 4.1.4, calls to mpz_ui_pow_ui with large exponents are resulting in segmentation faults. Below is a small test program which reproduces the fault. /* gmp-pow.c -- test mpz_ui_pow_ui */ #include <stdio.h> #include <stdlib.h> #include <gmp.h> int main () { // FIX 2.95 gmp-pow.c:13: parse error before `z' //printf ("GMP (version %s) mpz_ui_pow_ui test:\n\n", gmp_version); mpz_t z; mpz_init (z); #define NUM1 12345678 printf ("10^%li\n", (long) NUM1); mpz_ui_pow_ui (z, 10, NUM1); #define NUM2 123456789 printf ("10^%li\n", (long) NUM2); mpz_ui_pow_ui (z, 10, NUM2); return EXIT_SUCCESS; } Here is the test program output and a backtrace, from GDB. (gdb) r Starting program: /home/matt/src/tests/c/gmp-pow 10^12345678 10^123456789 Program received signal SIGSEGV, Segmentation fault. __gmpz_n_pow_ui (r=0xbf84e330, bp=0xbf84e314, bsize=1, e=15432098) at n_pow_ui.c:459 (gdb) bt #0 __gmpz_n_pow_ui (r=0xbf84e330, bp=0xbf84e314, bsize=1, e=15432098) at n_pow_ui.c:459 #1 0xb7f0e53c in __gmpz_ui_pow_ui (r=0xbe6d4224, b=10, e=3194831396) at ui_pow_ui.c:47 #2 0x08048562 in main () at gmp-pow.c:24 (gdb) The test program was compiled with commands like gcc -g -I. gmp-pow.c .libs/libgmp.a -o gmp-pow and the fault occurred when GMP was compiled with all versions of GCC that were tried. Most of these versions are listed below, with the associated GMP configure command(s) and the outputs of `uname -a', ./config.guess and ./configfsf.guess. `make check' on GMP passed in all cases. 2.95.4 20011002 (Debian prerelease) ./configure --enable-debugging CC=/usr/bin/gcc-2.95 CPPFLAGS=-fexceptionsa Linux cspcx95 2.6.13.2 #1 Fri Sep 30 19:00:13 BST 2005 i686 GNU/Linux athlon-pc-linux-gnu i686-pc-linux-gnu 3.3.3 20040412 (Red Hat Linux 3.3.3-7) ./configure --enable-cxx --enable-debugging CPPFLAGS=-fexceptions ./configure Linux cslin117.csunix.comp.leeds.ac.uk 2.6.10 #1 SMP Wed Jan 26 16:43:28 GMT 2005 i686 i686 i386 GNU/Linux pentium4-pc-linux-gnu i686-pc-linux-gnu 3.3.5 (Debian 1:3.3.5-8) ./configure --enable-cxx --enable-debugging CPPFLAGS=-fexceptions Linux cspcx95 2.6.13.2 #1 Fri Sep 30 19:00:13 BST 2005 i686 GNU/Linux athlon-pc-linux-gnu i686-pc-linux-gnu 3.4.4 20041218 (prerelease) (Debian 3.4.3-6) ./configure --enable-cxx --enable-debugging CC=/usr/bin/gcc-3.4 CXX=/usr/bin/g++-3.4 CPPFLAGS=-fexceptions Linux cspcx95 2.6.13.2 #1 Fri Sep 30 19:00:13 BST 2005 i686 GNU/Linux athlon-pc-linux-gnu i686-pc-linux-gnu Thanks.

2 3

Segmentation fault in mpz_ui_pow_ui
by Matthew Mundell 07 Oct '05

07 Oct '05

In the Parma Polyhedron Library, using GMP 4.1.4, calls to mpz_ui_pow_ui with large exponents are resulting in segmentation faults. Below is a small test program which reproduces the fault. /* gmp-pow.c -- test mpz_ui_pow_ui */ #include <stdio.h> #include <stdlib.h> #include <gmp.h> int main () { // FIX 2.95 gmp-pow.c:13: parse error before `z' //printf ("GMP (version %s) mpz_ui_pow_ui test:\n\n", gmp_version); mpz_t z; mpz_init (z); #define NUM1 12345678 printf ("10^%li\n", (long) NUM1); mpz_ui_pow_ui (z, 10, NUM1); #define NUM2 123456789 printf ("10^%li\n", (long) NUM2); mpz_ui_pow_ui (z, 10, NUM2); return EXIT_SUCCESS; } Here is the test program output and a backtrace, from GDB. (gdb) r Starting program: /home/matt/src/tests/c/gmp-pow 10^12345678 10^123456789 Program received signal SIGSEGV, Segmentation fault. __gmpz_n_pow_ui (r=0xbf84e330, bp=0xbf84e314, bsize=1, e=15432098) at n_pow_ui.c:459 (gdb) bt #0 __gmpz_n_pow_ui (r=0xbf84e330, bp=0xbf84e314, bsize=1, e=15432098) at n_pow_ui.c:459 #1 0xb7f0e53c in __gmpz_ui_pow_ui (r=0xbe6d4224, b=10, e=3194831396) at ui_pow_ui.c:47 #2 0x08048562 in main () at gmp-pow.c:24 (gdb) The test program was compiled with commands like gcc -g -I. gmp-pow.c .libs/libgmp.a -o gmp-pow and the fault occurred when GMP was compiled with all versions of GCC that were tried. Most of these versions are listed below, with the associated GMP configure command(s) and the ouputs of `uname -a', ./config.guess and ./configfsf.guess. `make check' on GMP passed in all cases. 2.95.4 20011002 (Debian prerelease) ./configure --enable-debugging CC=/usr/bin/gcc-2.95 CPPFLAGS=-fexceptionsa Linux cspcx95 2.6.13.2 #1 Fri Sep 30 19:00:13 BST 2005 i686 GNU/Linux athlon-pc-linux-gnu i686-pc-linux-gnu 3.3.3 20040412 (Red Hat Linux 3.3.3-7) ./configure --enable-cxx --enable-debugging CPPFLAGS=-fexceptions ./configure Linux cslin117.csunix.comp.leeds.ac.uk 2.6.10 #1 SMP Wed Jan 26 16:43:28 GMT 2005 i686 i686 i386 GNU/Linux pentium4-pc-linux-gnu i686-pc-linux-gnu 3.3.5 (Debian 1:3.3.5-8) ./configure --enable-cxx --enable-debugging CPPFLAGS=-fexceptions Linux cspcx95 2.6.13.2 #1 Fri Sep 30 19:00:13 BST 2005 i686 GNU/Linux athlon-pc-linux-gnu i686-pc-linux-gnu 3.4.4 20041218 (prerelease) (Debian 3.4.3-6) ./configure --enable-cxx --enable-debugging CC=/usr/bin/gcc-3.4 CXX=/usr/bin/g++-3.4 CPPFLAGS=-fexceptions Linux cspcx95 2.6.13.2 #1 Fri Sep 30 19:00:13 BST 2005 i686 GNU/Linux athlon-pc-linux-gnu i686-pc-linux-gnu Thanks.

1 0

ppl/src Polyhedra_Powerset.inlines.hh Polyhedr ...
by Enea Zaffanella 07 Oct '05

07 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-07 14:19:42 Modified files: src : Polyhedra_Powerset.inlines.hh Polyhedra_Powerset.cc Log message: Applied workaround to a gcc bug affecting version 3.3.3. See http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13635. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.cc.dif…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Enea Zaffanella 06 Oct '05

06 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-06 18:29:17 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: In the first line comment, mentioned that the simplex solver can be used too. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Enea Zaffanella 06 Oct '05

06 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-06 18:28:06 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Too long line has been split. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/interfaces/C ppl_c.h.in
by Enea Zaffanella 06 Oct '05

06 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-06 18:26:34 Modified files: interfaces/C : ppl_c.h.in Log message: The Linear Programming demo is now in demos/ppl_lpsol/. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?…

1 0

Spacing problem with Doxygen 1.4.5
by Enea Zaffanella 06 Oct '05

06 Oct '05

Dear Dimitri, there is a spacing problem affecting the LaTeX output. An inline math formula followed by a punctuation symbol, such as some words \f$x + y\f$, some other words is translated into some words $x + y$ , some other words where there is a spurious space between the closing dollar and the punctuation symbols. The solution is just to comment away line 962 of file commentscan.l (release 1.4.5), i.e., ================================================================= /* -------------- Rules for handling formulas ---------------- */ <ReadFormulaShort>{CMD}"f$" { // end of inline formula formulaText+="$"; addOutput(addFormula()); // addOutput(' '); BEGIN(Comment); } ================================================================= This seems to work well when generating both the html and LaTeX documentation of the PPL. Cheers, Enea Zaffanella.

1 0

ppl/tests/Polyhedron numberinput1.cc
by Matthew Mundell 06 Oct '05

06 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-10-06 17:59:06 Modified files: tests/Polyhedron: numberinput1.cc Log message: Improve formatting and messages slightly. Take out the "fix" macro. Group tests into functions. Add tests which expect characters trailing the number. Add a test of the exponent size limit. Revise temporary comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/numberinput1…

1 0

ppl/tests/Polyhedron numberinput1.cc
by Matthew Mundell 06 Oct '05

06 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-10-06 12:26:03 Modified files: tests/Polyhedron: numberinput1.cc Log message: Take out tracing function dump_mpz_ptr. Only print output on error. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/numberinput1…

1 0