[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#583291: marked as done (menhir: segmentation fault)



Your message dated Tue, 03 Jan 2012 11:17:35 +0000
with message-id <E1Ri2N5-0004kE-JF@franck.debian.org>
and subject line Bug#583291: fixed in menhir 20111019.dfsg-1
has caused the Debian Bug report #583291,
regarding menhir: segmentation fault
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
583291: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=583291
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: menhir
Version: 20090505.dfsg-2+b1
Severity: normal

Running this command segfaults menhir:

$ echo 'EOF' | menhir --interpret foo.mly
Segmentation fault

It doesn't always segfault, running it a couple more times, sometimes I get this OCaml error:
$ echo EOF | menhir --interpret foo.mly
Fatal error: exception Stack_overflow

valgrind says:
==28472== Stack overflow in thread 1: can't grow stack to 0x7fe801ff8
==28472== Stack overflow in thread 1: can't grow stack to 0x7fe801ff0
==28472== 
==28472== Process terminating with default action of signal 11 (SIGSEGV)
==28472==  Access not within mapped region at address 0x7FE801FF0
==28472==    at 0x4B8CC8: ??? (in /usr/bin/menhir)

So it looks like the stack overflow is not always caught properly by OCaml, and
instead causes menhir to segfault.
Of course 'menhir' should stack overflow in the first place (if there is
something wrong with the grammar it should show an error message).

Here is foo.mly:
$ cat >foo.mly <<EOF
%token SEMICOLON
%token EOF
%start <unit> main
%%

main:
| SEMICOLON EOF { }
| error SEMICOLON { }
EOF

-- System Information:
Debian Release: squeeze/sid
  APT prefers unstable
  APT policy: (990, 'unstable'), (500, 'testing'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.34-rc5-00118-gf259493 (SMP w/4 CPU cores; PREEMPT)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

Versions of packages menhir depends on:
ii  libc6                         2.10.2-9   Embedded GNU C Library: Shared lib

menhir recommends no packages.

menhir suggests no packages.

-- no debconf information



--- End Message ---
--- Begin Message ---
Source: menhir
Source-Version: 20111019.dfsg-1

We believe that the bug you reported is fixed in the latest version of
menhir, which is due to be installed in the Debian FTP archive:

libmenhir-ocaml-dev_20111019.dfsg-1_amd64.deb
  to main/m/menhir/libmenhir-ocaml-dev_20111019.dfsg-1_amd64.deb
menhir_20111019.dfsg-1.diff.gz
  to main/m/menhir/menhir_20111019.dfsg-1.diff.gz
menhir_20111019.dfsg-1.dsc
  to main/m/menhir/menhir_20111019.dfsg-1.dsc
menhir_20111019.dfsg-1_amd64.deb
  to main/m/menhir/menhir_20111019.dfsg-1_amd64.deb
menhir_20111019.dfsg.orig.tar.gz
  to main/m/menhir/menhir_20111019.dfsg.orig.tar.gz



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 583291@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Mehdi Dogguy <mehdi@debian.org> (supplier of updated menhir package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


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

Format: 1.8
Date: Mon, 02 Jan 2012 18:05:48 +0100
Source: menhir
Binary: menhir libmenhir-ocaml-dev
Architecture: source amd64
Version: 20111019.dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description: 
 libmenhir-ocaml-dev - Menhir library for OCaml
 menhir     - Parser generator for OCaml
Closes: 583291
Changes: 
 menhir (20111019.dfsg-1) unstable; urgency=low
 .
   * New upstream release (Closes: #583291).
   * Bump Standards-Version to 3.9.2, no changes needed.
Checksums-Sha1: 
 f4c02c18a2be97e5aa6c73cc2d9717e3121f9bad 1759 menhir_20111019.dfsg-1.dsc
 5599646b0828cc5eaae7751c0c0d517917a405ae 259928 menhir_20111019.dfsg.orig.tar.gz
 23dfe6218bee121ee0714eb2d01fc5cbf4bd627b 5996 menhir_20111019.dfsg-1.diff.gz
 ff56fd9701468b43f21e4af6197c426650079567 484688 menhir_20111019.dfsg-1_amd64.deb
 c0658357d6d2099a8b41148cb38f8261b0562bff 52090 libmenhir-ocaml-dev_20111019.dfsg-1_amd64.deb
Checksums-Sha256: 
 5f548d885ecb46dd2a72d9ee533ad22785b082c226052b92bf244878bc3c2efe 1759 menhir_20111019.dfsg-1.dsc
 3e68bd8e53101becd39a0b68a5d03d33c90be65f270944e40047ef4dc99d5c9d 259928 menhir_20111019.dfsg.orig.tar.gz
 c0a255f949820bc3e64ca52882c09d44e3179d4699439a2a7beae19786b89c7a 5996 menhir_20111019.dfsg-1.diff.gz
 1364a92f734f83d16a1f9d27358f86ef904187c3fa6706a89a96578f74f82121 484688 menhir_20111019.dfsg-1_amd64.deb
 18fdedbd7e49ebd9280cfd63a846f66f4bfc945c2f4e28b1d1c38727d7a70cbd 52090 libmenhir-ocaml-dev_20111019.dfsg-1_amd64.deb
Files: 
 f18caec5b96ea2885dfcf776235b88a0 1759 devel optional menhir_20111019.dfsg-1.dsc
 67ca83c64a7bab895d5c7dc478446ade 259928 devel optional menhir_20111019.dfsg.orig.tar.gz
 4e870acad7c85145ace4c4ca747cd612 5996 devel optional menhir_20111019.dfsg-1.diff.gz
 efef9ec5f9978a58e4605b3b9cc24ecc 484688 devel optional menhir_20111019.dfsg-1_amd64.deb
 7ea6eb87ba992127a03d8349fd52cdd6 52090 ocaml optional libmenhir-ocaml-dev_20111019.dfsg-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQEcBAEBAgAGBQJPAuIxAAoJEDe1GR0FRlJoDBYH/0awBOZqm4gCE5tUOPPlLlJA
+9hSbKkfWNrC5LtANOq8rhXt6sJDjoxfwg5tZkpDCqDYHIxCDlPrGSiS3sD7g0fL
/dLnZriwgN266XEO5AUx9icOkPEatgk1zKj1kArzCrZ2A0M4yNg/RdHSUuSIAv7h
kNaXlPRgSF5uI4TBkO0pO1eohtcMuZmgfZ70eTKVXWr6ZbtI7vLG13tXe+R0jw4t
2YYXBock3TI/nLqkx8zdj192KAm5Nz3YqRLIl0Voc6ZKUZIbNhW0JJFxJHDwAABx
u1CVb+MweJoxcwGBDqUy0wWppAEAtccuO7AatirF8InZ5kl4/X7em9R8HPTV/TE=
=YkuA
-----END PGP SIGNATURE-----



--- End Message ---

Reply to: