From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 5A378BCAF; Mon, 13 Jun 2005 22:28:07 +0200 (CEST) Received: from smtp1.adl2.internode.on.net (smtp1.adl2.internode.on.net [203.16.214.181]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j5DKS5UL024204; Mon, 13 Jun 2005 22:28:06 +0200 Received: from Rosella (ppp35-43.lns1.syd2.internode.on.net [59.167.35.43]) by smtp1.adl2.internode.on.net (8.12.9/8.12.9) with ESMTP id j5DKRsOd029656; Tue, 14 Jun 2005 05:57:58 +0930 (CST) Subject: Re: [Caml-list] AMD64 ocamlopt bug From: John Skaller To: Xavier Leroy Cc: Jon Harrop , caml-list@yquem.inria.fr In-Reply-To: <1118691131.7142.9.camel@rosella.wigram> References: <1118295206.7145.165.camel@rosella.wigram> <36973.131.254.50.45.1118334009.squirrel@mail.irisa.fr> <1118357500.8693.80.camel@rosella.wigram> <200506110039.18279.jon@ffconsultancy.com> <1118515162.7212.39.camel@rosella.wigram> <20050613191900.GA4326@yquem.inria.fr> <1118691131.7142.9.camel@rosella.wigram> Content-Type: text/plain Date: Tue, 14 Jun 2005 06:27:54 +1000 Message-Id: <1118694474.7142.21.camel@rosella.wigram> Mime-Version: 1.0 X-Mailer: Evolution 2.2.1.1 Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 42ADEC55.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocamlopt:01 bug:01 bug:01 cvs:01 bug-fix:01 cvs:01 segfault:01 glebe:01 wrote:01 wrote:01 sourceforge:01 nsw:01 repository:04 xavier:06 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: On Tue, 2005-06-14 at 05:32 +1000, John Skaller wrote: > On Mon, 2005-06-13 at 21:19 +0200, Xavier Leroy wrote: > > The bug is fixed in the CVS repository, 3.08 bug-fix branch. in particular: cvs update -r release308 fetches the 'bugfix' branch. I confirm, with this version, which is '3.0.8.3+3' the segfault goes away. > Thanks! Nice work finding it! And dumb question: does that mean > the main CVS branch is also fixed? [I tried .. answer is no, the main branch isn't fixed yet] -- John Skaller, skaller at users.sf.net PO Box 401 Glebe, NSW 2037, Australia Ph:61-2-96600850 Download Felix here: http://felix.sf.net