Created attachment 298473 [details] [diff] [review] Patch Supports basic "finally" handling. Does not support break, continue, or return past a finally clause -- the verifier has real problems with these (even in ASC according to Erik). A syntax error is thrown if the program tries to do this.
Comment on attachment 298473 [details] [diff] [review] Patch Looks good. ASC does go to great lengths to satisfy the verifier, but still fails on some edge cases. However, it does produce working code for the majority of cases. I'm not sure if it's impossible to get it right, or just very, very difficult. We may have to do something similar for ESC, but we can worry about that later.
Pushed as changeset 328.