From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p79MfIbP008946 for ; Wed, 10 Aug 2011 00:41:18 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsUDAEO2QU7RVaE2kGdsb2JhbABCmCePEQgUAQEBAQkJDQcUBCGBQAEBAQECARICJgYBGx4DAQsGBQsHIhIjEQEFAQ4OGSKHSwKiWAqMMYJVhFs7iG0CAwaGQASHV4sxhi+GIjyDYQ X-IronPort-AV: E=Sophos;i="4.67,345,1309730400"; d="scan'208";a="115434895" Received: from mail-fx0-f54.google.com ([209.85.161.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Aug 2011 00:41:12 +0200 Received: by fxe4 with SMTP id 4so936459fxe.27 for ; Tue, 09 Aug 2011 15:41:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=date:from:to:subject:message-id:in-reply-to:references:x-mailer :mime-version:content-type:content-transfer-encoding; bh=hdv2BgdQ34L+rGB2+YaLMnZ1HwxyoFBmizJpUP2Eqbw=; b=NhYJvoy+pibYofZQ4MgxbE2FeJfgauNn2TqER8mnhic6Ms4UNVOd2jDF4BbihjUXYy Vo6ZnRaC4nlYxxyLPUIQ0Bjyi0EFJWNrl2d/y1yTad9vB2KWow0ORXMYI/bgQQm7J1oe 1TFA/kzle/BAmA+QC3S5FQIcQe0/ilSQmkL+I= Received: by 10.204.121.16 with SMTP id f16mr2070554bkr.115.1312929641087; Tue, 09 Aug 2011 15:40:41 -0700 (PDT) Received: from lemon.local.tld (164-97-133-95.pool.ukrtel.net [95.133.97.164]) by mx.google.com with ESMTPS id p6sm58577bks.17.2011.08.09.15.40.37 (version=SSLv3 cipher=OTHER); Tue, 09 Aug 2011 15:40:40 -0700 (PDT) Date: Wed, 10 Aug 2011 01:39:34 +0300 From: ygrek To: caml-list@inria.fr Message-Id: <20110810013934.da921c44795709c9f47e844c@gmail.com> In-Reply-To: References: X-Mailer: Sylpheed 3.2.0beta1 (GTK+ 2.24.4; i486-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Segmentation faults in unexpected places On Tue, 9 Aug 2011 18:16:00 -0400 Peter Frey wrote: > Thus it seems that stack overflow is not always caught (in ocalopt). $ OCAMLRUNPARAM=b ./dink 1000000 Fatal error: exception Stack_overflow Called from file "dink.ml", line 11, characters 20-67 What is your architecture and ocaml version? Also stack limits? I get Stack_overflow exception with 3.11.2 on x86 and x86_64 -- ygrek http://ygrek.org.ua