Bug#263163: marked as done (Simple ocaml program creates a binary which segfaults.)
Your message dated Mon, 07 Nov 2005 04:47:22 -0800
with message-id <E1EZ6PC-0002y5-00@spohr.debian.org>
and subject line Bug#263163: 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; 3 Aug 2004 08:06:27 +0000
>From erikd@mega-nerd.net Tue Aug 03 01:06:27 2004
Return-path: <erikd@mega-nerd.net>
Received: from mail.syd.swiftdsl.com.au [202.154.83.58]
by spohr.debian.org with smtp (Exim 3.35 1 (Debian))
id 1BruJV-0001X1-00; Tue, 03 Aug 2004 01:06:26 -0700
Received: (qmail 23208 invoked from network); 3 Aug 2004 08:06:25 -0000
Received: from unknown (HELO coltrane.mega-nerd.net) (218.214.64.136)
by mail.syd.swiftdsl.com.au with SMTP; 3 Aug 2004 08:06:25 -0000
Received: by coltrane.mega-nerd.net (Postfix, from userid 1000)
id 21A9E7B91; Tue, 3 Aug 2004 18:06:22 +1000 (EST)
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: Erik de Castro Lopo <erikd@mega-nerd.com>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Simple ocaml program creates a binary which segfaults.
X-Mailer: reportbug 2.63
Date: Tue, 03 Aug 2004 18:06:22 +1000
Message-Id: <20040803080622.21A9E7B91@coltrane.mega-nerd.net>
Delivered-To: submit@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2004_03_25
(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_2004_03_25
X-Spam-Level:
Package: ocaml
Version: 3.08.0-2
Severity: normal
-- System Information:
Debian Release: 3.1
APT prefers testing
APT policy: (650, 'testing'), (600, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.6.5
Locale: LANG=en_AU.UTF-8, LC_CTYPE=en_AU.UTF-8 (ignored: LC_ALL set to POSIX)
Versions of packages ocaml depends on:
ii ocaml-base [ocaml-base-3.08] 3.08.0-2 Runtime system for ocaml bytecode
ii ocaml-nox [ocaml-nox-3.08] 3.08.0-2 ML language implementation with a
-- no debconf information
Simple ocaml program:
let a = Array.make 10 0.0 ;;
let a = Array.append a a ;;
saved to a file name array.ml and compiled with:
ocamlopt array.ml -o array
and then run as "./array" segfaults.
I tried running it in gdb :
(gdb) run
Starting program: /home/erikd/array
Program received signal SIGSEGV, Segmentation fault.
0x080494d3 in caml_apply2 ()
(gdb) bt
#0 0x080494d3 in caml_apply2 ()
#1 0x00000015 in ?? ()
#2 0x0804977f in camlArray__entry ()
#3 0x080494b1 in caml_startup__code_begin ()
#4 0x080564ba in caml_start_program ()
#5 0x00000000 in ?? ()
#6 0xbffffb38 in ?? ()
#7 0xbffffb60 in ?? ()
#8 0xbffffbd4 in ?? ()
#9 0x0805b0c0 in caml_termination_hook ()
#10 0x080567be in caml_main ()
Previous frame inner to this frame (corrupt stack?)
See the same problem with ocaml 3.07 on PowerPC (didn't try 3.08).
Erik
---------------------------------------
Received: (at 263163-close) by bugs.debian.org; 7 Nov 2005 12:51:29 +0000
>From katie@spohr.debian.org Mon Nov 07 04:51:29 2005
Return-path: <katie@spohr.debian.org>
Received: from katie by spohr.debian.org with local (Exim 3.36 1 (Debian))
id 1EZ6PC-0002y5-00; Mon, 07 Nov 2005 04:47:22 -0800
From: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
To: 263163-close@bugs.debian.org
X-Katie: $Revision: 1.56 $
Subject: Bug#263163: fixed in ocaml 3.09.0-1
Message-Id: <E1EZ6PC-0002y5-00@spohr.debian.org>
Sender: Archive Administrator <katie@spohr.debian.org>
Date: Mon, 07 Nov 2005 04:47:22 -0800
Delivered-To: 263163-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 263163@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: