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 OAA08771; Thu, 20 Dec 2001 14:01:45 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA09070 for caml-list@pauillac.inria.fr; Thu, 20 Dec 2001 14:01:45 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA06833 for ; Thu, 20 Dec 2001 12:32:42 +0100 (MET) Received: from smtp2.9tel.net (smtp2.9tel.net [212.30.96.123]) by concorde.inria.fr (8.11.1/8.11.1) with SMTP id fBKBWgn21234 for ; Thu, 20 Dec 2001 12:32:42 +0100 (MET) Received: (qmail 27083 invoked from network); 20 Dec 2001 11:32:41 -0000 Received: from unknown (HELO univ-savoie.fr) (213.203.69.212) by 0 with SMTP; 20 Dec 2001 11:32:41 -0000 Message-ID: <3C21C4E4.D7AA5295@univ-savoie.fr> Date: Thu, 20 Dec 2001 12:00:52 +0100 From: Christophe Raffalli Organization: =?iso-8859-1?Q?Universit=E9?= de Savoie X-Mailer: Mozilla 4.78 [fr] (X11; U; Linux 2.4.8-26mdk i686) X-Accept-Language: en MIME-Version: 1.0 To: Xavier Leroy CC: caml-list@inria.fr Subject: Re: [Caml-list] Segv while compiling ocaml-3.04 References: <3C19BAB4.13372263@univ-savoie.fr> <20011220115014.B5544@pauillac.inria.fr> Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > We've observed similar hard-to-reproduce segmentation faults on a > Linux RedHat 7.2 machine. After some tracking, it turns out to be a > bug in gcc version 2.96 20000731 -- the "unofficial" gcc that RH 7.2 > uses; I don't know which version of gcc your Mandrake has. My bug is very easy to reproduce, but I indeed use gcc 2.96 (coming with Mandrake 8.1 by default). I can install gcc 3.0, will it work ? -- Christophe Raffalli Université de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tél: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI ------------------- 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