Comment by friendzis
6 days ago
Can the compiler perform sufficiently deep static analysis to cover all possible cases? At least in Java it is by definition impossible.
6 days ago
Can the compiler perform sufficiently deep static analysis to cover all possible cases? At least in Java it is by definition impossible.
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.
I don't see why not. If it's in a finally block, disallow control flow. Or am I missing something?