caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Jean-Marie Gaillourdet <jm@gaillourdet.net>
To: caml-list <caml-list@yquem.inria.fr>
Subject: Regarding Bug 4064 on MacOSX Intel
Date: Fri, 21 Jul 2006 16:13:23 +0200	[thread overview]
Message-ID: <C7B04117-B0DB-41D4-98A0-7E025505D438@gaillourdet.net> (raw)

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,

sorry for posting this to the list but I tried to get an account for  
the bug tracking system, but it didn't work.

This an additional note to Bug 4064.

The same bug, i.e. with the same backtrace in gdb, appears when  
compiling fjavac from http://www.cis.upenn.edu/~stse/javac/ 
fjavac-0.4.3.tgz

That package includes ocfgc a parser generator. For instuctions to  
reproduce that behavior look at the end of the mail.
I think this is easier to reproduce and debug than the original  
instructions because ocfgc does not involve lablgtk or other C  
interfacing code except the unix module of ocaml itself.
This crash does not occur with the bytecode-compiled version, ocfgc.

This is happening with MacOS X 10.4.7 on a MacBookPro and cvs  
checkedout version of today:  
CVSROOT=:pserver:anoncvs@camlcvs.inria.fr:/caml cvs -z3 co -r  
ocaml3092 -P  ocaml
I didn't change anything in the ocaml sources.

Best regards,
   Jean-Marie


$ tar xzvf fjvac-0.4.3.tgz
$ cd fjavac-0.4.3
$ make
<snipped some output>
./ocfgcx java.g j
Generating scanner definitions in file jscan.mll...
Generating syntax definitions in file jsyntax.ml...
Generating parser definitions in file jparse.ml...
make: *** [jsyntax.ml] Bus error
make: *** Deleting file `jsyntax.ml'
$ gdb ./ocfgcx
GNU gdb 6.1-20040303 (Apple version gdb-437) (Fri Jan 13 18:45:48 GMT  
2006)
Copyright 2004 Free Software Foundation, Inc.
GDB is free software, covered by the GNU General Public License, and  
you are
welcome to change it and/or distribute copies of it under certain  
conditions.
Type "show copying" to see the conditions.
There is absolutely no warranty for GDB.  Type "show warranty" for  
details.
This GDB was configured as "i386-apple-darwin"...Reading symbols for  
shared libraries .. done

(gdb) r java.g j
Starting program: /Users/jmg/software/src/fjavac-0.4.3/ocfgcx java.g j
Reading symbols for shared libraries . done
Generating scanner definitions in file jscan.mll...
Generating syntax definitions in file jsyntax.ml...
Generating parser definitions in file jparse.ml...

Program received signal EXC_BAD_ACCESS, Could not access memory.
Reason: KERN_PROTECTION_FAILURE at address: 0x00000000
0x0003e693 in caml_oldify_local_roots ()
(gdb) bt
#0  0x0003e693 in caml_oldify_local_roots ()
#1  0x000402f3 in caml_empty_minor_heap ()
#2  0x000403e7 in caml_minor_collection ()
#3  0x0003ee7a in caml_garbage_collection ()
#4  0x0004cea0 in caml_call_gc ()
Previous frame inner to this frame (corrupt stack?)
(gdb)




-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (Darwin)

iD8DBQFEwOEHNIUNP/I5YOgRAhEpAJwMz7LJvpnRJtmjp4/jUJtm8VNJFQCfUD8l
0jZzQbIDMDDSF6lpWMllA9c=
=NqZL
-----END PGP SIGNATURE-----


             reply	other threads:[~2006-07-21 14:12 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-07-21 14:13 Jean-Marie Gaillourdet [this message]
2006-07-25 15:04 ` [Caml-list] " Xavier Leroy

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=C7B04117-B0DB-41D4-98A0-7E025505D438@gaillourdet.net \
    --to=jm@gaillourdet.net \
    --cc=caml-list@yquem.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).