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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 1D4F07ED26 for ; Fri, 25 May 2012 11:01:08 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak0JAAtJv09QRFuw/2dsb2JhbAAqGrN3BIEfgQeCFQEBBTo/EAsYHAcLFCghiCQHKbsnhUGFQDmFDQOVF4EQiA+GUoJh X-IronPort-AV: E=Sophos;i="4.75,655,1330902000"; d="scan'208";a="145186065" Received: from furbychan.cocan.org ([80.68.91.176]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 25 May 2012 11:01:07 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.72) (envelope-from ) id 1SXqOQ-00035B-Gr; Fri, 25 May 2012 10:01:06 +0100 Date: Fri, 25 May 2012 10:01:06 +0100 From: "Richard W.M. Jones" To: Benedikt Meurer Cc: caml-list@inria.fr Message-ID: <20120525090106.GK26422@annexia.org> 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> <20120519094619.GC26422@annexia.org> <33619746-C61E-4A10-B892-69BDFA4F68F8@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <33619746-C61E-4A10-B892-69BDFA4F68F8@gmail.com> User-Agent: Mutt/1.5.20 (2009-06-14) Subject: [Caml-list] Re: segfault in camomile / gen_mappings.ml (was: Re: Anyone using Benedikt Meurer's new ARM code generator?) On Thu, May 24, 2012 at 09:40:23PM +0200, Benedikt Meurer wrote: > > 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. > > > > 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? I filed this bug report: http://caml.inria.fr/mantis/view.php?id=5623 Rich. -- Richard Jones Red Hat