On Monday, 25 June 2012 at 17:33:18 UTC, Timon Gehr wrote: > On 06/25/2012 04:08 PM, Steven Schveighoffer wrote: > Last time I asked, Walter made clear that such a change is not > planned. Assuming that's still true today, do we have a proposal for fixing this? (If not, then is it safe to say that the compiler may not optimize code based on purity/const-ness?)