Bug#294753: marked as done (ocaml bug, Segmentation fault on a function reference)
Your message dated Mon, 07 Nov 2005 04:47:22 -0800
with message-id <E1EZ6PC-0002y7-00@spohr.debian.org>
and subject line Bug#294753: fixed in ocaml 3.09.0-1
has caused the attached Bug report 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 I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--------------------------------------
Received: (at submit) by bugs.debian.org; 11 Feb 2005 14:00:13 +0000
>From jurjen@stwerff.xs4all.nl Fri Feb 11 06:00:13 2005
Return-path: <jurjen@stwerff.xs4all.nl>
Received: from stwerff.xs4all.nl (protactive.stwerff.xs4all.nl) [213.84.145.135]
by spohr.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1CzbLB-0007Zu-00; Fri, 11 Feb 2005 06:00:13 -0800
Received: from localhost (protactive.stwerff.xs4all.nl [127.0.0.1])
by protactive.stwerff.xs4all.nl (Postfix) with ESMTP id BA5EA7D
for <submit@bugs.debian.org>; Fri, 11 Feb 2005 14:59:41 +0100 (CET)
Received: from protactive.stwerff.xs4all.nl ([127.0.0.1])
by localhost (protactive.stwerff.xs4all.nl [127.0.0.1]) (amavisd-new, port 10024)
with ESMTP id 09697-01 for <submit@bugs.debian.org>;
Fri, 11 Feb 2005 14:59:32 +0100 (CET)
Received: from linux.stwerff.xs4all.nl (linux [192.168.99.2])
by protactive.stwerff.xs4all.nl (Postfix) with ESMTP id A09177B
for <submit@bugs.debian.org>; Fri, 11 Feb 2005 14:59:31 +0100 (CET)
Received: from [192.168.98.181] (unknown [192.168.98.181])
by linux.stwerff.xs4all.nl (Postfix) with ESMTP id B0A1918407E
for <submit@bugs.debian.org>; Fri, 11 Feb 2005 14:59:25 +0100 (CET)
Message-ID: <420CBA42.7090000@stwerff.xs4all.nl>
Date: Fri, 11 Feb 2005 14:59:30 +0100
From: Jurjen Stellingwerff <jurjen@stwerff.xs4all.nl>
User-Agent: Debian Thunderbird 1.0 (X11/20050116)
X-Accept-Language: en-us, en
MIME-Version: 1.0
To: submit@bugs.debian.org
Subject: ocaml bug, Segmentation fault on a function reference
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Virus-Scanned: by amavisd-new-20030616-p10 at stwerff.xs4all.nl
Delivered-To: submit@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Status: No, hits=-8.0 required=4.0 tests=BAYES_00,HAS_PACKAGE
autolearn=no version=2.60-bugs.debian.org_2005_01_02
X-Spam-Level:
Package: ocaml
Version: 3.08.2-1
The following program compiles but generates a segmentation fault.
test.mli:
val test: unit -> unit
test.ml
open Test
;;
let fn=test
;;
let test ()=
print_string "Hello world!\n"
;;
fn ()
$ ocamlopt test.mli
$ ocamlopt -o test test.ml
$ ./test
Segmentation fault
(gdb) bt
#0 0x0804977f in camlTest__entry ()
#1 0x080494b1 in caml_startup__code_begin ()
#2 0x0805619a in caml_start_program ()
#3 0x00000000 in ?? ()
#4 0xbffff898 in ?? ()
#5 0xbffff93c in ?? ()
#6 0xbffff934 in ?? ()
#7 0x0805b0e0 in caml_termination_hook ()
#8 0x0805649e in caml_main ()
Previous frame inner to this frame (corrupt stack?)
It seams that the function test can not be referenced in the executable
before its definition. But it is already known because of the .mli file.
Jurjen Stellingwerff
---------------------------------------
Received: (at 294753-close) by bugs.debian.org; 7 Nov 2005 12:53:07 +0000
>From katie@spohr.debian.org Mon Nov 07 04:53:06 2005
Return-path: <katie@spohr.debian.org>
Received: from katie by spohr.debian.org with local (Exim 3.36 1 (Debian))
id 1EZ6PC-0002y7-00; Mon, 07 Nov 2005 04:47:22 -0800
From: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
To: 294753-close@bugs.debian.org
X-Katie: $Revision: 1.56 $
Subject: Bug#294753: fixed in ocaml 3.09.0-1
Message-Id: <E1EZ6PC-0002y7-00@spohr.debian.org>
Sender: Archive Administrator <katie@spohr.debian.org>
Date: Mon, 07 Nov 2005 04:47:22 -0800
Delivered-To: 294753-close@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Level:
X-Spam-Status: No, hits=-6.0 required=4.0 tests=BAYES_00,HAS_BUG_NUMBER
autolearn=no version=2.60-bugs.debian.org_2005_01_02
Source: ocaml
Source-Version: 3.09.0-1
We believe that the bug you reported is fixed in the latest version of
ocaml, which is due to be installed in the Debian FTP archive:
ocaml-base-nox_3.09.0-1_powerpc.deb
to pool/main/o/ocaml/ocaml-base-nox_3.09.0-1_powerpc.deb
ocaml-base_3.09.0-1_powerpc.deb
to pool/main/o/ocaml/ocaml-base_3.09.0-1_powerpc.deb
ocaml-compiler-libs_3.09.0-1_powerpc.deb
to pool/main/o/ocaml/ocaml-compiler-libs_3.09.0-1_powerpc.deb
ocaml-interp_3.09.0-1_powerpc.deb
to pool/main/o/ocaml/ocaml-interp_3.09.0-1_powerpc.deb
ocaml-mode_3.09.0-1_all.deb
to pool/main/o/ocaml/ocaml-mode_3.09.0-1_all.deb
ocaml-native-compilers_3.09.0-1_powerpc.deb
to pool/main/o/ocaml/ocaml-native-compilers_3.09.0-1_powerpc.deb
ocaml-nox_3.09.0-1_powerpc.deb
to pool/main/o/ocaml/ocaml-nox_3.09.0-1_powerpc.deb
ocaml-source_3.09.0-1_all.deb
to pool/main/o/ocaml/ocaml-source_3.09.0-1_all.deb
ocaml_3.09.0-1.diff.gz
to pool/main/o/ocaml/ocaml_3.09.0-1.diff.gz
ocaml_3.09.0-1.dsc
to pool/main/o/ocaml/ocaml_3.09.0-1.dsc
ocaml_3.09.0-1_powerpc.deb
to pool/main/o/ocaml/ocaml_3.09.0-1_powerpc.deb
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 294753@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> (supplier of updated ocaml 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.7
Date: Mon, 07 Nov 2005 10:56:49 +0100
Source: ocaml
Binary: ocaml-compiler-libs ocaml-native-compilers ocaml-base ocaml-nox ocaml-mode ocaml-interp ocaml-source ocaml-base-nox ocaml
Architecture: source powerpc all
Version: 3.09.0-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Description:
ocaml - ML language implementation with a class-based object system
ocaml-base - Runtime system for ocaml bytecode executables
ocaml-base-nox - Runtime system for ocaml bytecode executables
ocaml-compiler-libs - Ocaml interpreter and standard libraries
ocaml-interp - Ocaml interpreter and standard libraries
ocaml-mode - A major mode for editing Objective Caml in Emacs
ocaml-native-compilers - Native code compilers of the ocaml suite (the .opt ones)
ocaml-nox - ML language implementation with a class-based object system
ocaml-source - Sources for Objective Caml
Closes: 263163 294753 301046 304360 327211
Changes:
ocaml (3.09.0-1) unstable; urgency=low
.
* New upstream release.
- self references are now ruled out (Closes: #263163, #294753)
- better escaping in manpages generated by ocamldoc (Closes: #301046)
- typo fixed in ocamldoc.1 (Closes: #304360)
- argument order changed in Map.fold (Closes: #327211)
.
[ Julien Cristau ]
* Cleanup debian/control: remove redundant Depends.
* Update location of ocaml-md5sums stuff.
* Build-Depend on chrpath and delete rpath from DLLs.
* Various lintian warnings fixed, and overrides cleaned up.
.
[ Sven Luther ]
* Updated to new upstream release.
* Modified the packaging ifrastructure to not use hard-coded abi number
except in the head of debian/rules. All else is sed'ed from #OcamlABI#
(and #OcamlMAJOR# for the debian/copyright file and the upstream url).
Files:
96f4101e183d0689908c3a71e27832c6 869 devel optional ocaml_3.09.0-1.dsc
bac0cb9dea79256c54777094f269f74b 59543 devel optional ocaml_3.09.0-1.diff.gz
135b2dffb33bc02bc6c740ce04347fb5 93702 devel optional ocaml-mode_3.09.0-1_all.deb
42a361d1a02596bba4c688fc770f9268 6641668 devel optional ocaml-nox_3.09.0-1_powerpc.deb
bebd5028a89ea216501b3554d17b1f58 3201762 devel optional ocaml-native-compilers_3.09.0-1_powerpc.deb
015f57783a1f9c50b15815beb0197e88 1929784 devel optional ocaml_3.09.0-1_powerpc.deb
15815e3610ba3f8861bb37f07b4575c1 290176 devel optional ocaml-base-nox_3.09.0-1_powerpc.deb
67ded72c0f64be7e7ad8c8f4a2722bff 71500 devel optional ocaml-base_3.09.0-1_powerpc.deb
ee1ffe867453e14df4befc5c8955695c 2051376 devel optional ocaml-source_3.09.0-1_all.deb
4cf889331c1e4fd286195b7a6c089907 1008246 devel optional ocaml-interp_3.09.0-1_powerpc.deb
edef88416e7f9c93faee1a7619f8e8e5 883406 devel optional ocaml-compiler-libs_3.09.0-1_powerpc.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)
iD8DBQFDb0ew2WTeT3CRQaQRAmhGAJ9LHaRNvq2Rxqn0i0jboUBzoGyJBQCdHSHL
GW66wYJhBoYzJQaLyHr6Nu8=
=Mo5k
-----END PGP SIGNATURE-----
Reply to: