[MLton] Experimental 64Bit

Ray rracine at adelphia.net
Sat Mar 3 14:41:59 PST 2007


I see the same floating point exception on a FC 5, dual AMD64.

I have been compiling along on the 64 bit branch without a problem I'd
say within the last 3-4 weeks.  When I saw the announcement I did an
update which appeared to be only a modest 10 files or so.  The make
segfaulted on xmlShrink (if I recall).

The binary build from Experimental has the immediate floating point
exception.

[raymond at corwin ~]$ which mlton
/usr/local/bin/mlton
[raymond at corwin ~]$ mlton
Floating point exception
[raymond at corwin ~]$ gdb /usr/local/lib/mlton/mlton-compile
GNU gdb Red Hat Linux (6.3.0.0-1.134.fc5rh)
Copyright 2004 Free Software Foundation, Inc.
GDB is free software, covered by the GNU General Public License, and you
are
welcome to change it and/or distribute copies of it under certain
conditions.
Type "show copying" to see the conditions.
There is absolutely no warranty for GDB.  Type "show warranty" for
details.
This GDB was configured as "x86_64-redhat-linux-gnu"...(no debugging
symbols found)
Using host libthread_db library "/lib64/libthread_db.so.1".

(gdb) run
Starting program: /usr/local/lib/mlton/mlton-compile
(no debugging symbols found)

Program received signal SIGFPE, Arithmetic exception.
0x0000003282608adb in do_lookup_x () from /lib64/ld-linux-x86-64.so.2
(gdb) bt
#0  0x0000003282608adb in do_lookup_x ()
from /lib64/ld-linux-x86-64.so.2
#1  0x0000003282608e6f in _dl_lookup_symbol_x ()
from /lib64/ld-linux-x86-64.so.2
#2  0x000000328260a546 in _dl_relocate_object ()
from /lib64/ld-linux-x86-64.so.2
#3  0x000000328260362a in dl_main () from /lib64/ld-linux-x86-64.so.2
#4  0x0000003282612bdb in _dl_sysdep_start ()
from /lib64/ld-linux-x86-64.so.2
#5  0x0000003282601378 in _dl_start () from /lib64/ld-linux-x86-64.so.2
#6  0x0000003282600a78 in _start () from /lib64/ld-linux-x86-64.so.2
#7  0x0000000000000001 in ?? ()
#8  0x00007fff100919be in ?? ()
#9  0x0000000000000000 in ?? ()
(gdb)


Let me know if I can be of further help on further tests.




More information about the MLton mailing list