caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: "Richard W.M. Jones" <rich@annexia.org>
To: Benedikt Meurer <benedikt.meurer@googlemail.com>
Cc: caml-list@inria.fr
Subject: [Caml-list] segfault in camomile / gen_mappings.ml (was: Re: Anyone using Benedikt Meurer's new ARM code generator?)
Date: Sat, 19 May 2012 10:46:19 +0100	[thread overview]
Message-ID: <20120519094619.GC26422@annexia.org> (raw)
In-Reply-To: <C10EB135-966B-4996-8430-DC326D6B9F88@gmail.com>

[-- Attachment #1: Type: text/plain, Size: 341 bytes --]


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

[-- Attachment #2: gen_mappings.ml.patch --]
[-- Type: text/x-diff, Size: 434 bytes --]

--- /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

  parent reply	other threads:[~2012-05-19  9:46 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-05-15 17:11 [Caml-list] Anyone using Benedikt Meurer's new ARM code generator? Richard W.M. Jones
2012-05-15 17:31 ` [Caml-list] " Benedikt Meurer
2012-05-15 17:34   ` Richard W.M. Jones
2012-05-15 18:10     ` Markus Mottl
2012-05-15 18:28       ` Joel Reymont
2012-05-15 19:05         ` Richard W.M. Jones
2012-05-15 19:22           ` Daniel Bünzli
2012-05-15 19:33           ` Ashish Agarwal
2012-05-15 19:48             ` Mehdi Dogguy
     [not found]   ` <20120515180143.GZ18947@annexia.org>
     [not found]     ` <6F6DA73D-36C7-43D8-A03A-7DDD066E6113@gmail.com>
     [not found]       ` <20120516154632.GA18383@annexia.org>
     [not found]         ` <C10EB135-966B-4996-8430-DC326D6B9F88@gmail.com>
2012-05-19  9:46           ` Richard W.M. Jones [this message]
2012-05-24 19:40             ` [Caml-list] Re: segfault in camomile / gen_mappings.ml (was: Re: Anyone using Benedikt Meurer's new ARM code generator?) Benedikt Meurer
2012-05-25  9:01               ` Richard W.M. Jones

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20120519094619.GC26422@annexia.org \
    --to=rich@annexia.org \
    --cc=benedikt.meurer@googlemail.com \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).