Article on overzealous compiler optimizations

[Walter Bright via Digitalmars-d]

http://developers.slashdot.org/story/14/06/20/1824226/overeager-compilers-can-open-security-holes-in-your-code
This is an opportunity for D to define the spec in such away as to preclude the 
bad optimizations while keeping the good ones. Any ideas?