dfa: empty stack on contract fail (IDEA-CR-14293)

2026-09-18 09:34:34 +07:00 · 2016-10-10 15:59:06 +02:00
parent 64e83e59d9
commit 566438d2e2
2 changed files with 9 additions and 0 deletions
@@ -17,5 +17,13 @@ class Foo {
    }
  }

+  public void read2() throws Exception {
+    try {
+      final FileInputStream input = new FileInputStream(new File("foo"));
+    }
+    finally {
+      System.exit(0);
+    }
+  }

 }