[MLton] latest MLton segfault in gmp

Wesley W. Terpstra wesley at terpstra.ca
Wed Oct 14 02:57:19 PDT 2009


On Wed, Oct 14, 2009 at 7:23 AM, Florian Weimer <fw at deneb.enyo.de> wrote:

> The AMD64 psABI supplement requires 8-byte alignment.  And the end of
> the input area on the stack must be aligned to a 16 byte boundary upon
> function entry. See <http://www.x86-64.org/documentation/abi-0.99.pdf>.
>

The stack was actually already aligned, just not the GMP limb array in
MLton's heap.

Still, if requiring this 8-byte alignment is sanctioned, we should just go
with -align 8 and be safe.

Since Matthew is the AMD64 expert I'm mostly waiting to hear his opinion
before I commit a fix.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mlton.org/pipermail/mlton/attachments/20091014/a1763248/attachment-0001.htm


More information about the MLton mailing list