From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 561DDBC69 for ; Thu, 2 Aug 2007 18:46:20 +0200 (CEST) Received: from smtp20.orange.fr (smtp20.orange.fr [80.12.242.27]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l72GkJlm019443 for ; Thu, 2 Aug 2007 18:46:20 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2009.orange.fr (SMTP Server) with ESMTP id DA6351C002D3 for ; Thu, 2 Aug 2007 18:46:17 +0200 (CEST) Received: from [192.168.1.61] (APuteaux-154-1-101-37.w86-205.abo.wanadoo.fr [86.205.88.37]) by mwinf2009.orange.fr (SMTP Server) with ESMTP id AA5031C001FA; Thu, 2 Aug 2007 18:46:17 +0200 (CEST) X-ME-UUID: 20070802164617697.AA5031C001FA@mwinf2009.orange.fr Message-ID: <46B20A54.2050702@frisch.fr> Date: Thu, 02 Aug 2007 18:46:12 +0200 From: Alain Frisch User-Agent: Thunderbird 2.0.0.6 (Windows/20070728) MIME-Version: 1.0 To: Andres Varon , caml-list@inria.fr Subject: Re: [Caml-list] segfault in 3.10.0 References: <7209A0C0-93DC-46A9-940D-47C54EB31E1B@gmail.com> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 46B20A5C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; frisch:01 frisch:01 segfault:01 segfault:01 -fpic:01 ocaml:01 compilation:01 ocaml:01 wrote:01 compile:01 compile:01 caml-list:01 alain:01 alain:01 dev:04 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