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 94FAC7FACB for ; Fri, 5 Sep 2014 23:33:33 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of agarwal1975@gmail.com) identity=pra; client-ip=209.85.216.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of agarwal1975@gmail.com designates 209.85.216.47 as permitted sender) identity=mailfrom; client-ip=209.85.216.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; 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@mail-qa0-f47.google.com) identity=helo; client-ip=209.85.216.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="postmaster@mail-qa0-f47.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApkBAJwrClTRVdgvlGdsb2JhbABag2BXBIJ4xhaHTIEBCBYQAQEBAQcLCwkSK4N6IhEdARseAxIIAQc3AiQBEQEFASIbGogLAQMRDZpFgxlriyuBcoMQiQsKGScNZoV0AREBAQQOjzuDBIFTBZVuhn6TNBgphS4hL4JPAQEB X-IPAS-Result: ApkBAJwrClTRVdgvlGdsb2JhbABag2BXBIJ4xhaHTIEBCBYQAQEBAQcLCwkSK4N6IhEdARseAxIIAQc3AiQBEQEFASIbGogLAQMRDZpFgxlriyuBcoMQiQsKGScNZoV0AREBAQQOjzuDBIFTBZVuhn6TNBgphS4hL4JPAQEB X-IronPort-AV: E=Sophos;i="5.04,475,1406584800"; d="scan'208";a="93253832" Received: from mail-qa0-f47.google.com ([209.85.216.47]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 05 Sep 2014 23:33:32 +0200 Received: by mail-qa0-f47.google.com with SMTP id x12so11525625qac.6 for ; Fri, 05 Sep 2014 14:33:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to:content-type; bh=OswsO9J0rxmBBECCkDBC8RqzGpQ9E6IFST+hkaM43i0=; b=ZKGqiLpGLnvxwBPKWtZfMVeKTZ1dp/DGVBxFmNGnCDicC1ugXuGwNKxax3P93qD6/y jt0pGOYAiI/s6QwoIhpj8elcD9KPseZCScJldCsU9aLwrbCmCxDh9kCdcCNiDwORs+ck ZquJR73Y7CXdzCXTQqCqBZP8Q8A5wHfuT3scusMQakM0c9JTtbnjV4ufmU6Uv69N24dd gVUXNPdQd9bbWfdYymsHkhi/LVk52xS4gDBQys+t8sm0f2vOKkqSawad6hhXjTctUzJP 0NNwG/81ivJQYohRetdwQgoC/GenuKbOnX4e3jgcoRqG9JWPPlEaHhtOVy9NGfIB8rRB JtiQ== X-Received: by 10.224.157.7 with SMTP id z7mr21010267qaw.26.1409952811923; Fri, 05 Sep 2014 14:33:31 -0700 (PDT) MIME-Version: 1.0 Received: by 10.229.138.15 with HTTP; Fri, 5 Sep 2014 14:33:11 -0700 (PDT) From: Ashish Agarwal Date: Fri, 5 Sep 2014 17:33:11 -0400 Message-ID: To: Caml List Content-Type: multipart/alternative; boundary=089e0160a3d08148ed0502583878 Subject: [Caml-list] segfault in simple program with 4.02 native --089e0160a3d08148ed0502583878 Content-Type: text/plain; charset=UTF-8 https://github.com/agarwal/ocaml402_error The above link contains a simple program that segfaults when compiling with ocamlopt 4.02. Byte code doesn't segfault, nor does native code with 4.01. This is the minimal example I could come up with. It uses atdgen and is sensitive to the exact fields in the .atd file. Removing any of the fields leads to correctly functioning code. I've only tested on Mac OS X so far. In the context of my full code, I observed another behavior also. Instead of a segfault, I would get random non-ascii characters printed for the value of postgres.host, and it would be different on repeated runs of the program (I didn't even recompile in between). I can't seem to reproduce this behavior, only getting the segfault now. --089e0160a3d08148ed0502583878 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
http= s://github.com/agarwal/ocaml402_error

The above = link contains a simple program that segfaults when compiling with ocamlopt = 4.02. Byte code doesn't segfault, nor does native code with 4.01.
=

This is the minimal example I could come up with. It us= es atdgen and is sensitive to the exact fields in the .atd file. Removing a= ny of the fields leads to correctly functioning code.

<= div>I've only tested on Mac OS X so far.

In th= e context of my full code, I observed another behavior also. Instead of a s= egfault, I would get random non-ascii characters printed for the value of p= ostgres.host, and it would be different on repeated runs of the program (I = didn't even recompile in between). I can't seem to reproduce this b= ehavior, only getting the segfault now.

--089e0160a3d08148ed0502583878--