Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006385OCamlOCaml runtime systempublic2014-04-29 20:532014-05-04 09:40
Reporterstedolan 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version4.02.0+dev 
Summary0006385: CLOSURE opcode tries to allocate large objects on the minor heap
DescriptionIf a function closes over more than Max_young_wosize variables, the CLOSURE opcode in interp.c will nonetheless try to allocate it on the minor heap.

When using the debug runtime, this causes an assertion failure. For a big enough function / unlucky enough minor heap state, I suspect it would cause memory corruption.
Steps To ReproduceCompile the attached file and run with ocamlrund.
TagsNo tags attached.
Attached Files? file icon broken.ml [^] (7,192 bytes) 2014-04-29 20:53 [Show Content]

- Relationships

-  Notes
(0011341)
xleroy (administrator)
2014-05-04 09:40

Fixed in SVN trunk, commit 14733. Will be in 4.02.

- Issue History
Date Modified Username Field Change
2014-04-29 20:53 stedolan New Issue
2014-04-29 20:53 stedolan File Added: broken.ml
2014-05-04 09:40 xleroy Note Added: 0011341
2014-05-04 09:40 xleroy Status new => resolved
2014-05-04 09:40 xleroy Resolution open => fixed
2014-05-04 09:40 xleroy Fixed in Version => 4.02.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker