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=1.1 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 0B5E4BC69 for ; Thu, 2 Aug 2007 19:31:51 +0200 (CEST) Received: from lepore.amnh.org (lepore.amnh.org [216.73.241.12]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l72HVoFR016031 for ; Thu, 2 Aug 2007 19:31:50 +0200 Received: from localhost (localhost [127.0.0.1]) by lepore.amnh.org (Postfix) with ESMTP id B03E35B775; Thu, 2 Aug 2007 13:31:49 -0400 (EDT) X-Virus-Scanned: amavisd-new at amnh.org Received: from lepore.amnh.org ([127.0.0.1]) by localhost (lepore.amnh.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id P2oKxXqBZMed; Thu, 2 Aug 2007 13:31:47 -0400 (EDT) Received: from [172.16.63.190] (216-73-248-158.dynamic.amnh.org [216.73.248.158]) by lepore.amnh.org (Postfix) with ESMTP id CF0B15B763; Thu, 2 Aug 2007 13:31:47 -0400 (EDT) In-Reply-To: <46B20A54.2050702@frisch.fr> References: <7209A0C0-93DC-46A9-940D-47C54EB31E1B@gmail.com> <46B20A54.2050702@frisch.fr> Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <99FED25B-43AA-4FE1-B3E8-257358A9B77A@gmail.com> Cc: caml-list@inria.fr Content-Transfer-Encoding: 7bit From: Andres Varon Subject: Re: [Caml-list] segfault in 3.10.0 Date: Thu, 2 Aug 2007 13:31:41 -0400 To: Alain Frisch X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 46B21506.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 46B21506.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; segfault:01 frisch:01 segfault:01 -fpic:01 ocaml:01 compilation:01 ocaml:01 2007,:98 cvs:01 wrote:01 wrote:01 compile:01 compile:01 caml-list:01 alain:01 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. Andres > > -- Alain >