From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rich@annexia.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 0C7737FACB
	for <caml-list@sympa.inria.fr>; Sat,  6 Sep 2014 00:13:05 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  rich@annexia.org) identity=pra; client-ip=80.68.91.176;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="rich@annexia.org"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  rich@annexia.org designates 80.68.91.176 as permitted sender)
  identity=mailfrom; client-ip=80.68.91.176;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="rich@annexia.org"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@furbychan.cocan.org) identity=helo;
  client-ip=80.68.91.176;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="postmaster@furbychan.cocan.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AlQLANw0ClRQRFuw/2dsb2JhbABagw2xHQUBAQICBQFvAZxPgx8BgQkWd4QEAQU6PxALGAkTEg8FKCGIWQG/OQEXhXwviSIHgy+BHQWPKYIViy2VJ4NiPIJ+AQEB
X-IPAS-Result: AlQLANw0ClRQRFuw/2dsb2JhbABagw2xHQUBAQICBQFvAZxPgx8BgQkWd4QEAQU6PxALGAkTEg8FKCGIWQG/OQEXhXwviSIHgy+BHQWPKYIViy2VJ4NiPIJ+AQEB
X-IronPort-AV: E=Sophos;i="5.04,476,1406584800"; 
   d="scan'208";a="93256849"
Received: from furbychan.cocan.org ([80.68.91.176])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 06 Sep 2014 00:13:03 +0200
Received: from rich by furbychan.cocan.org with local (Exim 4.80)
	(envelope-from <rich@annexia.org>)
	id 1XQ1kc-0003Pa-Jg; Fri, 05 Sep 2014 23:13:02 +0100
Date: Fri, 5 Sep 2014 23:13:02 +0100
From: "Richard W.M. Jones" <rich@annexia.org>
To: Ashish Agarwal <agarwal1975@gmail.com>
Cc: Caml List <caml-list@inria.fr>
Message-ID: <20140905221302.GE3099@annexia.org>
References: <CAMu2m2KvnO7MSRuFJEsae1mc8zPBnjM0BU7BUpdrJOEdWXtAYA@mail.gmail.com>
 <20140905215626.GB3416@annexia.org>
 <CAMu2m2KDbhm18=rr0-DEE41D1knQ3C7Y=cgHoUQ0vqfuvk7+mA@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CAMu2m2KDbhm18=rr0-DEE41D1knQ3C7Y=cgHoUQ0vqfuvk7+mA@mail.gmail.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
Subject: Re: [Caml-list] segfault in simple program with 4.02 native

On Fri, Sep 05, 2014 at 06:06:55PM -0400, Ashish Agarwal wrote:
> I increased the stack size to 65532, which is apparently the max allowed on
> a Mac, and it doesn't change the behavior.

Yup.  I was able to reproduce this on the non-core version, and indeed
increasing the stack to unlimited on Linux does not help.

The stack trace is simple:

#0  0x00000000004543f4 in camlPervasives__output_string_1198 ()
#1  0x0000000000472093 in camlCamlinternalFormat__output_acc_60624 ()
#2  0x0000000000473a32 in camlPrintf__fun_1062 ()
#3  0x000000000041e776 in camlApp__entry ()
#4  0x000000000041c5f9 in caml_program ()
#5  0x0000000000497f7e in caml_start_program ()
#6  0x000000000049813d in __libc_csu_init ()
#7  0x00007ffff7317d65 in __libc_start_main () from /lib64/libc.so.6
#8  0x000000000041c2e9 in _start ()

I'm just installing debuginfo so I can get more symbols ..

Rich.

-- 
Richard Jones
Red Hat