Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005175OCamlOCaml generalpublic2010-11-06 22:262010-11-11 18:09
ReporterChristophe Troestler 
Assigned To 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.13.0+dev 
Target VersionFixed in Version3.12.1+dev 
Summary0005175: Bigarray “get” evaluates its argument twice
DescriptionThe attached code shows that in an expression like “(f y).{1}”, “f y” is evaluated twice which can have grave consequences e.g. if ”f” mutates “y”.
TagsNo tags attached.
Attached Files? file icon bug.ml [^] (290 bytes) 2010-11-06 22:26 [Show Content]

- Relationships

-  Notes
(0005703)
xleroy (administrator)
2010-11-11 18:09

Well spotted, thanks. This is now fixed in the 3.12 bugfix branch. Will go into release 3.12.1.

- Issue History
Date Modified Username Field Change
2010-11-06 22:26 Christophe Troestler New Issue
2010-11-06 22:26 Christophe Troestler File Added: bug.ml
2010-11-11 18:09 xleroy Note Added: 0005703
2010-11-11 18:09 xleroy Status new => closed
2010-11-11 18:09 xleroy Resolution open => fixed
2010-11-11 18:09 xleroy Fixed in Version => 3.12.1+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker