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