[PPL-devel] Two failing tests on Solaris

[Maciej Bliziński]

2011/8/11 Roberto Bagnara <bagnara at cs.unipr.it>:
> When a test fails in the PPL camp, the output with PPL_NOISY_TESTS ends
> with a list of the test functions that failed.  I don't see that in
> the files you linked.  I suggest you use gdb on smashproduct1
> to find out more.

Based on the place where the segfault happens, it seems to me that
I've been hit by an old GCC bug.

(...)
*** sp.widening_assign(sp_prev) constraints ***
C = 0,
-A >= -2,
B >= 0,
C = 0.

Program received signal SIGSEGV, Segmentation fault.
0xfed5e4d4 in emutls_destroy (ptr=0x840b8) at
../../../gcc-4.3.3/libgcc/../gcc/emutls.c:76
76      ../../../gcc-4.3.3/libgcc/../gcc/emutls.c: No such file or directory.
        in ../../../gcc-4.3.3/libgcc/../gcc/emutls.c
(gdb) where
#0  0xfed5e4d4 in emutls_destroy (ptr=0x840b8) at
../../../gcc-4.3.3/libgcc/../gcc/emutls.c:76
#1  0xfebd6ab0 in keys_destruct () from /usr/lib/libc.so.1
#2  0xfeb9ccf0 in _exithandle () from /usr/lib/libc.so.1
#3  0xfec207c8 in exit () from /usr/lib/libc.so.1
#4  0x000349d8 in _start () at ../../gcc-4.3.3/gcc/config/sparc/sol2-c1.asm:108

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40024

Old GCC at OpenCSW is the problem I'm trying to fix in the first place
(PPL is a dependency), so I promise to rebuild PPL with the new GCC
once I manage to build it. But I need to find a way out of the vicious
circle, either make the tests pass, or establish that the failures are
harmless.

Is there another way of getting the list of failed functions?

Maciej