[PPL-devel] Some details on the problem with SWI and Debian
Valerio Senni
valerio.senni at gmail.com
Mon Oct 6 13:10:13 CEST 2008
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
More information about the PPL-devel
mailing list