On Ubuntu 10.4, test programs that segfault do XPASS

[Roberto Bagnara]

I am using Automake's simple test driver.  I have three programs
that, due to a buggy program transformation, keep allocating
stack space until they segfault:

$ ulimit -s
8192
$ ./bug23
Segmentation fault
$ ./bug24
Segmentation fault
$ ./bug31
Segmentation fault

However:

$ make check
...
XPASS: bug23
...
XPASS: bug24
...
XPASS: bug31
...

I am able to reproduce this _only_ on Ubuntu (10.4):
on all other systems I have access to things work
as expected.

I have checked whether the test programs do segfault
also under /bin/dash (yes, with a 'd', I know Ubuntu
is special in this respect) and they do.

Any idea how I may investigate this issue further?
Thanks,

   Roberto

--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:address@hidden