[PPL-devel] An issue in "make check" for SWI prolog under Debina (lenny)
Valerio Senni
senni at disp.uniroma2.it
Mon Oct 6 12:24:23 CEST 2008
Hello everyone,
I've compiled PPL 0.9 under Debian (lenny) on a Pentium III,
with SICStus 3.12.8 and SWIprolog 5.6.58 installed.
Compilation gives no errors.
Before installing I executed "make check" which returns
the following error (I'll attach below the entire output)
*** glibc detected *** ./ppl_pl: realloc(): invalid pointer: 0x081524dc ***
The "make install" succeeds but then I have the following behavior:
$ 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).
?- halt.
Segmentation fault
$
This does not happen under SICStus
$ ppl_sicstus
SICStus 3.12.8 (x86-linux-glibc2.3): Tue May 8 13:30:29 CEST 2007
Licensed to uniroma2.it
| ?- halt.
$
I've had the chance of testing some base functionalities (such as
creation/deletion
of polyhedra) and these work correctly. I would like to know if my
installation
is sound or do I have to solve this "check" problem in order to have the
library
installed correctly?
I have one more brief question. If I issue a request
"ppl_Polyhedron_get_constraints(H,C)"
and the handler H is "random" (in particular, it was never returned by the
system)
in SWI I have the following error:
ERROR: ppl_Polyhedron_get_constraints/2: Caught signal 11 (segv)
and in SICStus I have:
! segmentation violation
% Execution aborted
I understand that it is quite strange that a user "creates" handlers out of
nowhere. Just wanted to make sure that this "segmentation violation"
is expected.
Thank you very much for any help
Valerio Senni
% -------------------- ATTACHMENT --------------------
~/libppl-0.9/interfaces/Prolog/SWI$ make check
make pl_clpq pl_clpq2
make[1]: Entering directory `/home/valerio/libppl-0.9/interfaces/Prolog/SWI'
make[1]: `pl_clpq' is up to date.
make[1]: `pl_clpq2' is up to date.
make[1]: Leaving directory `/home/valerio/libppl-0.9/interfaces/Prolog/SWI'
make check-local
make[1]: Entering directory `/home/valerio/libppl-0.9/interfaces/Prolog/SWI'
if [ . != `pwd` ]; then \
cp -f ./../tests/pl_check.pl . ; \
fi ;\
echo "ensure_loaded('./swi_pl_check'). main." > script_pchk
/bin/sh ../../../libtool --mode=execute \
-dlopen ../../../src/libppl.la \
-dlopen ../../../Watchdog/src/libpwl.la \
./ppl_pl < script_pchk
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).
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,192 bytes
% ./swi_pl_check compiled 0.05 sec, 147,992 bytes
true.
*** glibc detected *** ./ppl_pl: realloc(): invalid pointer: 0x081524dc ***
======= Backtrace: =========
/lib/i686/cmov/libc.so.6[0x403114f4]
/lib/i686/cmov/libc.so.6(realloc+0x242)[0x40315b52]
./ppl_pl[0x8121b88]
/usr/local/lib/libgmp.so.3(__gmpz_realloc+0x56)[0x400e6176]
======= Memory map: ========
08048000-0814a000 r-xp 00000000 03:05 214940
/home/valerio/libppl-0.9/interfaces/Prolog/SWI/ppl_pl
0814a000-0814e000 rw-p 00101000 03:05 214940
/home/valerio/libppl-0.9/interfaces/Prolog/SWI/ppl_pl
0814e000-08223000 rw-p 0814e000 00:00 0 [heap]
40000000-4001a000 r-xp 00000000 03:01 280602 /lib/ld-2.7.so
4001a000-4001c000 rw-p 0001a000 03:01 280602 /lib/ld-2.7.so
4001c000-4001d000 r-xp 4001c000 00:00 0 [vdso]
4001d000-4001f000 rw-p 4001d000 00:00 0
4001f000-400b2000 r-xp 00000000 03:05 214875
/home/valerio/libppl-0.9/src/.libs/libppl.so.6.0.0
400b2000-400b4000 rw-p 00092000 03:05 214875
/home/valerio/libppl-0.9/src/.libs/libppl.so.6.0.0
400b4000-400b8000 r-xp 00000000 03:05 214908
/home/valerio/libppl-0.9/Watchdog/src/.libs/libpwl.so.3.0.0
400b8000-400b9000 rw-p 00003000 03:05 214908
/home/valerio/libppl-0.9/Watchdog/src/.libs/libpwl.so.3.0.0
400b9000-400c0000 r--s 00000000 03:01 340151
/usr/lib/gconv/gconv-modules.cache
400c7000-400cb000 r-xp 00000000 03:01 35353
/usr/local/lib/libgmpxx.so.4.0.4
400cb000-400cc000 rw-p 00003000 03:01 35353
/usr/local/lib/libgmpxx.so.4.0.4
400cc000-40102000 r-xp 00000000 03:01 35349
/usr/local/lib/libgmp.so.3.4.4
40102000-40103000 rw-p 00035000 03:01 35349
/usr/local/lib/libgmp.so.3.4.4
40103000-4010a000 r-xp 00000000 03:01 84554 /lib/i686/cmov/librt-2.7.so
4010a000-4010c000 rw-p 00006000 03:01 84554 /lib/i686/cmov/librt-2.7.so
4010c000-40137000 r-xp 00000000 03:01 48663 /lib/libreadline.so.5.2
40137000-4013b000 rw-p 0002a000 03:01 48663 /lib/libreadline.so.5.2
4013b000-4013d000 rw-p 4013b000 00:00 0
4013d000-4016c000 r-xp 00000000 03:01 280553 /lib/libncurses.so.5.6
4016c000-4016f000 rw-p 0002f000 03:01 280553 /lib/libncurses.so.5.6
4016f000-40193000 r-xp 00000000 03:01 84542 /lib/i686/cmov/libm-2.7.so
40193000-40195000 rw-p 00023000 03:01 84542 /lib/i686/cmov/libm-2.7.so
40195000-40197000 r-xp 00000000 03:01 84541 /lib/i686/cmov/libdl-2.7.so
40197000-40199000 rw-p 00001000 03:01 84541 /lib/i686/cmov/libdl-2.7.so
40199000-40273000 r-xp 00000000 03:01 17506 /usr/lib/libstdc++.so.6.0.8
40273000-40276000 r--p 000d9000 03:01 17506 /usr/lib/libstdc++.so.6.0.8
40276000-40278000 rw-p 000dc000 03:01 17506 /usr/lib/libstdc++.so.6.0.8
40278000-4027e000 rw-p 40278000 00:00 0
4027e000-40288000 r-xp 00000000 03:01 48589 /lib/libgcc_s.so.1
40288000-40289000 rw-p 00009000 03:01 48589 /lib/libgcc_s.so.1
40289000-4029e000 r-xp 00000000 03:01 84552 /lib/i686/cmov/
libpthread-2.7.so
4029e000-402a0000 rw-p 00014000 03:01 84552 /lib/i686/cmov/
libpthread-2.7.so
402a0000-402a3000 rw-p 402a0000 00:00 0
402a3000-403f8000 r-xp 00000000 03:01 84538 /lib/i686/cmov/libc-2.7.so
403f8000-403f9000 r--p 00155000 03:01 84538 /lib/i686/cmov/libc-2.7.so
403f9000-403fb000 rw-p 00156000 03:01 84538 /lib/i686/cmov/libc-2.7.so
403fb000-403ff000 rw-p 403fb000 00:00 0
403ff000-40539000 r--p 00000000 03:01 32413
/usr/lib/locale/locale-archive
40539000-40769000 r--s 00000000 03:05 214940
/home/valerio/libppl-0.9/interfaces/Prolog/SWI/ppl_pl
40769000-40771000 rw-p 40769000 00:00 0
40771000-42769000 ---p 40771000 00:00 0
42769000-4276d000 rw-p 42769000 00:00 0
4276d000-42865000 ---p 4276d000 00:00 0
42865000-4287d000 rw-p 42865000 00:00 0
4287d000-44865000 ---p 4287d000 00:00 0
44865000-44869000 rw-p 44865000 00:00 0
44869000-45865000 ---p 44869000 00:00 0
bf9fd000-bfa13000 rw-p bf9fd000 00:00 0 [stack]
/bin/sh: line 3: 3997 Aborted /bin/sh ../../../libtool
--mode=execute -dlopen ../../../src/libppl.la -dlopen ../../../Watchdog/src/
libpwl.la ./ppl_pl <script_pchk
make[1]: *** [pl_check_test] Error 134
make[1]: Leaving directory `/home/valerio/libppl-0.9/interfaces/Prolog/SWI'
make: *** [check-am] Error 2
More information about the PPL-devel
mailing list