From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA08814; Sat, 22 Dec 2001 15:45:12 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA08881 for ; Sat, 22 Dec 2001 15:45:12 +0100 (MET) Received: from leia.mandrakesoft.com (office.mandrakesoft.com [195.68.114.34]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id fBMEjB928638; Sat, 22 Dec 2001 15:45:11 +0100 (MET) Received: by leia.mandrakesoft.com (Postfix, from userid 505) id F1CA0572C; Sat, 22 Dec 2001 15:44:07 +0100 (CET) To: Xavier Leroy Cc: Gwenole Beauchesne , caml-list@inria.fr Subject: Re: [Caml-list] Segv while compiling ocaml-3.04 References: <200112170931.KAA0000003112@beaune.inria.fr> <3C1DB4A6.A1B4462@univ-savoie.fr> <20011221140107.A26653@pauillac.inria.fr> From: Pixel Date: 22 Dec 2001 15:44:07 +0100 In-Reply-To: <20011221140107.A26653@pauillac.inria.fr> Message-ID: User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Xavier Leroy writes: [...] > For those who are worried about it, the purity of the OCaml source > code isn't affected: the patch simply selects gcc compilation options > (-fomit-frame-pointer) that seem to work around the bug. I find it quite funny that *adding* an optimisation makes things work. Since 2.96 (also true for 3.0), gcc has been much better at tail-call'ing, tail-recursion. Most of the bugs appearing in 2.96 were caused by using "-O3" together with "-fomit-frame-pointer". The solution was to *remove* "-fomit-frame-pointer" For information, i've had problems with ocaml 3.02 built with -O3 -fomit-frame-pointer. -O3 works nicely. > As to which versions of gcc are affected: gcc 2.96 from RH 7.2 and > Mandrake 8.1 are, I've not been able to reproduce under 8.1 (taking your srpm and removing the patch) Mandrake and Redhat have been using gcc 2.96 for quite a long time now. Mandrake 8.0 and redhat 7.1 have it. But beware that these gcc's are heavily patched and evolved a lot. [...] > I'm certain that 2.95.2 is not, and believe that 3.0 > isn't either, but this has to be checked carefully. 3.0 is not very stable. Redhat's rawhide has switched to pre-3.1 cvs version. About version gcc versions, check http://www.bero.org/gcc296.html ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr