[m-dev.] declarative_debugger/divide_and_query1 failing

Julien Fischer jfischer at opturion.com
Sat Oct 31 20:36:34 AEDT 2020


Hi,

Once of the recent rotds has caused
tests/declarative_debugger/divide_and_query1 to start failing on the
test server.

     divide_and_query1.out:	abba_perm([a, a, a, b], [a, b, a, a])
     divide_and_query1.out:	abba_perm([a, a, a, b], [b, a, a, a])
     divide_and_query1.out:	abba_perm([a, a, a, b], [b, a, a, a])
     divide_and_query1.out:	abba_perm([a, a, a, b], [b, a, a, a])
     divide_and_query1.out:Complete? n
     divide_and_query1.out:*** Mercury runtime: caught segmentation violation ***
     divide_and_query1.out:cause: unknown
     divide_and_query1.out:PC at signal: 140349849695910 (7fa5beef76a6)
     divide_and_query1.out:address involved: (nil)
     divide_and_query1.out:Last trace event was event #E9.
     divide_and_query1.out:This may have been caused by a stack overflow, due
     to unbounded recursion.
     divide_and_query1.out:exiting from signal handler
     divide_and_query1.out:Segmentation fault (core dumped)

It was working as of rotd-2020-10-22.  (Unfortunately the test server
ran of disk space the other day, so there have been a few rotds that
haven't been tested.)

I've tried to reproduce the above on my machine (x86_64 / CentOS 7 / GCC
4.8.5), but haven't been able to.  I'll try with a more recent GCC this
evening.

Peter, what version of GCC is the test server using?

Julien.


More information about the developers mailing list