[cperciva]

This was my initial idea, but talking to compiler developers convinced me that the dataflow analysis needed for this would be tricky. They were much happier with the idea of a block-scope annotation.

[cheez]

Similar data-flow analysis techniques as volatile.