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
Re: [Caml-list] Segv while compiling ocaml-3.04
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-12-22 (14:45)
From: Pixel <pixel@m...>
Subject: Re: [Caml-list] Segv while compiling ocaml-3.04
Xavier Leroy <xavier.leroy@inria.fr> 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*

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