Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005621OCamlCaml lightpublic2012-05-24 14:412014-05-25 20:00
Reporterprobugers 
Assigned To 
PrioritynormalSeveritycrashReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformCamllight LinuxOSLinux x86OS VersionLinux 2.6.28-19
Product Version<=3.07 
Target VersionlaterFixed in Version 
Summary0005621: Crash
DescriptionToplevel 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
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0007608)
doligez (administrator)
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.

- 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
2014-05-25 20:00 doligez Target Version => later


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker