From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 304227FACB for ; Sat, 6 Sep 2014 00:18:17 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of christoph.hoeger@tu-berlin.de) identity=pra; client-ip=130.149.7.33; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christoph.hoeger@tu-berlin.de"; x-sender="christoph.hoeger@tu-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of christoph.hoeger@tu-berlin.de) identity=mailfrom; client-ip=130.149.7.33; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christoph.hoeger@tu-berlin.de"; x-sender="christoph.hoeger@tu-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail.tu-berlin.de) identity=helo; client-ip=130.149.7.33; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christoph.hoeger@tu-berlin.de"; x-sender="postmaster@mail.tu-berlin.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq4BACk2ClSClQchm2dsb2JhbABahDe3JJk+AYEIFhABAQEBAQgJCwkUKYQEAQUyAUURCxgJFg8JAwIBAgFFEwYCAQGIPr8+ARePVBaENgWSP5FkBY9THIFeOy+CTwEBAQ X-IPAS-Result: Aq4BACk2ClSClQchm2dsb2JhbABahDe3JJk+AYEIFhABAQEBAQgJCwkUKYQEAQUyAUURCxgJFg8JAwIBAgFFEwYCAQGIPr8+ARePVBaENgWSP5FkBY9THIFeOy+CTwEBAQ X-IronPort-AV: E=Sophos;i="5.04,476,1406584800"; d="scan'208";a="93257244" Received: from mail.tu-berlin.de ([130.149.7.33]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 06 Sep 2014 00:18:16 +0200 X-tubIT-Incoming-IP: 95.91.208.43 Received: from [95.91.208.43] (helo=[192.168.0.18]) by mail.tu-berlin.de (exim-4.72/mailfrontend-7) with esmtpa for id 1XQ1pe-0001x7-1m; Sat, 06 Sep 2014 00:18:15 +0200 Message-ID: <540A36A6.9030100@tu-berlin.de> Date: Sat, 06 Sep 2014 00:18:14 +0200 From: =?ISO-8859-1?Q?Christoph_H=F6ger?= Organization: Technische =?ISO-8859-1?Q?Universit=E4t_Berlin?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.7.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <20140905215626.GB3416@annexia.org> <20140905221302.GE3099@annexia.org> In-Reply-To: <20140905221302.GE3099@annexia.org> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-PMX-Version: 6.0.0.2142326, Antispam-Engine: 2.7.2.2107409, Antispam-Data: 2014.9.5.221221 X-PMX-Spam: Gauge=IIIIIII, Probability=0%, Report='' Subject: Re: [Caml-list] segfault in simple program with 4.02 native -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 output_string calls unsafe_output_string after getting the string length. Both are external. Could you attempt to print the string length before you print the string (don't forget to flush the buffer). My take is, the input argument is not a string at all. Am 06.09.2014 00:13, schrieb Richard W.M. Jones: > 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. > - -- Christoph Höger Technische Universität Berlin Fakultät IV - Elektrotechnik und Informatik Übersetzerbau und Programmiersprachen Sekr. TEL12-2, Ernst-Reuter-Platz 7, 10587 Berlin Tel.: +49 (30) 314-24890 E-Mail: christoph.hoeger@tu-berlin.de -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlQKNqYACgkQhMBO4cVSGS8/egCglmUwz2XBaRkkCFwvSVaIlEgN HrgAnRRN0mzuu1GlYgclglAK7961sGXp =1tGf -----END PGP SIGNATURE-----