Andres Varon wrote:
> 1. The segfault is eliminated if I use position-dependent machine code
> (-fno-PIC), which is the main difference that I can see in the
> generated code for amd-64 between 3.09.3 and 3.10.0 (-fPIC is the
> default now). When using -fno-PIC there was little difference between
> the code spilled using -dlinear between the two versions. (I could not
> get my program to compile with the branch release310 (3.10.1+dev0
> (2007-05-21)) due to a type error that ... ehm ... isn't really a type
> error ;-) ).

It would be very helpful if you could try to compile your code with the 
natdynlink branch (based on OCaml 3.10.0). The new -dlcode option 
triggers a different compilation mode (real PIC code, even for OCaml 
symbols).

-- Alain