MantisBT - OCaml
View Issue Details
0005175OCaml~DO NOT USE (was: OCaml general)public2010-11-06 22:262010-11-11 18:09
Christophe Troestler 
 
normalmajoralways
closedfixed 
3.13.0+dev 
3.12.1+dev 
0005175: Bigarray “get” evaluates its argument twice
The 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”.
No tags attached.
? bug.ml (290) 2010-11-06 22:26
https://caml.inria.fr/mantis/file_download.php?file_id=385&type=bug
Issue History
2010-11-06 22:26Christophe TroestlerNew Issue
2010-11-06 22:26Christophe TroestlerFile Added: bug.ml
2010-11-11 18:09xleroyNote Added: 0005703
2010-11-11 18:09xleroyStatusnew => closed
2010-11-11 18:09xleroyResolutionopen => fixed
2010-11-11 18:09xleroyFixed in Version => 3.12.1+dev
2017-02-23 16:36doligezCategoryOCaml general => -OCaml general
2017-03-03 17:55doligezCategory-OCaml general => -(deprecated) general
2017-03-03 18:01doligezCategory-(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04doligezCategory~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)

Notes
(0005703)
xleroy   
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.