Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
segfault in 3.10.0
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-08-02 (17:31)
From: Andres Varon <avaron@g...>
Subject: Re: [Caml-list] segfault in 3.10.0

On Aug 2, 2007, at 12:46 PM, Alain Frisch wrote:

> 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).

OK, I cvs update -r natdynlink on top of the branch ocaml3100. I  
tried compiling native code with and without the -dlcode option, and  
in both cases I had the same segfault, in the same place.

Let me know if I can do other tests here.


> -- Alain