Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005192OCamlOCaml generalpublic2010-12-10 00:182012-03-24 15:01
Reportermeurer 
Assigned Toxleroy 
PrioritynormalSeveritytrivialReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.12.1+dev 
Target VersionFixed in Version3.12.1+dev 
Summary0005192: wosize vs. real size in comballoc.ml
DescriptionThere is probably a typo in comballoc.ml; when combining subsequent allocations, the real size (in bytes) is compared to Config.max_young_wosize (in words). See attached patch.
TagsNo tags attached.
Attached Filespatch file icon comballoc.patch [^] (671 bytes) 2010-12-10 00:18 [Show Content]

- Relationships

-  Notes
(0005751)
xleroy (administrator)
2010-12-22 14:53

Well spotted, thanks. You are correct that sizes are counted in bytes in Comballoc and throughout the OCaml back-end. Patch applied in bugfix branch 3.12, will go in release 3.12.1.


- Issue History
Date Modified Username Field Change
2010-12-10 00:18 meurer New Issue
2010-12-10 00:18 meurer File Added: comballoc.patch
2010-12-22 14:53 xleroy Note Added: 0005751
2010-12-22 14:53 xleroy Assigned To => xleroy
2010-12-22 14:53 xleroy Status new => resolved
2010-12-22 14:53 xleroy Resolution open => fixed
2010-12-22 14:53 xleroy Fixed in Version => 3.12.1+dev
2012-03-24 15:01 xleroy Status resolved => closed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker