From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <benedikt.meurer@googlemail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id 122017ED26
	for <caml-list@sympa.inria.fr>; Thu, 24 May 2012 21:40:22 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AiICAEKOvk/RVdS0imdsb2JhbABDtF4IIgEBAQoJDQcSBiOCFQEBAQMBEgImBgEBNwEECwsLKQcLNAEFARwGNYdcAQMGBQSdBQkDimSELgEFhQYKQA2JSAaKf4RAYJUbiR6Edz2ECg
X-IronPort-AV: E=Sophos;i="4.75,652,1330902000"; 
   d="scan'208";a="145128678"
Received: from mail-wi0-f180.google.com ([209.85.212.180])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 May 2012 21:40:19 +0200
Received: by wibhj6 with SMTP id hj6so142093wib.9
        for <caml-list@inria.fr>; Thu, 24 May 2012 12:40:19 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=20120113;
        h=subject:mime-version:content-type:from:in-reply-to:date:cc
         :content-transfer-encoding:message-id:references:to:x-mailer;
        bh=+ymMRtCp+p3l7hi4ohhaE9+jjIInGjIIcPLwaZ6eleo=;
        b=FzV9fUk8YSeHDO/3AY9fAdTfBoJRyCD0pgFu6jrishRsZP07vpB08mi/aKLFsHrEOM
         92z+YFuVHL3c9X+RuMejqFBeAHKtdVwsrHZ3sz75U9DcPgwx+Azv2RnsM7aEaxAAYqFj
         vi+zVffxWudhk71gOLMA51bEo0uLKd3d//xcFiu/YiXWwGCp7LEwViRWYlBPCAN8WcYL
         sYnyMGWp+3FEe6hzFbodqpKkRrDFqrQW9ZC4M/955bPgudxob2AP2YpXmlVM9z/HswcY
         bibyDt9DfKDB15w7UBZK8dsEKclIcxxAbYMpihRDFMjjKWH2cejh7dmmldsow+mJaRqn
         x9Lw==
Received: by 10.180.84.35 with SMTP id v3mr1232884wiy.20.1337888419481;
        Thu, 24 May 2012 12:40:19 -0700 (PDT)
Received: from tatooine.in.benediktmeurer.de (ip-95-223-170-32.unitymediagroup.de. [95.223.170.32])
        by mx.google.com with ESMTPS id gv7sm32777904wib.4.2012.05.24.12.40.18
        (version=TLSv1/SSLv3 cipher=OTHER);
        Thu, 24 May 2012 12:40:18 -0700 (PDT)
Mime-Version: 1.0 (Apple Message framework v1278)
Content-Type: text/plain; charset=us-ascii
From: Benedikt Meurer <benedikt.meurer@googlemail.com>
In-Reply-To: <20120519094619.GC26422@annexia.org>
Date: Thu, 24 May 2012 21:40:23 +0200
Cc: Benedikt Meurer <benedikt.meurer@googlemail.com>,
 caml-list@inria.fr
Content-Transfer-Encoding: quoted-printable
Message-Id: <33619746-C61E-4A10-B892-69BDFA4F68F8@gmail.com>
References: <20120515171144.GC18493@annexia.org> <7D441166-F24B-44CC-A8EE-E5D2BCB357BC@gmail.com> <20120515180143.GZ18947@annexia.org> <6F6DA73D-36C7-43D8-A03A-7DDD066E6113@gmail.com> <20120516154632.GA18383@annexia.org> <C10EB135-966B-4996-8430-DC326D6B9F88@gmail.com> <20120519094619.GC26422@annexia.org>
To: Richard W.M. Jones <rich@annexia.org>
X-Mailer: Apple Mail (2.1278)
Subject: [Caml-list] Re: segfault in camomile / gen_mappings.ml (was: Re:
 Anyone using Benedikt Meurer's new ARM code generator?)


On May 19, 2012, at 11:46 , Richard W.M. Jones wrote:

> It's not going to be very helpful, but I found that applying the
> following patch makes the segfault go away.
>=20
> Which makes me think .. Does ARM have arbitrary limits on text or data
> size?  Does alignment matter?  Are empty match cases handled as a
> special case by either ocamlopt or the new code generator?

There are a few constraints for ARM, but that shouldn't matter in this case=
. I wasn't able to have a closer look yet, maybe the weekend provides some =
spare time. Can you file a bug report and attach the information collected =
so far?

> Rich.

Benedikt=