Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005175OCaml~DO NOT USE (was: OCaml general)public2010-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
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-03 17:55 doligez Category -OCaml general => -(deprecated) general
2017-03-03 18:01 doligez Category -(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04 doligez Category ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker