0005621: Crash - MantisBT

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005621

OCaml

Caml light

public

2012-05-24 14:41

2012-06-26 14:00

Reporter

probugers

Assigned To

Priority

normal

Severity

crash

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

Camllight Linux

Linux x86

OS Version

Linux 2.6.28-19

Product Version

<=3.07

Target Version

Fixed in Version

Summary

0005621: Crash

Description

Toplevel crashes as soon as one ask for a few million bytes of memory. See program below.

Steps To Reproduce

> Caml Light version 0.80

#type t = L of int | N of t*t;;
let rec copy t = match t with L i -> L i | N(t1,t2) -> N(copy t1, copy t2);;
let rec double t = N(copy t,copy t);;
let rec pow n = match n with 0 -> L 0 | k -> double (pow (k-1));;
pow 3;;
let t = pow 25;;
Type t defined.
#copy : t -> t = <fun>
#double : t -> t = <fun>
#pow : int -> t = <fun>
#- : t = N (N (N (L 0, L 0), N (L 0, L 0)), N (N (L 0, L 0), N (L 0, L 0)))
#*** glibc detected *** /usr/bin/camlrun: free(): invalid pointer: 0x0884d000 ***
======= Backtrace: =========
/lib/tls/i686/cmov/libc.so.6[0xb7602704]
/lib/tls/i686/cmov/libc.so.6(cfree+0x96)[0xb76046b6]
/usr/bin/camlrun[0x804e506]
/usr/bin/camlrun[0x804de47]
/usr/bin/camlrun[0x804de96]
/usr/bin/camlrun[0x804de96]
/usr/bin/camlrun[0x804eb04]
/usr/bin/camlrun[0x804df92]
/usr/bin/camlrun[0x804b5b5]
/usr/bin/camlrun[0x8049731]
/usr/bin/camlrun[0x804c85d]
/lib/tls/i686/cmov/libc.so.6(__libc_start_main+0xe5)[0xb75a9775]
/usr/bin/camlrun[0x8048ff1]
======= Memory map: ========
08048000-08054000 r-xp 00000000 08:02 1480782 /usr/bin/camlrun
08054000-08055000 rw-p 0000b000 08:02 1480782 /usr/bin/camlrun
08055000-08056000 rw-p 08055000 00:00 0
08807000-0888e000 rw-p 08807000 00:00 0 [heap]
96f00000-96f21000 rw-p 96f00000 00:00 0
96f21000-97000000 ---p 96f21000 00:00 0
97024000-975d0000 rw-p 97024000 00:00 0
975e2000-975ef000 r-xp 00000000 08:02 1455628 /lib/libgcc_s.so.1
975ef000-975f0000 r--p 0000c000 08:02 1455628 /lib/libgcc_s.so.1
975f0000-975f1000 rw-p 0000d000 08:02 1455628 /lib/libgcc_s.so.1
975f1000-b7593000 rw-p 975f1000 00:00 0
b7593000-b76ef000 r-xp 00000000 08:02 1464981 /lib/tls/i686/cmov/libc-2.9.so
b76ef000-b76f0000 ---p 0015c000 08:02 1464981 /lib/tls/i686/cmov/libc-2.9.so
b76f0000-b76f2000 r--p 0015c000 08:02 1464981 /lib/tls/i686/cmov/libc-2.9.so
b76f2000-b76f3000 rw-p 0015e000 08:02 1464981 /lib/tls/i686/cmov/libc-2.9.so
b76f3000-b76f6000 rw-p b76f3000 00:00 0
b76f6000-b771a000 r-xp 00000000 08:02 1464985 /lib/tls/i686/cmov/libm-2.9.so
b771a000-b771b000 r--p 00023000 08:02 1464985 /lib/tls/i686/cmov/libm-2.9.so
b771b000-b771c000 rw-p 00024000 08:02 1464985 /lib/tls/i686/cmov/libm-2.9.so
b7732000-b7734000 rw-p b7732000 00:00 0
b7734000-b7735000 r-xp b7734000 00:00 0 [vdso]
b7735000-b7751000 r-xp 00000000 08:02 1455606 /lib/ld-2.9.so
b7751000-b7752000 r--p 0001b000 08:02 1455606 /lib/ld-2.9.so
b7752000-b7753000 rw-p 0001c000 08:02 1455606 /lib/ld-2.9.so
bfee8000-bfefd000 rw-p bffeb000 00:00 0 [stack]

Process caml-toplevel abandon

Additional Information

$ uname -a
Linux b313-p08 2.6.28-19-generic 0000061-Ubuntu SMP Wed May 26 23:35:15 UTC 2010 i686 GNU/Linux
$ dpkg -l camllight
Souhait=inconnU/Installé/suppRimé/Purgé/H=à garder
| État=Non/Installé/fichier-Config/dépaqUeté/échec-conFig/H=semi-installé/W=attend-traitement-déclenchements
|/ Err?=(aucune)/H=à garder/besoin Réinstallation/X=les deux (État,Err: majuscule=mauvais)
||/ Nom Version Description
+++-==============-==============-============================================
ii camllight 0.80 Camllight 0.80

Issue History
Date Modified	Username	Field	Change
2012-05-24 14:41	probugers	New Issue
2012-06-26 14:00	doligez	Note Added: 0007608
2012-06-26 14:00	doligez	Status	new => acknowledged

Notes
(0007608) doligez (manager) 2012-06-26 14:00	Can't reproduce on Mac OS. Note that we are not actively maintaining Caml Light any more. Maybe Pierre will want to look into this.

Relationships