Files
Tagir Valeev 3930aa3a6f ControlFlowUtil#internalDepthFirstSearch: rewrite subroutine tracking
Now every graph edge is accompanied with subroutine stack.
Also shared mutable state is removed from instructions (now it's local to DFS procedure).
Fixes IDEA-201093 Unreachable bug in three try catch while two have finally

GitOrigin-RevId: b600ba63e2da315c9830836adcdc4d8fecf92ca3
2019-07-02 06:52:16 +03:00

13 lines
302 B
Java

class Test {
public static void main(String[] args) {
try {
try {} catch (Exception e) {} finally {
try {} catch (Exception e) {} finally {
for (int i = 0; i < 10; i++) {
}
}
}
System.out.println("Reachable");
}catch(Exception e) {}
}
}