[Jsr308-statements] Dealing with compiler optimizations

[Trevor Harmon]

In an earlier email [1], Mike made a good point about compiler  
optimizations:

"You need to discuss how you will handle compiler optimizations that  
may reorder, duplicate, split, or move (parts of) statements. This is  
one of the key technical challenges, in my view."

This issue has been discussed peripherally on the main JSR-308 list,  
but we should deal with it here directly. How should we address it?  
What possible solutions are there?

As we already know, several other tools (e.g., JML) already support  
statement annotations via a proprietary mechanism. Does anyone know  
how these tools handle compiler optimizations? Maybe we can borrow  
one of their solutions for the proposal.

Trevor

[1] https://lists.csail.mit.edu/pipermail/jsr308-statements/2007- 
March/000030.html