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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id B30797ED1A for ; Sat, 19 May 2012 11:46:20 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgsKACRrt09QRFuw/2dsb2JhbABFsmsDgRyBB4IWAQUnUhA/BwsUKCGIJbxDi16EEmIDjjiBHYVFiR+GUoJq X-IronPort-AV: E=Sophos;i="4.75,621,1330902000"; d="scan'208";a="158964989" Received: from furbychan.cocan.org ([80.68.91.176]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 19 May 2012 11:46:20 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.72) (envelope-from ) id 1SVgEt-0000QZ-HQ; Sat, 19 May 2012 10:46:19 +0100 Date: Sat, 19 May 2012 10:46:19 +0100 From: "Richard W.M. Jones" To: Benedikt Meurer Cc: caml-list@inria.fr Message-ID: <20120519094619.GC26422@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> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="9amGYk9869ThD9tj" Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) Subject: [Caml-list] segfault in camomile / gen_mappings.ml (was: Re: Anyone using Benedikt Meurer's new ARM code generator?) --9amGYk9869ThD9tj Content-Type: text/plain; charset=us-ascii Content-Disposition: inline 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? Rich. -- Richard Jones Red Hat --9amGYk9869ThD9tj Content-Type: text/x-diff; charset=us-ascii Content-Disposition: attachment; filename="gen_mappings.ml.patch" --- /tmp/camomile-0.8.3/mappings/gen_mappings.ml 2011-05-20 10:40:49.000000000 +0100 +++ mappings/gen_mappings.ml 2012-05-19 10:42:42.961692259 +0100 @@ -159,7 +159,8 @@ | _ -> ()) | TW -> (match String.length enc with - 1 -> () (*ascii*) + 1 -> + print_string ""; () (*ascii*) | 2 -> (*CNS 11643 Plane 1*) let enc1 = Char.code enc.[0] in let enc2 = Char.code enc.[1] in --9amGYk9869ThD9tj--