October 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 08 Oct '08

08 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-08 16:59:58 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: A number of small improvements and typos fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

Again on PPL + SWI + Debian
by Valerio Senni 08 Oct '08

08 Oct '08

The following test under SWI succeeds. It seems simply to be a problem of the "ppl_pl" executable. Valerio valerio:~/ppl-0.10pre32/interfaces/Prolog/tests$ swipl Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 5.6.58) Copyright (c) 1990-2008 University of Amsterdam. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions. Please visit http://www.swi-prolog.org for details. For help, use ?- help(Topic). or ?- apropos(Word). ?- consult('/usr/local/lib/ppl/ppl_swiprolog.pl'). % /usr/local/lib/ppl/ppl_swiprolog.pl compiled 0.08 sec, 452,940 bytes true. ?- [pl_check]. % pl_check compiled 0.05 sec, 152,096 bytes true. ?- assert(prolog_system(swi)). true. ?- check_noisy. Version major is 0 Version minor is 10 Version revision is 0 Version beta is 32 Version is 0.10pre32 This is the Parma Polyhedra Library (PPL) version 0.10pre32. Copyright (C) 2001-2008 Roberto Bagnara <bagnara(a)cs.unipr.it>. The PPL is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Compiled by the GNU C++ compiler version 4.1.2 20061115 (prerelease) (Debian 4.1.1-21). Report bugs to ppl-devel(a)cs.unipr.it. For the most up-to-date information see the Parma Polyhedra Library site: http://www.cs.unipr.it/ppl/ . Contributors: Roberto Bagnara, Patricia M. Hill, Enea Zaffanella, Elisa Ricci, Abramo Bagnara, Andrea Cimino, Katy Dobson, Elena Mazzi, Andrea Pescetti, Barbara Quartieri, Alessandro Zaccagnini, Irene Bacchi, Danilo Bonardi, Sara Bonini, Giordano Fracasso, Maximiliano Marchesi, David Merchat, Matthew Mundell, Angela Stazzone, Fabio Trabucchi, Claudio Trento, Tatiana Zolo. Special thanks: Lucia Alessandrini, Marco Comini, Bruno Haible, Bertrand Jeannet Herve' Le Verge, Francesco Logozzo, Costantino Medori, Fred Mesnard. ... true. ?-

1 0

Re: [PPL-devel] Again on PPL + SWI + Debian
by Valerio Senni 08 Oct '08

08 Oct '08

Hello, thank you again for your help. Sorry for being silent these days, but it took me some time to compile PPL-0.10 on a P3 900 MHz (2days and 1.5GB hard disk, remarkable!). PPL-0.10 seems to compile just fine. All tests have been passed. The executable "ppl_sicstus" works fine, tests passed. However, when I start "ppl_pl" I get this error: ppl_pl: error while loading shared libraries: libppl_swiprolog.so: cannot open shared object file: No such file or directory The file is indeed there, I have correct permissions, as you can see: drwxr-xr-x 2 root root 4096 2008-10-08 09:52 ppl and $ ls -l /usr/local/lib/ppl/ total 146144 -rw-r--r-- 1 root root 48873006 2008-10-08 09:52 libppl_swiprolog.a -rwxr-xr-x 1 root root 1113 2008-10-08 09:51 libppl_swiprolog.la -rwxr-xr-x 1 root root 25061241 2008-10-08 09:51 libppl_swiprolog.so -rw-r--r-- 1 root root 1076 2008-10-08 09:51 ppl_sicstus.pl -rwxr-xr-x 1 root root 26361088 2008-10-08 09:51 ppl_sicstus.so -rw-r--r-- 1 root root 49170313 2008-10-08 09:51 ppl_sicstus.s.o -rw-r--r-- 1 root root 988 2008-10-08 09:51 ppl_swiprolog.pl I have also added the following lines to my ".bash_profile": LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib:/usr/local/lib/ppl export LD_LIBRARY_PATH LD_RUN_PATH=$LD_RUN_PATH:/usr/local/lib:/usr/local/lib/ppl export LD_RUN_PATH I don't really get what's going on here. I suppose I have a problem with my installation of SWI prolog 5.6.58 (which, indeed, has been installed by using the standard apt-get package manager). Sorry for these complications, it seems like I'm not very lucky with PPL :) Valerio On Tue, Oct 7, 2008 at 10:22 PM, Roberto Bagnara <bagnara(a)cs.unipr.it>wrote: > Valerio Senni wrote: > >> Hello again, >> > > Hi Valerio. > > By looking into the 'pl_check.pl' file and running some tests >> I discovered that the large integers and the handle_exceptions tests >> fail and return exactly the error given during the 'make check'. >> In attachment I provide the details of these tests. >> This seems to answer my question on the reliability of my PPL >> installation. >> > > Yes, the answer is reliability == 0 :-) > > How can I solve this problem? >> > > The first thing to do is to switch to PPL 0.10. If the problem persists, > we need more details on your environment. > > In attachment 3 I provide also a detailed SWI trace of the error generated >> in the procedure handle_exceptions. Hope that this data can be useful. >> > > Unfortunately I am not able to reproduce your observations here. > 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/OCaml ppl_interface_generator_o ...
by Patricia Hill 08 Oct '08

08 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-08 08:47:42 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_mli.m4 interfaces/OCaml/tests: ppl_interface_generator_ocaml_test_ml_code.m4 Log message: Include the type declarations from ppl_ocaml_types.ml in the generated ppl_ocaml.mli. Fixed a bug in the generated tests file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_in…

1 0

ppl/interfaces/Prolog/SWI Makefile.am
by Roberto Bagnara 08 Oct '08

08 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-08 08:13:42 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: Conditionally run tests under Valgrind. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

configure problem when gmpxx is not installed in standard location
by Sebastian Pop 08 Oct '08

08 Oct '08

Hi, I found that PPL stops in configure when using --with-libgmpxx-prefix as it does not use the -I path to gmpxx and the gmpxx.h is not found. I managed to get around by setting the appropriate -I path in CXXFLAGS, and then configure stops again because it does not find the gmpxx lib, so I fixed temporarily this with setting LDFLAGS with the right -L path. I think that there is a missing bit in the configury files. This is with pre24 and also in the last pre32. Sebastian

2 3

Some details on the problem with SWI and Debian
by Valerio Senni 07 Oct '08

07 Oct '08

Hello again, By looking into the 'pl_check.pl' file and running some tests I discovered that the large integers and the handle_exceptions tests fail and return exactly the error given during the 'make check'. In attachment I provide the details of these tests. This seems to answer my question on the reliability of my PPL installation. How can I solve this problem? In attachment 3 I provide also a detailed SWI trace of the error generated in the procedure handle_exceptions. Hope that this data can be useful. Thank you, Valerio Senni % ATTACHMENT 1: ============================= % run_one(large_integers). valerio:~$ ppl_pl Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 5.6.58) Copyright (c) 1990-2008 University of Amsterdam. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions. Please visit http://www.swi-prolog.org for details. For help, use ?- help(Topic). or ?- apropos(Word). ?- consult('~/libppl-0.9/interfaces/Prolog/SWI/swi_pl_check.pl'). Warning: /home/valerio/libppl-0.9/interfaces/Prolog/SWI/pl_check.pl:2551: Singleton-marked variables appearing more than once: [_X] % pl_check.pl compiled 0.05 sec, 146,196 bytes % /home/valerio/libppl-0.9/interfaces/Prolog/SWI/swi_pl_check.pl compiled 0.06 sec, 148,240 bytes true. ?- run_one(large_integers). At the Prolog/C++ interface, the numbers tested are: -2 = 1 * ((1 << 0 ) + -3 ), 2 = -1 * ((1 << 0 ) + -3 ), -1 = 1 * ((1 << 0 ) + -2 ), 1 = -1 * ((1 << 0 ) + -2 ), 0 = 1 * ((1 << 0 ) + -1 ), 0 = -1 * ((1 << 0 ) + -1 ), 1 = 1 * ((1 << 0 ) + 0 ), -1 = -1 * ((1 << 0 ) + 0 ), 2 = 1 * ((1 << 0 ) + 1 ), -2 = -1 * ((1 << 0 ) + 1 ), 3 = 1 * ((1 << 0 ) + 2 ), -3 = -1 * ((1 << 0 ) + 2 ), 4 = 1 * ((1 << 0 ) + 3 ), -4 = -1 * ((1 << 0 ) + 3 ), 125 = 1 * ((1 << 7 ) + -3 ), -125 = -1 * ((1 << 7 ) + -3 ), 126 = 1 * ((1 << 7 ) + -2 ), -126 = -1 * ((1 << 7 ) + -2 ), 127 = 1 * ((1 << 7 ) + -1 ), -127 = -1 * ((1 << 7 ) + -1 ), 128 = 1 * ((1 << 7 ) + 0 ), -128 = -1 * ((1 << 7 ) + 0 ), 129 = 1 * ((1 << 7 ) + 1 ), -129 = -1 * ((1 << 7 ) + 1 ), 130 = 1 * ((1 << 7 ) + 2 ), -130 = -1 * ((1 << 7 ) + 2 ), 131 = 1 * ((1 << 7 ) + 3 ), -131 = -1 * ((1 << 7 ) + 3 ), 253 = 1 * ((1 << 8 ) + -3 ), -253 = -1 * ((1 << 8 ) + -3 ), 254 = 1 * ((1 << 8 ) + -2 ), -254 = -1 * ((1 << 8 ) + -2 ), 255 = 1 * ((1 << 8 ) + -1 ), -255 = -1 * ((1 << 8 ) + -1 ), 256 = 1 * ((1 << 8 ) + 0 ), -256 = -1 * ((1 << 8 ) + 0 ), 257 = 1 * ((1 << 8 ) + 1 ), -257 = -1 * ((1 << 8 ) + 1 ), 258 = 1 * ((1 << 8 ) + 2 ), -258 = -1 * ((1 << 8 ) + 2 ), 259 = 1 * ((1 << 8 ) + 3 ), -259 = -1 * ((1 << 8 ) + 3 ), 32765 = 1 * ((1 << 15 ) + -3 ), -32765 = -1 * ((1 << 15 ) + -3 ), 32766 = 1 * ((1 << 15 ) + -2 ), -32766 = -1 * ((1 << 15 ) + -2 ), 32767 = 1 * ((1 << 15 ) + -1 ), -32767 = -1 * ((1 << 15 ) + -1 ), 32768 = 1 * ((1 << 15 ) + 0 ), -32768 = -1 * ((1 << 15 ) + 0 ), 32769 = 1 * ((1 << 15 ) + 1 ), -32769 = -1 * ((1 << 15 ) + 1 ), 32770 = 1 * ((1 << 15 ) + 2 ), -32770 = -1 * ((1 << 15 ) + 2 ), 32771 = 1 * ((1 << 15 ) + 3 ), -32771 = -1 * ((1 << 15 ) + 3 ), 65533 = 1 * ((1 << 16 ) + -3 ), -65533 = -1 * ((1 << 16 ) + -3 ), 65534 = 1 * ((1 << 16 ) + -2 ), -65534 = -1 * ((1 << 16 ) + -2 ), 65535 = 1 * ((1 << 16 ) + -1 ), -65535 = -1 * ((1 << 16 ) + -1 ), 65536 = 1 * ((1 << 16 ) + 0 ), -65536 = -1 * ((1 << 16 ) + 0 ), 65537 = 1 * ((1 << 16 ) + 1 ), -65537 = -1 * ((1 << 16 ) + 1 ), 65538 = 1 * ((1 << 16 ) + 2 ), -65538 = -1 * ((1 << 16 ) + 2 ), 65539 = 1 * ((1 << 16 ) + 3 ), -65539 = -1 * ((1 << 16 ) + 3 ), 134217725 = 1 * ((1 << 27 ) + -3 ), -134217725 = -1 * ((1 << 27 ) + -3 ), 134217726 = 1 * ((1 << 27 ) + -2 ), -134217726 = -1 * ((1 << 27 ) + -2 ), 134217727 = 1 * ((1 << 27 ) + -1 ), -134217727 = -1 * ((1 << 27 ) + -1 ), 134217728 = 1 * ((1 << 27 ) + 0 ), -134217728 = -1 * ((1 << 27 ) + 0 ), 134217729 = 1 * ((1 << 27 ) + 1 ), -134217729 = -1 * ((1 << 27 ) + 1 ), 134217730 = 1 * ((1 << 27 ) + 2 ), -134217730 = -1 * ((1 << 27 ) + 2 ), 134217731 = 1 * ((1 << 27 ) + 3 ), -134217731 = -1 * ((1 << 27 ) + 3 ), 268435453 = 1 * ((1 << 28 ) + -3 ), -268435453 = -1 * ((1 << 28 ) + -3 ), 268435454 = 1 * ((1 << 28 ) + -2 ), -268435454 = -1 * ((1 << 28 ) + -2 ), 268435455 = 1 * ((1 << 28 ) + -1 ), -268435455 = -1 * ((1 << 28 ) + -1 ), 268435456 = 1 * ((1 << 28 ) + 0 ), -268435456 = -1 * ((1 << 28 ) + 0 ), 268435457 = 1 * ((1 << 28 ) + 1 ), -268435457 = -1 * ((1 << 28 ) + 1 ), 268435458 = 1 * ((1 << 28 ) + 2 ), -268435458 = -1 * ((1 << 28 ) + 2 ), 268435459 = 1 * ((1 << 28 ) + 3 ), -268435459 = -1 * ((1 << 28 ) + 3 ), 536870909 = 1 * ((1 << 29 ) + -3 ), -536870909 = -1 * ((1 << 29 ) + -3 ), 536870910 = 1 * ((1 << 29 ) + -2 ), -536870910 = -1 * ((1 << 29 ) + -2 ), 536870911 = 1 * ((1 << 29 ) + -1 ), -536870911 = -1 * ((1 << 29 ) + -1 ), 536870912 = 1 * ((1 << 29 ) + 0 ), -536870912 = -1 * ((1 << 29 ) + 0 ), 536870913 = 1 * ((1 << 29 ) + 1 ), -536870913 = -1 * ((1 << 29 ) + 1 ), 536870914 = 1 * ((1 << 29 ) + 2 ), -536870914 = -1 * ((1 << 29 ) + 2 ), 536870915 = 1 * ((1 << 29 ) + 3 ), -536870915 = -1 * ((1 << 29 ) + 3 ), 1073741821 = 1 * ((1 << 30 ) + -3 ), -1073741821 = -1 * ((1 << 30 ) + -3 ), 1073741822 = 1 * ((1 << 30 ) + -2 ), -1073741822 = -1 * ((1 << 30 ) + -2 ), 1073741823 = 1 * ((1 << 30 ) + -1 ), -1073741823 = -1 * ((1 << 30 ) + -1 ), 1073741824 = 1 * ((1 << 30 ) + 0 ), -1073741824 = -1 * ((1 << 30 ) + 0 ), 1073741825 = 1 * ((1 << 30 ) + 1 ), -1073741825 = -1 * ((1 << 30 ) + 1 ), 1073741826 = 1 * ((1 << 30 ) + 2 ), -1073741826 = -1 * ((1 << 30 ) + 2 ), 1073741827 = 1 * ((1 << 30 ) + 3 ), -1073741827 = -1 * ((1 << 30 ) + 3 ), 2147483645 = 1 * ((1 << 31 ) + -3 ), -2147483645 = -1 * ((1 << 31 ) + -3 ), 2147483646 = 1 * ((1 << 31 ) + -2 ), -2147483646 = -1 * ((1 << 31 ) + -2 ), 2147483647 = 1 * ((1 << 31 ) + -1 ), -2147483647 = -1 * ((1 << 31 ) + -1 ), 2147483648 = 1 * ((1 << 31 ) + 0 ), -2147483648 = -1 * ((1 << 31 ) + 0 ), 2147483649 = 1 * ((1 << 31 ) + 1 ), -2147483649 = -1 * ((1 << 31 ) + 1 ), 2147483650 = 1 * ((1 << 31 ) + 2 ), -2147483650 = -1 * ((1 << 31 ) + 2 ), 2147483651 = 1 * ((1 << 31 ) + 3 ), -2147483651 = -1 * ((1 << 31 ) + 3 ), 4294967293 = 1 * ((1 << 32 ) + -3 ), -4294967293 = -1 * ((1 << 32 ) + -3 ), 4294967294 = 1 * ((1 << 32 ) + -2 ), -4294967294 = -1 * ((1 << 32 ) + -2 ), 4294967295 = 1 * ((1 << 32 ) + -1 ), -4294967295 = -1 * ((1 << 32 ) + -1 ), 4294967296 = 1 * ((1 << 32 ) + 0 ), *** glibc detected *** ppl_pl: realloc(): invalid pointer: 0x081524dc *** ======= Backtrace: ========= /lib/i686/cmov/libc.so.6[0xb7b834f4] /lib/i686/cmov/libc.so.6(realloc+0x242)[0xb7b87b52] ppl_pl[0x8121b88] /usr/local/lib/libgmp.so.3(__gmpz_realloc+0x56)[0xb7e2a176] ======= Memory map: ======== 08048000-0814a000 r-xp 00000000 03:01 258598 /usr/local/bin/ppl_pl 0814a000-0814e000 rw-p 00101000 03:01 258598 /usr/local/bin/ppl_pl 0814e000-08222000 rw-p 0814e000 00:00 0 [heap] b26a6000-b26a7000 rw-p b26a6000 00:00 0 b26a7000-b26ae000 r--s 00000000 03:01 340151 /usr/lib/gconv/gconv-modules.cache b26ae000-b26ca000 rw-p b26ae000 00:00 0 b26ca000-b46ae000 ---p b26ca000 00:00 0 b46ae000-b46b2000 rw-p b46ae000 00:00 0 b46b2000-b56ae000 ---p b46b2000 00:00 0 b56ae000-b56b2000 rw-p b56ae000 00:00 0 b56b2000-b57aa000 ---p b56b2000 00:00 0 b57aa000-b57b2000 rw-p b57aa000 00:00 0 b57b2000-b77aa000 ---p b57b2000 00:00 0 b77aa000-b79da000 r--s 00000000 03:01 258598 /usr/local/bin/ppl_pl b79da000-b7b14000 r--p 00000000 03:01 32413 /usr/lib/locale/locale-archive b7b14000-b7b15000 rw-p b7b14000 00:00 0 b7b15000-b7c6a000 r-xp 00000000 03:01 84538 /lib/i686/cmov/libc-2.7.so b7c6a000-b7c6b000 r--p 00155000 03:01 84538 /lib/i686/cmov/libc-2.7.so b7c6b000-b7c6d000 rw-p 00156000 03:01 84538 /lib/i686/cmov/libc-2.7.so b7c6d000-b7c71000 rw-p b7c6d000 00:00 0 b7c71000-b7c86000 r-xp 00000000 03:01 84552 /lib/i686/cmov/ libpthread-2.7.so b7c86000-b7c88000 rw-p 00014000 03:01 84552 /lib/i686/cmov/ libpthread-2.7.so b7c88000-b7c8a000 rw-p b7c88000 00:00 0 b7c8a000-b7c94000 r-xp 00000000 03:01 48589 /lib/libgcc_s.so.1 b7c94000-b7c95000 rw-p 00009000 03:01 48589 /lib/libgcc_s.so.1 b7c95000-b7d6f000 r-xp 00000000 03:01 17506 /usr/lib/libstdc++.so.6.0.8 b7d6f000-b7d72000 r--p 000d9000 03:01 17506 /usr/lib/libstdc++.so.6.0.8 b7d72000-b7d74000 rw-p 000dc000 03:01 17506 /usr/lib/libstdc++.so.6.0.8 b7d74000-b7d7a000 rw-p b7d74000 00:00 0 b7d7a000-b7d7c000 r-xp 00000000 03:01 84541 /lib/i686/cmov/libdl-2.7.so b7d7c000-b7d7e000 rw-p 00001000 03:01 84541 /lib/i686/cmov/libdl-2.7.so b7d7e000-b7da2000 r-xp 00000000 03:01 84542 /lib/i686/cmov/libm-2.7.so b7da2000-b7da4000 rw-p 00023000 03:01 84542 /lib/i686/cmov/libm-2.7.so b7da4000-b7dd3000 r-xp 00000000 03:01 280553 /lib/libncurses.so.5.6 b7dd3000-b7dd6000 rw-p 0002f000 03:01 280553 /lib/libncurses.so.5.6 b7dd6000-b7dd7000 rw-p b7dd6000 00:00 0 b7dd7000-b7e02000 r-xp 00000000 03:01 48663 /lib/libreadline.so.5.2 b7e02000-b7e06000 rw-p 0002a000 03:01 48663 /lib/libreadline.so.5.2 b7e06000-b7e07000 rw-p b7e06000 00:00 0 b7e07000-b7e0e000 r-xp 00000000 03:01 84554 /lib/i686/cmov/librt-2.7.so b7e0e000-b7e10000 rw-p 00006000 03:01 84554 /lib/i686/cmov/librt-2.7.so b7e10000-b7e46000 r-xp 00000000 03:01 35349 /usr/local/lib/libgmp.so.3.4.4 b7e46000-b7e47000 rw-p 00035000 03:01 35349 /usr/local/lib/libgmp.so.3.4.4 b7e47000-b7e4b000 r-xp 00000000 03:01 35353 /usr/local/lib/libgmpxx.so.4.0.4 b7e4b000-b7e4c000 rw-p 00003000 03:01 35353 /usr/local/lib/libgmpxx.so.4.0.4 b7e4c000-b7e50000 r-xp 00000000 03:01 388691 /usr/local/lib/libpwl.so.3.0.0 b7e50000-b7e51000 rw-p 00003000 03:01 388691 /usr/local/lib/libpwl.so.3.0.0 b7e51000-b7ee4000 r-xp 00000000 03:01 388483 /usr/local/lib/libppl.so.6.0.0 b7ee4000-b7ee6000 rw-p 00092000 03:01 388483 /usr/local/lib/libppl.so.6.0.0 b7ee6000-b7ee7000 rw-p b7ee6000 00:00 0 b7ef5000-b7ef6000 rw-p b7ef5000 00:00 0 b7ef6000-b7ef7000 r-xp b7ef6000 00:00 0 [vdso] b7ef7000-b7f11000 r-xp 00000000 03:01 280602 /lib/ld-2.7.so b7f11000-b7f13000 rw-p 0001a000 03:01 280602 /lib/ld-2.7.so bf952000-bf968000 rw-p bf952000 00:00 0 [stack] Aborted valerio:~$ % ATTACHMENT 2: ============================= % run_one(handle_exceptions). ?- consult('~/libppl-0.9/interfaces/Prolog/SWI/swi_pl_check.pl'). Warning: /home/valerio/libppl-0.9/interfaces/Prolog/SWI/pl_check.pl:2551: Singleton-marked variables appearing more than once: [_X] % pl_check.pl compiled 0.05 sec, 146,196 bytes % /home/valerio/libppl-0.9/interfaces/Prolog/SWI/swi_pl_check.pl compiled 0.05 sec, 148,240 bytes true. ?- run_one(lp_problem). true. ?- run_one(transform_polyhedron). true. ?- run_one(handle_exceptions). *** glibc detected *** ppl_pl: realloc(): invalid pointer: 0x081524dc *** ======= Backtrace: ========= /lib/i686/cmov/libc.so.6[0xb7c674f4] /lib/i686/cmov/libc.so.6(realloc+0x242)[0xb7c6bb52] ppl_pl[0x8121b88] /usr/local/lib/libgmp.so.3(__gmpz_realloc+0x56)[0xb7f0e176] ======= Memory map: ======== 08048000-0814a000 r-xp 00000000 03:01 258598 /usr/local/bin/ppl_pl 0814a000-0814e000 rw-p 00101000 03:01 258598 /usr/local/bin/ppl_pl 0814e000-08222000 rw-p 0814e000 00:00 0 [heap] b278a000-b278b000 rw-p b278a000 00:00 0 b278b000-b2792000 r--s 00000000 03:01 340151 /usr/lib/gconv/gconv-modules.cache b2792000-b2796000 rw-p b2792000 00:00 0 b2796000-b4792000 ---p b2796000 00:00 0 b4792000-b4796000 rw-p b4792000 00:00 0 b4796000-b5792000 ---p b4796000 00:00 0 b5792000-b5796000 rw-p b5792000 00:00 0 b5796000-b588e000 ---p b5796000 00:00 0 b588e000-b5892000 rw-p b588e000 00:00 0 b5892000-b788e000 ---p b5892000 00:00 0 b788e000-b7abe000 r--s 00000000 03:01 258598 /usr/local/bin/ppl_pl b7abe000-b7bf8000 r--p 00000000 03:01 32413 /usr/lib/locale/locale-archive b7bf8000-b7bf9000 rw-p b7bf8000 00:00 0 b7bf9000-b7d4e000 r-xp 00000000 03:01 84538 /lib/i686/cmov/libc-2.7.so b7d4e000-b7d4f000 r--p 00155000 03:01 84538 /lib/i686/cmov/libc-2.7.so b7d4f000-b7d51000 rw-p 00156000 03:01 84538 /lib/i686/cmov/libc-2.7.so b7d51000-b7d55000 rw-p b7d51000 00:00 0 b7d55000-b7d6a000 r-xp 00000000 03:01 84552 /lib/i686/cmov/ libpthread-2.7.so b7d6a000-b7d6c000 rw-p 00014000 03:01 84552 /lib/i686/cmov/ libpthread-2.7.so b7d6c000-b7d6e000 rw-p b7d6c000 00:00 0 b7d6e000-b7d78000 r-xp 00000000 03:01 48589 /lib/libgcc_s.so.1 b7d78000-b7d79000 rw-p 00009000 03:01 48589 /lib/libgcc_s.so.1 b7d79000-b7e53000 r-xp 00000000 03:01 17506 /usr/lib/libstdc++.so.6.0.8 b7e53000-b7e56000 r--p 000d9000 03:01 17506 /usr/lib/libstdc++.so.6.0.8 b7e56000-b7e58000 rw-p 000dc000 03:01 17506 /usr/lib/libstdc++.so.6.0.8 b7e58000-b7e5e000 rw-p b7e58000 00:00 0 b7e5e000-b7e60000 r-xp 00000000 03:01 84541 /lib/i686/cmov/libdl-2.7.so b7e60000-b7e62000 rw-p 00001000 03:01 84541 /lib/i686/cmov/libdl-2.7.so b7e62000-b7e86000 r-xp 00000000 03:01 84542 /lib/i686/cmov/libm-2.7.so b7e86000-b7e88000 rw-p 00023000 03:01 84542 /lib/i686/cmov/libm-2.7.so b7e88000-b7eb7000 r-xp 00000000 03:01 280553 /lib/libncurses.so.5.6 b7eb7000-b7eba000 rw-p 0002f000 03:01 280553 /lib/libncurses.so.5.6 b7eba000-b7ebb000 rw-p b7eba000 00:00 0 b7ebb000-b7ee6000 r-xp 00000000 03:01 48663 /lib/libreadline.so.5.2 b7ee6000-b7eea000 rw-p 0002a000 03:01 48663 /lib/libreadline.so.5.2 b7eea000-b7eeb000 rw-p b7eea000 00:00 0 b7eeb000-b7ef2000 r-xp 00000000 03:01 84554 /lib/i686/cmov/librt-2.7.so b7ef2000-b7ef4000 rw-p 00006000 03:01 84554 /lib/i686/cmov/librt-2.7.so b7ef4000-b7f2a000 r-xp 00000000 03:01 35349 /usr/local/lib/libgmp.so.3.4.4 b7f2a000-b7f2b000 rw-p 00035000 03:01 35349 /usr/local/lib/libgmp.so.3.4.4 b7f2b000-b7f2f000 r-xp 00000000 03:01 35353 /usr/local/lib/libgmpxx.so.4.0.4 b7f2f000-b7f30000 rw-p 00003000 03:01 35353 /usr/local/lib/libgmpxx.so.4.0.4 b7f30000-b7f34000 r-xp 00000000 03:01 388691 /usr/local/lib/libpwl.so.3.0.0 b7f34000-b7f35000 rw-p 00003000 03:01 388691 /usr/local/lib/libpwl.so.3.0.0 b7f35000-b7fc8000 r-xp 00000000 03:01 388483 /usr/local/lib/libppl.so.6.0.0 b7fc8000-b7fca000 rw-p 00092000 03:01 388483 /usr/local/lib/libppl.so.6.0.0 b7fca000-b7fcb000 rw-p b7fca000 00:00 0 b7fd9000-b7fda000 rw-p b7fd9000 00:00 0 b7fda000-b7fdb000 r-xp b7fda000 00:00 0 [vdso] b7fdb000-b7ff5000 r-xp 00000000 03:01 280602 /lib/ld-2.7.so b7ff5000-b7ff7000 rw-p 0001a000 03:01 280602 /lib/ld-2.7.so bfbe9000-bfbff000 rw-p bfbe9000 00:00 0 [stack] Aborted valerio:~$ % ATTACHMENT 3: ============================= % run_one(handle_exceptions). TRACE valerio:~$ ppl_pl Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 5.6.58) Copyright (c) 1990-2008 University of Amsterdam. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions. Please visit http://www.swi-prolog.org for details. For help, use ?- help(Topic). or ?- apropos(Word). ?- consult('~/libppl-0.9/interfaces/Prolog/SWI/swi_pl_check.pl'). Warning: /home/valerio/libppl-0.9/interfaces/Prolog/SWI/pl_check.pl:2551: Singleton-marked variables appearing more than once: [_X] % pl_check.pl compiled 0.05 sec, 146,196 bytes % /home/valerio/libppl-0.9/interfaces/Prolog/SWI/swi_pl_check.pl compiled 0.05 sec, 148,240 bytes true. ?- trace. Unknown message: query(yes) [trace] ?- run_one(handle_exceptions). Call: (7) run_one(handle_exceptions) ? creep Call: (8) exceptions ? creep Call: (9) current_prolog_flag(bounded, _L209) ? skip Exit: (9) current_prolog_flag(bounded, false) ? creep Call: (9) make_vars(3, _L210) ? skip Exit: (9) make_vars(3, [A, B, C]) ? creep Call: (9) exception_prolog([A, B, C]) ? creep Call: (10) exception_prolog1(13, [A, B, C]) ? creep Call: (11) exception_prolog(13, [A, B, C]) ? creep Call: (12) must_catch(ppl_LP_Problem_space_dimension(_G384, _G385)) ? skip Exit: (12) must_catch(ppl_LP_Problem_space_dimension(_G384, _G385)) ? creep Call: (12) must_catch(ppl_LP_Problem_constraints(p, [])) ? skip Exit: (12) must_catch(ppl_LP_Problem_constraints(p, [])) ? creep Exit: (11) exception_prolog(13, [A, B, C]) ? creep ^ Call: (11) _L245 is 13-1 ? skip ^ Exit: (11) 12 is 13-1 ? creep Call: (11) exception_prolog1(12, [A, B, C]) ? creep Call: (12) exception_prolog(12, [A, B, C]) ? creep Call: (13) must_catch(ppl_new_C_Polyhedron_from_generators([point(A+B+C, 1)|not_a_list], _G394)) ? skip Exit: (13) must_catch(ppl_new_C_Polyhedron_from_generators([point(A+B+C, 1)|not_a_list], _G394)) ? creep Call: (13) must_catch(ppl_new_C_Polyhedron_from_constraints([A=0, B>=C|not_a_list], _G409)) ? skip Exit: (13) must_catch(ppl_new_C_Polyhedron_from_constraints([A=0, B>=C|not_a_list], _G409)) ? creep Call: (13) must_catch(ppl_new_C_Polyhedron_from_bounding_box(0, 0)) ? skip Exit: (13) must_catch(ppl_new_C_Polyhedron_from_bounding_box(0, 0)) ? creep Call: (13) must_catch(ppl_new_NNC_Polyhedron_from_bounding_box([i(c(minf), c(2/1)), i(c(n), o(pinf))|d], _G427)) ? skip Exit: (13) must_catch(ppl_new_NNC_Polyhedron_from_bounding_box([i(c(minf), c(2/1)), i(c(n), o(pinf))|d], _G427)) ? creep Call: (13) must_catch(ppl_new_C_Polyhedron_from_bounding_box([i(c(minf), c(2/1)), i(c(n), o(pinf))|_G469], _G453)) ? skip Exit: (13) must_catch(ppl_new_C_Polyhedron_from_bounding_box([i(c(minf), c(2/1)), i(c(n), o(pinf))|_G469], _G453)) ? creep Call: (13) clean_ppl_new_Polyhedron_from_space_dimension(nnc, 3, universe, _L284) ? skip Exit: (13) clean_ppl_new_Polyhedron_from_space_dimension(nnc, 3, universe, 523428) ? creep Call: (13) must_catch(ppl_Polyhedron_add_constraints(523428, _G479)) ? skip Exit: (13) must_catch(ppl_Polyhedron_add_constraints(523428, _G479)) ? creep Call: (13) must_catch(ppl_Polyhedron_add_constraints(523428, not_a_list)) ? skip Exit: (13) must_catch(ppl_Polyhedron_add_constraints(523428, not_a_list)) ? creep Call: (13) must_catch(ppl_Polyhedron_add_constraints_and_minimize(523428, not_a_list)) ? skip Exit: (13) must_catch(ppl_Polyhedron_add_constraints_and_minimize(523428, not_a_list)) ? creep Call: (13) must_catch(ppl_Polyhedron_add_generators(523428, not_a_list)) ? skip Exit: (13) must_catch(ppl_Polyhedron_add_generators(523428, not_a_list)) ? creep Call: (13) must_catch(ppl_Polyhedron_add_generators(523428, _G491)) ? skip Exit: (13) must_catch(ppl_Polyhedron_add_generators(523428, _G491)) ? creep Call: (13) must_catch(ppl_Polyhedron_add_generators_and_minimize(523428, _G494)) ? skip Exit: (13) must_catch(ppl_Polyhedron_add_generators_and_minimize(523428, _G494)) ? creep Call: (13) clean_ppl_new_Polyhedron_from_space_dimension(c, 3, empty, _L285) ? skip Exit: (13) clean_ppl_new_Polyhedron_from_space_dimension(c, 3, empty, 509708) ? creep Call: (13) must_catch(ppl_Polyhedron_map_space_dimensions(509708, not_a_list)) ? skip Exit: (13) must_catch(ppl_Polyhedron_map_space_dimensions(509708, not_a_list)) ? creep Call: (13) must_catch(ppl_Polyhedron_fold_space_dimensions(509708, not_a_list, B)) ? skip Exit: (13) must_catch(ppl_Polyhedron_fold_space_dimensions(509708, not_a_list, B)) ? creep Call: (13) must_catch(ppl_Polyhedron_remove_space_dimensions(509708, not_a_list)) ? skip Exit: (13) must_catch(ppl_Polyhedron_remove_space_dimensions(509708, not_a_list)) ? creep Call: (13) must_catch(ppl_Polyhedron_limited_H79_extrapolation_assign(509708, 523428, not_a_list)) ? skip Exit: (13) must_catch(ppl_Polyhedron_limited_H79_extrapolation_assign(509708, 523428, not_a_list)) ? creep Call: (13) must_catch(ppl_Polyhedron_limited_H79_extrapolation_assign_with_tokens(509708, 523428, not_a_list, 1, _G514)) ? skip Exit: (13) must_catch(ppl_Polyhedron_limited_H79_extrapolation_assign_with_tokens(509708, 523428, not_a_list, 1, _G514)) ? creep Call: (13) must_catch(ppl_Polyhedron_bounded_H79_extrapolation_assign(509708, 523428, not_a_list)) ? skip Exit: (13) must_catch(ppl_Polyhedron_bounded_H79_extrapolation_assign(509708, 523428, not_a_list)) ? creep Call: (13) must_catch(ppl_Polyhedron_bounded_H79_extrapolation_assign_with_tokens(509708, 523428, not_a_list, 1, _G524)) ? skip Exit: (13) must_catch(ppl_Polyhedron_bounded_H79_extrapolation_assign_with_tokens(509708, 523428, not_a_list, 1, _G524)) ? creep Call: (13) must_catch(ppl_Polyhedron_limited_BHRZ03_extrapolation_assign(509708, 523428, not_a_list)) ? skip Exit: (13) must_catch(ppl_Polyhedron_limited_BHRZ03_extrapolation_assign(509708, 523428, not_a_list)) ? creep Call: (13) must_catch(ppl_Polyhedron_limited_BHRZ03_extrapolation_assign_with_tokens(509708, 523428, not_a_list, 1, _G534)) ? skip Exit: (13) must_catch(ppl_Polyhedron_limited_BHRZ03_extrapolation_assign_with_tokens(509708, 523428, not_a_list, 1, _G534)) ? creep Call: (13) must_catch(ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign(509708, 523428, not_a_list)) ? skip Exit: (13) must_catch(ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign(509708, 523428, not_a_list)) ? creep Call: (13) must_catch(ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign_with_tokens(509708, 523428, not_a_list, 1, _G544)) ? skip Exit: (13) must_catch(ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign_with_tokens(509708, 523428, not_a_list, 1, _G544)) ? creep Call: (13) ppl_delete_Polyhedron(523428) ? skip Exit: (13) ppl_delete_Polyhedron(523428) ? creep Call: (13) ppl_delete_Polyhedron(509708) ? skip Exit: (13) ppl_delete_Polyhedron(509708) ? creep Exit: (12) exception_prolog(12, [A, B, C]) ? creep ^ Call: (12) _L263 is 12-1 ? creep ^ Exit: (12) 11 is 12-1 ? creep Call: (12) exception_prolog1(11, [A, B, C]) ? creep Call: (13) exception_prolog(11, [A, B, C]) ? creep Call: (14) clean_ppl_new_Polyhedron_from_generators(c, [point(A)], _L301) ? skip Exit: (14) clean_ppl_new_Polyhedron_from_generators(c, [point(A)], 509686) ? creep Call: (14) must_catch(ppl_Polyhedron_generalized_affine_image(509686, A, x, A+1, 1)) ? skip Exit: (14) must_catch(ppl_Polyhedron_generalized_affine_image(509686, A, x, A+1, 1)) ? creep Call: (14) must_catch(ppl_Polyhedron_generalized_affine_image_lhs_rhs(509686, B-1, x, A+1)) ? skip Exit: (14) must_catch(ppl_Polyhedron_generalized_affine_image_lhs_rhs(509686, B-1, x, A+1)) ? creep Call: (14) must_catch(ppl_Polyhedron_generalized_affine_image_lhs_rhs(509686, B-1, x+y, A+1)) ? skip Exit: (14) must_catch(ppl_Polyhedron_generalized_affine_image_lhs_rhs(509686, B-1, x+y, A+1)) ? creep Exit: (13) exception_prolog(11, [A, B, C]) ? creep ^ Call: (13) _L281 is 11-1 ? creep ^ Exit: (13) 10 is 11-1 ? creep Call: (13) exception_prolog1(10, [A, B, C]) ? creep Call: (14) exception_prolog(10, [A, B, C]) ? creep Call: (15) must_catch(ppl_new_C_Polyhedron_from_space_dimension(3, xxx, _G593)) ? skip Exit: (15) must_catch(ppl_new_C_Polyhedron_from_space_dimension(3, xxx, _G593)) ? creep Exit: (14) exception_prolog(10, [A, B, C]) ? creep ^ Call: (14) _L354 is 10-1 ? creep ^ Exit: (14) 9 is 10-1 ? creep Call: (14) exception_prolog1(9, [A, B, C]) ? creep Call: (15) exception_prolog(9, [A, B, C]) ? creep Call: (16) clean_ppl_new_Polyhedron_from_generators(c, [point(A)], _L391) ? skip Exit: (16) clean_ppl_new_Polyhedron_from_generators(c, [point(A)], 509736) ? creep Call: (16) must_catch(ppl_Polyhedron_get_bounding_box(509736, a, _G605)) ? skip Exit: (16) must_catch(ppl_Polyhedron_get_bounding_box(509736, a, _G605)) ? creep Exit: (15) exception_prolog(9, [A, B, C]) ? creep ^ Call: (15) _L372 is 9-1 ? creep ^ Exit: (15) 8 is 9-1 ? creep Call: (15) exception_prolog1(8, [A, B, C]) ? creep Call: (16) exception_prolog(8, [A, B, C]) ? creep Call: (17) must_catch(ppl_Polyhedron_space_dimension(_G610, _G611)) ? skip Exit: (17) must_catch(ppl_Polyhedron_space_dimension(_G610, _G611)) ? creep Exit: (16) exception_prolog(8, [A, B, C]) ? creep ^ Call: (16) _L444 is 8-1 ? creep ^ Exit: (16) 7 is 8-1 ? creep Call: (16) exception_prolog1(7, [A, B, C]) ? creep Call: (17) exception_prolog(7, [A, B, C]) ? creep Call: (18) clean_ppl_new_Polyhedron_from_generators(c, [point(A+B), ray(A), ray(B)], _L482) ? skip Exit: (18) clean_ppl_new_Polyhedron_from_generators(c, [point(A+B), ray(A), ray(B)], 523154) ? creep Call: (18) must_catch(ppl_Polyhedron_affine_image(523154, A, A+B+1, i)) ? skip Exit: (18) must_catch(ppl_Polyhedron_affine_image(523154, A, A+B+1, i)) ? creep Call: (18) ppl_delete_Polyhedron(523154) ? skip Exit: (18) ppl_delete_Polyhedron(523154) ? creep Exit: (17) exception_prolog(7, [A, B, C]) ? creep ^ Call: (17) _L462 is 7-1 ? creep ^ Exit: (17) 6 is 7-1 ? creep Call: (17) exception_prolog1(6, [A, B, C]) ? creep Call: (18) exception_prolog(6, [A, B, C]) ? creep Call: (19) clean_ppl_new_Polyhedron_from_space_dimension(c, 3, universe, _L499) ? skip Exit: (19) clean_ppl_new_Polyhedron_from_space_dimension(c, 3, universe, 509764) ? creep Call: (19) must_catch(ppl_Polyhedron_remove_space_dimensions(509764, [A, 1])) ? skip Exit: (19) must_catch(ppl_Polyhedron_remove_space_dimensions(509764, [A, 1])) ? creep Call: (19) ppl_delete_Polyhedron(509764) ? skip Exit: (19) ppl_delete_Polyhedron(509764) ? creep Exit: (18) exception_prolog(6, [A, B, C]) ? creep ^ Call: (18) _L480 is 6-1 ? creep ^ Exit: (18) 5 is 6-1 ? creep Call: (18) exception_prolog1(5, [A, B, C]) ? creep Call: (19) exception_prolog(5, [A, B, C]) ? creep Call: (20) must_catch(ppl_new_C_Polyhedron_from_generators([point(B+A*C)], _G661)) ? skip Exit: (20) must_catch(ppl_new_C_Polyhedron_from_generators([point(B+A*C)], _G661)) ? creep Call: (20) must_catch(ppl_new_C_Polyhedron_from_generators([point(C), ray(B+C, 1)], _G675)) ? skip Exit: (20) must_catch(ppl_new_C_Polyhedron_from_generators([point(C), ray(B+C, 1)], _G675)) ? creep Call: (20) must_catch(ppl_new_C_Polyhedron_from_generators([point], _G692)) ? skip Exit: (20) must_catch(ppl_new_C_Polyhedron_from_generators([point], _G692)) ? creep Call: (20) must_catch(ppl_new_C_Polyhedron_from_generators([point(_G703)], _G698)) ? skip Exit: (20) must_catch(ppl_new_C_Polyhedron_from_generators([point(_G703)], _G698)) ? creep Call: (20) must_catch(ppl_new_C_Polyhedron_from_constraints([_G711>=3], _G706)) ? skip Exit: (20) must_catch(ppl_new_C_Polyhedron_from_constraints([_G711>=3], _G706)) ? creep Call: (20) must_catch(ppl_new_C_Polyhedron_from_constraints([A*B=0], _G715)) ? skip Exit: (20) must_catch(ppl_new_C_Polyhedron_from_constraints([A*B=0], _G715)) ? creep Call: (20) must_catch(ppl_new_C_Polyhedron_from_constraints([A], _G727)) ? skip Exit: (20) must_catch(ppl_new_C_Polyhedron_from_constraints([A], _G727)) ? creep Exit: (19) exception_prolog(5, [A, B, C]) ? creep ^ Call: (19) _L498 is 5-1 ? creep ^ Exit: (19) 4 is 5-1 ? creep Call: (19) exception_prolog1(4, [A, B, C]) ? creep Call: (20) exception_prolog(4, [A, B, C]) ? creep Call: (21) clean_ppl_new_Polyhedron_from_space_dimension(c, 3, universe, _L534) ? skip Exit: (21) clean_ppl_new_Polyhedron_from_space_dimension(c, 3, universe, 509764) ? creep Call: (21) clean_ppl_new_Polyhedron_from_space_dimension(c, 3, universe, _L535) ? skip Exit: (21) clean_ppl_new_Polyhedron_from_space_dimension(c, 3, universe, 523416) ? creep Call: (21) must_catch(ppl_Polyhedron_BHRZ03_widening_assign_with_tokens(523416, 509764, -1, _G738)) ? skip Exit: (21) must_catch(ppl_Polyhedron_BHRZ03_widening_assign_with_tokens(523416, 509764, -1, _G738)) ? creep Call: (21) must_catch(ppl_Polyhedron_limited_BHRZ03_extrapolation_assign_with_tokens(523416, 509764, [], -1, _G738)) ? skip Exit: (21) must_catch(ppl_Polyhedron_limited_BHRZ03_extrapolation_assign_with_tokens(523416, 509764, [], -1, _G738)) ? creep Call: (21) must_catch(ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign_with_tokens(523416, 509764, [], -1, _G738)) ? skip Exit: (21) must_catch(ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign_with_tokens(523416, 509764, [], -1, _G738)) ? creep Call: (21) must_catch(ppl_Polyhedron_H79_widening_assign_with_tokens(523416, 509764, -1, _G738)) ? skip Exit: (21) must_catch(ppl_Polyhedron_H79_widening_assign_with_tokens(523416, 509764, -1, _G738)) ? creep Call: (21) must_catch(ppl_Polyhedron_limited_H79_extrapolation_assign_with_tokens(523416, 509764, [], -1, _G738)) ? skip Exit: (21) must_catch(ppl_Polyhedron_limited_H79_extrapolation_assign_with_tokens(523416, 509764, [], -1, _G738)) ? creep Call: (21) must_catch(ppl_Polyhedron_bounded_H79_extrapolation_assign_with_tokens(523416, 509764, [], -1, _G738)) ? skip Exit: (21) must_catch(ppl_Polyhedron_bounded_H79_extrapolation_assign_with_tokens(523416, 509764, [], -1, _G738)) ? creep Call: (21) ppl_delete_Polyhedron(509764) ? creep Exit: (21) ppl_delete_Polyhedron(509764) ? creep Call: (21) ppl_delete_Polyhedron(523416) ? skip Exit: (21) ppl_delete_Polyhedron(523416) ? creep Exit: (20) exception_prolog(4, [A, B, C]) ? creep ^ Call: (20) _L516 is 4-1 ? creep ^ Exit: (20) 3 is 4-1 ? creep Call: (20) exception_prolog1(3, [A, B, C]) ? creep Call: (21) exception_prolog(3, [A, B, C]) ? creep Call: (22) must_catch(ppl_set_timeout(-1)) ? skip Exit: (22) must_catch(ppl_set_timeout(-1)) ? creep Exit: (21) exception_prolog(3, [A, B, C]) ? creep ^ Call: (21) _L534 is 3-1 ? creep ^ Exit: (21) 2 is 3-1 ? creep Call: (21) exception_prolog1(2, [A, B, C]) ? creep Call: (22) exception_prolog(2, [A, B, C]) ? creep Call: (23) must_catch(ppl_new_C_Polyhedron_from_space_dimension(n, universe, _G779)) ? skip Exit: (23) must_catch(ppl_new_C_Polyhedron_from_space_dimension(n, universe, _G779)) ? creep Call: (23) must_catch(ppl_new_C_Polyhedron_from_space_dimension(-1, universe, _G783)) ? skip Exit: (23) must_catch(ppl_new_C_Polyhedron_from_space_dimension(-1, universe, _G783)) ? creep Call: (23) must_catch(ppl_new_C_Polyhedron_from_generators([point(n)], _G786)) ? skip Exit: (23) must_catch(ppl_new_C_Polyhedron_from_generators([point(n)], _G786)) ? creep Call: (23) must_catch(ppl_new_C_Polyhedron_from_generators([point('$VAR'(-1))], _G796)) ? skip Exit: (23) must_catch(ppl_new_C_Polyhedron_from_generators([point('$VAR'(-1))], _G796)) ? creep Exit: (22) exception_prolog(2, [A, B, C]) ? creep ^ Call: (22) _L552 is 2-1 ? creep ^ Exit: (22) 1 is 2-1 ? creep Call: (22) exception_prolog1(1, [A, B, C]) ? creep Call: (23) exception_prolog(1, [A, B, C]) ? creep Call: (24) pl_check_prolog_flag(bounded, _L588) ? skip Exit: (24) pl_check_prolog_flag(bounded, false) ? creep Call: (24) false==true ? skip Fail: (24) false==true ? creep Call: (24) _L589=21474836470 ? skip Exit: (24) 21474836470=21474836470 ? creep Call: (24) must_catch(ppl_new_C_Polyhedron_from_generators([point('$VAR'(21474836470))], _G813)) ? skip *** glibc detected *** ppl_pl: realloc(): invalid pointer: 0x081524dc *** ======= Backtrace: ========= /lib/i686/cmov/libc.so.6[0xb7bd34f4] /lib/i686/cmov/libc.so.6(realloc+0x242)[0xb7bd7b52] ppl_pl[0x8121b88] /usr/local/lib/libgmp.so.3(__gmpz_realloc+0x56)[0xb7e7a176] ======= Memory map: ======== 08048000-0814a000 r-xp 00000000 03:01 258598 /usr/local/bin/ppl_pl 0814a000-0814e000 rw-p 00101000 03:01 258598 /usr/local/bin/ppl_pl 0814e000-08222000 rw-p 0814e000 00:00 0 [heap] b26f6000-b26f7000 rw-p b26f6000 00:00 0 b26f7000-b26fe000 r--s 00000000 03:01 340151 /usr/lib/gconv/gconv-modules.cache b26fe000-b2702000 rw-p b26fe000 00:00 0 b2702000-b46fe000 ---p b2702000 00:00 0 b46fe000-b4702000 rw-p b46fe000 00:00 0 b4702000-b56fe000 ---p b4702000 00:00 0 b56fe000-b5702000 rw-p b56fe000 00:00 0 b5702000-b57fa000 ---p b5702000 00:00 0 b57fa000-b57fe000 rw-p b57fa000 00:00 0 b57fe000-b77fa000 ---p b57fe000 00:00 0 b77fa000-b7a2a000 r--s 00000000 03:01 258598 /usr/local/bin/ppl_pl b7a2a000-b7b64000 r--p 00000000 03:01 32413 /usr/lib/locale/locale-archive b7b64000-b7b65000 rw-p b7b64000 00:00 0 b7b65000-b7cba000 r-xp 00000000 03:01 84538 /lib/i686/cmov/libc-2.7.so b7cba000-b7cbb000 r--p 00155000 03:01 84538 /lib/i686/cmov/libc-2.7.so b7cbb000-b7cbd000 rw-p 00156000 03:01 84538 /lib/i686/cmov/libc-2.7.so b7cbd000-b7cc1000 rw-p b7cbd000 00:00 0 b7cc1000-b7cd6000 r-xp 00000000 03:01 84552 /lib/i686/cmov/ libpthread-2.7.so b7cd6000-b7cd8000 rw-p 00014000 03:01 84552 /lib/i686/cmov/ libpthread-2.7.so b7cd8000-b7cda000 rw-p b7cd8000 00:00 0 b7cda000-b7ce4000 r-xp 00000000 03:01 48589 /lib/libgcc_s.so.1 b7ce4000-b7ce5000 rw-p 00009000 03:01 48589 /lib/libgcc_s.so.1 b7ce5000-b7dbf000 r-xp 00000000 03:01 17506 /usr/lib/libstdc++.so.6.0.8 b7dbf000-b7dc2000 r--p 000d9000 03:01 17506 /usr/lib/libstdc++.so.6.0.8 b7dc2000-b7dc4000 rw-p 000dc000 03:01 17506 /usr/lib/libstdc++.so.6.0.8 b7dc4000-b7dca000 rw-p b7dc4000 00:00 0 b7dca000-b7dcc000 r-xp 00000000 03:01 84541 /lib/i686/cmov/libdl-2.7.so b7dcc000-b7dce000 rw-p 00001000 03:01 84541 /lib/i686/cmov/libdl-2.7.so b7dce000-b7df2000 r-xp 00000000 03:01 84542 /lib/i686/cmov/libm-2.7.so b7df2000-b7df4000 rw-p 00023000 03:01 84542 /lib/i686/cmov/libm-2.7.so b7df4000-b7e23000 r-xp 00000000 03:01 280553 /lib/libncurses.so.5.6 b7e23000-b7e26000 rw-p 0002f000 03:01 280553 /lib/libncurses.so.5.6 b7e26000-b7e27000 rw-p b7e26000 00:00 0 b7e27000-b7e52000 r-xp 00000000 03:01 48663 /lib/libreadline.so.5.2 b7e52000-b7e56000 rw-p 0002a000 03:01 48663 /lib/libreadline.so.5.2 b7e56000-b7e57000 rw-p b7e56000 00:00 0 b7e57000-b7e5e000 r-xp 00000000 03:01 84554 /lib/i686/cmov/librt-2.7.so b7e5e000-b7e60000 rw-p 00006000 03:01 84554 /lib/i686/cmov/librt-2.7.so b7e60000-b7e96000 r-xp 00000000 03:01 35349 /usr/local/lib/libgmp.so.3.4.4 b7e96000-b7e97000 rw-p 00035000 03:01 35349 /usr/local/lib/libgmp.so.3.4.4 b7e97000-b7e9b000 r-xp 00000000 03:01 35353 /usr/local/lib/libgmpxx.so.4.0.4 b7e9b000-b7e9c000 rw-p 00003000 03:01 35353 /usr/local/lib/libgmpxx.so.4.0.4 b7e9c000-b7ea0000 r-xp 00000000 03:01 388691 /usr/local/lib/libpwl.so.3.0.0 b7ea0000-b7ea1000 rw-p 00003000 03:01 388691 /usr/local/lib/libpwl.so.3.0.0 b7ea1000-b7f34000 r-xp 00000000 03:01 388483 /usr/local/lib/libppl.so.6.0.0 b7f34000-b7f36000 rw-p 00092000 03:01 388483 /usr/local/lib/libppl.so.6.0.0 b7f36000-b7f37000 rw-p b7f36000 00:00 0 b7f45000-b7f46000 rw-p b7f45000 00:00 0 b7f46000-b7f47000 r-xp b7f46000 00:00 0 [vdso] b7f47000-b7f61000 r-xp 00000000 03:01 280602 /lib/ld-2.7.so b7f61000-b7f63000 rw-p 0001a000 03:01 280602 /lib/ld-2.7.so bf99c000-bf9b2000 rw-p bf99c000 00:00 0 [stack] Aborted

2 1

ppl configure.ac configure.repo
by Roberto Bagnara 07 Oct '08

07 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-07 22:01:57 Modified files: . : configure.ac configure.repo Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.repo.diff?cvsroot=p…

1 0

ppl/src OR_Matrix.defs.hh
by Roberto Bagnara 07 Oct '08

07 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-07 21:51:55 Modified files: src : OR_Matrix.defs.hh Log message: Two FIXMEs added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.defs.hh.diff?cv…

1 0

ppl/m4 lib-link.m4 lib-prefix.m4
by Roberto Bagnara 07 Oct '08

07 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-07 17:07:53 Modified files: m4 : lib-link.m4 lib-prefix.m4 Log message: Temporarily reverted to the versions distributed with Gettext 0.14.6 (the new versions from gnulib do not work for us... we are probably misusing them). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/lib-link.m4.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/lib-prefix.m4.diff?cvsroot…

1 0