(j3.2006) Wednesday papers

[Van Snyder]

On Wed, 2013-10-16 at 21:15 -0700, Van Snyder wrote:
> 13-298r2:
> 
> Something should be said in a note about the possibility that B(n+n) 
> might produce an array of a different size from B(2*n), or that B(n+n)
> might always produce the same size array as B(2*n) even if N changes 
> rapidly but the processor does the permitted transformation of
> replacing n+n by 2*n.

Might it be appropriate to prohibit, in 7.1.5.2.4p3, "mathematically
equivalent" transformations involving volatile variables?  After all,
that "n+n" and "2*n" are mathematically equivalent rests upon the
presumption that the value of "n" is stable.