Hello.
I got FFI error when configure and built poly with --enable-debug *only*:
ASSERTION FAILURE: 0 at src/x86/ffi64.c:302
The error happens on Linux and FreeBSD.
I use PolyML from git at "Thu Jan 3 14:35:50" date (Linux) and "Fri
Jun 22 13:49:32 2018" (FreeBSD):
./configure --with-gmp --enable-debug
When I use PolyML *without* debugIt is all right. :-)
GDB backtrace on linux:
(gdb) bt
#0 0x00007f53c3fca1f7 in raise () from /lib64/libc.so.6
#1 0x00007f53c3fcb8e8 in abort () from /lib64/libc.so.6
#2 0x00007f53c4c1295f in ffi_assert ()
from /home/nick/polyml/lib/libpolyml.so.9
#3 0x00007f53c4c1326a in ffi_prep_cif_machdep ()
from /home/nick/polyml/lib/libpolyml.so.9
#4 0x00007f53c4be1d31 in poly_ffi (taskData=0x7f53bc01b8c0,
args=0x7f53bc01baf8, code=0x7f53bc01baf0) at polyffi.cpp:381
#5 0x00007f53c4be2986 in PolyFFIGeneral (threadId=0x7f53c4f54870, code=...,
arg=...) at polyffi.cpp:587
#6 0x0000000000408aa2 in area1 ()
#7 0x00007f53abe429c0 in ?? ()
#8 0x00007f53abe42700 in ?? ()
#9 0x0000000000001000 in ?? ()
#10 0x00007f53c400f53b in new_heap () from /lib64/libc.so.6
#11 0x0000000000000000 in ?? ()
GDB backtrace on FreeBSD is more informative ans say "0x6f <Address
0x6f out of bounds>":
(gdb) bt
#0 0x000000080132a47a in thr_kill () from /lib/libc.so.7
#1 0x000000080132a444 in raise () from /lib/libc.so.7
#2 0x000000080132a3b9 in abort () from /lib/libc.so.7
#3 0x00000008009224a7 in ffi_assert ()
from /home/nick/polyml_new/lib/libpolyml.so.9
#4 0x0000000800923922 in classify_argument ()
from /home/nick/polyml_new/lib/libpolyml.so.9
#5 0x000000080092290e in examine_argument ()
from /home/nick/polyml_new/lib/libpolyml.so.9
#6 0x00000008009227eb in ffi_prep_cif_machdep ()
from /home/nick/polyml_new/lib/libpolyml.so.9
#7 0x000000080091b2d8 in ffi_prep_cif_core ()
from /home/nick/polyml_new/lib/libpolyml.so.9
#8 0x000000080091b54d in ffi_prep_cif ()
from /home/nick/polyml_new/lib/libpolyml.so.9
#9 0x00000008008e9cd8 in poly_ffi (taskData=0x802218200, args=0x80221c008,
code=0x80221c000) at polyffi.cpp:379
#10 0x00000008008e8df0 in PolyFFIGeneral (threadId=0x8006b2208, code=
{contents = {signedInt = 111, unsignedInt = 111, objectPtr =
0x6f, codePtr = 0x6f <Address 0x6f out of bounds>, stackAddr = 0x6f}},
arg=
{contents = {signedInt = 34366811360, unsignedInt =
34366811360, objectPtr = 0x8006bece0, codePtr = 0x8006bece0 "\005",
stackAddr = 0x8006bece0}})
at polyffi.cpp:585
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
