[friendzis]

Can the compiler perform sufficiently deep static analysis to cover all possible cases? At least in Java it is by definition impossible.

[taneq]

If it's that hard to figure out what the code should do by looking at, then it's probably not a great thing to allow in the language.

[Akronymus]

I don't see why not. If it's in a finally block, disallow control flow. Or am I missing something?