0005175: Bigarray “get” evaluates its argument twice - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0005175

OCaml

OCaml general

public

2010-11-06 22:26

2010-11-11 18:09

Reporter

Christophe Troestler

Assigned To

Priority

normal

Severity

major

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

3.13.0+dev

Target Version

Fixed in Version

3.12.1+dev

Summary

0005175: Bigarray “get” evaluates its argument twice

Description

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”.

Tags

No tags attached.

bug.ml [^] (290 bytes) 2010-11-06 22:26

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