2011/8/11 Roberto Bagnara bagnara@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