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 XAA17422; Thu, 20 Dec 2001 23:49:26 +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 XAA17639 for ; Thu, 20 Dec 2001 23:49:26 +0100 (MET) Received: from mail6.speakeasy.net (mail6.speakeasy.net [216.254.0.206]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id fBKMnOf29559 for ; Thu, 20 Dec 2001 23:49:25 +0100 (MET) Received: (qmail 8689 invoked from network); 20 Dec 2001 22:49:18 -0000 Received: from unknown (HELO kronstadt) ([64.81.49.223]) (envelope-sender ) by mail6.speakeasy.net (qmail-ldap-1.03) with SMTP for ; 20 Dec 2001 22:49:18 -0000 Received: from itz by kronstadt with local (Exim 3.22 #1 (Debian)) id 16HC05-0006eM-00 for ; Thu, 20 Dec 2001 14:49:17 -0800 To: caml-list@inria.fr (OCAML) Subject: Re: [Caml-list] Segv while compiling ocaml-3.04 References: <3C19BAB4.13372263@univ-savoie.fr> <20011220115014.B5544@pauillac.inria.fr> From: Ian Zimmerman Date: 20 Dec 2001 14:49:17 -0800 In-Reply-To: <20011220115014.B5544@pauillac.inria.fr> Message-ID: <86u1ul5wya.fsf@speakeasy.org> User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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. Sophocles. ------------------- 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