Comment author: ecc

The attached patch seems to fix the issue by reordering the .section directive. Almost the entire test suite passes. (The one failure was stack overflow detection in native code -- the overflow is detected, but the stack size is evidently different than was used for the reference output.)

Comment author: spiralvoice

A similar problems happens when compiling Ocaml 3.12.0 on Debian sid x86

../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g ./Compflags random.cmx -c random.ml
/tmp/camlasm09faba.s: Assembler messages:
/tmp/camlasm09faba.s:2064: Error: .size expression does not evaluate to a constant
File "random.ml", line 1, characters 0-1:
Error: Assembler error, input left in file /tmp/camlasm09faba.s

Comment author: spiralvoice

The attached patch fixed the problem here

Comment author: @glondu

There are also sparc and powerpc as native architectures on Debian... but they don't seem to be affected by this bug (I've checked on sparc, powerpc looks similar). I've opened a Debian bug to keep track of this issue:

http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=617404

Comment author: int-e

Note that you need a very recent binutils release to reproduce this error: 2.21.0.20110216 (Debian sid) did not have this check.

Comment author: @glondu

Note that spiralvoice's patch is incorrect. Attached is the patch (merging Eric and spiralvoice's ones) as applied in Debian.

Comment author: @xavierleroy

S. Glondu's patch is correct. Applied in 3.12 bugfix branch and in trunk. Will be part of release 3.12.1.