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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 6B2C47FACB
	for <caml-list@sympa.inria.fr>; Sat,  6 Sep 2014 00:18:15 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  rich@annexia.org) identity=pra; client-ip=80.68.91.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="rich@annexia.org"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@furbychan.cocan.org) identity=helo;
  client-ip=80.68.91.176;
  receiver=mail3-smtp-sop.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: Am0LAHM1ClRQRFuw/2dsb2JhbABagw1TV4IsrUcFAQEBAQEBBQFvAZgah1QBgQkWd4QEAQU6PxALGAkTEg8FKCGIWQG/OgEXhXwviFtHB4MvgR0FjymCFYQwhn2VJ4NiPC+CTwEBAQ
X-IPAS-Result: Am0LAHM1ClRQRFuw/2dsb2JhbABagw1TV4IsrUcFAQEBAQEBBQFvAZgah1QBgQkWd4QEAQU6PxALGAkTEg8FKCGIWQG/OgEXhXwviFtHB4MvgR0FjymCFYQwhn2VJ4NiPC+CTwEBAQ
X-IronPort-AV: E=Sophos;i="5.04,476,1406584800"; 
   d="scan'208";a="77933601"
Received: from furbychan.cocan.org ([80.68.91.176])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 06 Sep 2014 00:18:14 +0200
Received: from rich by furbychan.cocan.org with local (Exim 4.80)
	(envelope-from <rich@annexia.org>)
	id 1XQ1pd-0003QE-TO; Fri, 05 Sep 2014 23:18:13 +0100
Date: Fri, 5 Sep 2014 23:18:13 +0100
From: "Richard W.M. Jones" <rich@annexia.org>
To: Ashish Agarwal <agarwal1975@gmail.com>
Cc: Caml List <caml-list@inria.fr>
Message-ID: <20140905221813.GC3416@annexia.org>
References: <CAMu2m2KvnO7MSRuFJEsae1mc8zPBnjM0BU7BUpdrJOEdWXtAYA@mail.gmail.com>
 <20140905215626.GB3416@annexia.org>
 <CAMu2m2KDbhm18=rr0-DEE41D1knQ3C7Y=cgHoUQ0vqfuvk7+mA@mail.gmail.com>
 <20140905221302.GE3099@annexia.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20140905221302.GE3099@annexia.org>
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 11:13:02PM +0100, Richard W.M. Jones wrote:
> 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 ..

.. although I guess the fact that the generated code in config_j.ml is
doing a lot of Obj.magic would be the first place to be suspicious.

eg:

    let (x : postgres) =
      {
        host = Obj.magic 0.0;
...

where the host field has declared type string.  Really?

Rich.

-- 
Richard Jones
Red Hat