English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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 (16:46)
From: Alain Frisch <alain@f...>
Subject: Re: [Caml-list] segfault in 3.10.0
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 

-- Alain