From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: by yquem.inria.fr (Postfix, from userid 25991) id A2C0CBC57; Mon, 15 Nov 2010 19:50:16 +0100 (CET) Date: Mon, 15 Nov 2010 19:50:16 +0100 From: Daniel de Rauglaudre To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Causes for segfaults Message-ID: <20101115185016.GC12576@yquem.inria.fr> References: <384325291.294734.1288998871132.JavaMail.root@zmbs3.inria.fr> <20101106025118.GA23041@yquem.inria.fr> <4CE1792B.3050603@coherentgraphics.co.uk> <157788745.568057.1289846305435.JavaMail.root@zmbs3.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <157788745.568057.1289846305435.JavaMail.root@zmbs3.inria.fr> User-Agent: Mutt/1.5.9i X-Spam: no; 0.00; rauglaudre:01 rauglaudre:01 segfaults:01 0100,:01 segfault:01 ocamlopt:01 segfault:01 ocaml:01 runtime:01 brandon:98 wrote:01 stack:01 rec:01 ints:01 ints:01 On Mon, Nov 15, 2010 at 07:38:25PM +0100, Jamie Brandon wrote: > jamie@jamie-aspire:~$ cat > segfault.ml > let rec ints n = n :: ints (n+1) > let _ = ints 0 > jamie@jamie-aspire:~$ ocamlopt segfault.ml > jamie@jamie-aspire:~$ ./a.out > Segmentation fault Stack overflow in native code triggers a segmentation fault, indeed. I think in C, it is the same thing. Not tested in the OCaml runtime for efficiency purposes, I think. -- Daniel de Rauglaudre http://pauillac.inria.fr/~ddr/