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
[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-20 (22:49)
From: Ian Zimmerman <itz@s...>
Subject: Re: [Caml-list] Segv while compiling ocaml-3.04

Xavier> We've observed similar hard-to-reproduce segmentation faults
Xavier> on a Linux RedHat 7.2 machine.  After some tracking, it turns
Xavier> out to be a bug in gcc version 2.96 20000731 -- the
Xavier> "unofficial" gcc that RH 7.2 uses; I don't know which version
Xavier> of gcc your Mandrake has.

Xavier> For those who are interested, the bug is that gcc forgets to
Xavier> allocate a stack frame in a leaf function, thus accessing the
Xavier> stack "below" the stack pointer.  If there are no interrupts
Xavier> during the leaf function, it still works; but any interrupt
Xavier> wipes the memory area just below the stack pointer, and the
Xavier> function crashes...

Xavier> We're trying to figure out a workaround, and will release
Xavier> updated RPMs and SRPMs.

Is it worth polluting the source for the sake of an out-and-out vendor
bug?  I'd say no.

Ian Zimmerman, Oakland, California, U.S.A.
GPG: 433BA087  9C0F 194F 203A 63F7 B1B8  6E5A 8CA3 27DB 433B A087
In his own soul a man bears the source
from which he draws all his sorrows and his joys.
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