> 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