From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 731C1BBE1 for ; Wed, 11 Oct 2006 21:25:39 +0200 (CEST) Received: from moutng.kundenserver.de (moutng.kundenserver.de [212.227.126.187]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k9BJPct9019799 for ; Wed, 11 Oct 2006 21:25:39 +0200 Received: from [84.58.171.99] (helo=gate.lan.gerd-stolpmann.de) by mrelayeu.kundenserver.de (node=mrelayeu6) with ESMTP (Nemesis), id 0ML29c-1GXjhm1xAv-0008PK; Wed, 11 Oct 2006 21:25:36 +0200 Received: from flakew.lan.gerd-stolpmann.de (fw.lan.gerd-stolpmann.de [192.168.1.1]) by gate.lan.gerd-stolpmann.de (Postfix) with ESMTP id 18FADC0AD; Wed, 11 Oct 2006 21:25:24 +0200 (CEST) Subject: Re: [Caml-list] Missing overflow exception message in ocamlopt From: Gerd Stolpmann To: Richard Jones Cc: caml-list@yquem.inria.fr In-Reply-To: <20061011191747.GB25358@furbychan.cocan.org> References: <43CD2D195487A448934920501C6EDB23026B233F@WIN-MSG-21.wingroup.windeploy.ntdev.microsoft.com> <200610112003.20262.jon@ffconsultancy.com> <20061011191747.GB25358@furbychan.cocan.org> Content-Type: text/plain Date: Wed, 11 Oct 2006 21:25:23 +0200 Message-Id: <1160594723.27599.5.camel@localhost.localdomain> Mime-Version: 1.0 X-Mailer: Evolution 2.6.1 Content-Transfer-Encoding: 7bit X-Provags-ID: kundenserver.de abuse@kundenserver.de login:a6865a839c0178d9aa0ce41878507ea2 X-Miltered: at concorde with ID 452D4532.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocamlopt:01 gerd:01 stolpmann:01 byte:01 stack:01 ocamlopt:01 ocaml:01 stack:01 ocaml:01 runtime:01 segfault:01 gerd:01 stolpmann:01 viktoriastr:01 64293:01 Am Mittwoch, den 11.10.2006, 20:17 +0100 schrieb Richard Jones: > On Wed, Oct 11, 2006 at 08:03:20PM +0100, Jon Harrop wrote: > > On Wednesday 11 October 2006 19:46, Jakob Lichtenberg wrote: > > > When I compile the following program as byte code I see a stack overflow > > > (expected). When using ocamlopt it seems that the program dies and I do > > > not see the expected overflow exception? > > > > OCaml doesn't always throw the Stack_overflow exception from native code. On > > some systems it seg faults. > > Does it _ever_ throw a Stack_overflow in native code?? I've never > seen it. Sometimes. Depends on the platform and how well-debugged the ocaml runtime for the platform is. This is quite tricky because you need to catch the segfault (that always happens), switch to an alternate stack, and then unwind the original stack. Gerd -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ------------------------------------------------------------