* Roberto Bagnara wrote on Sun, Aug 22, 2010 at 09:36:34AM CEST: > On 08/22/10 06:11, Ralf Wildenhues wrote: > >* Roberto Bagnara wrote on Sat, Aug 21, 2010 at 11:32:45PM CEST: > >>I have three programs that, due to a buggy program transformation, > >>keep allocating stack space until they segfault: > >> > >>$ ulimit -s > >>8192 > >>$ ./bug23 > >>Segmentation fault > >[...] > >>However: > >> > >>$ make check > >>... > >>XPASS: bug23 > > > >>I am able to reproduce this _only_ on Ubuntu (10.4): on all other > >>systems I have access to things work as expected.
Thanks for the data, unfortunately I still have no clue. The fact that both dash and bash fail looks like it could be a libc or kernel issue. Can you post (gzip'ed) trace of strace -f -o trace make check SHELL='/bin/bash -x' TESTS=bug23 and maybe make the package available so we can try it out? Thanks, Ralf