Merge branch 'master' into customDfaAssert

2026-09-18 09:34:34 +07:00 · 2013-02-27 15:50:04 +01:00
parent a70d203871 3b8b7b84cb
commit fa92c26eae
647 changed files with 12104 additions and 3982 deletions
@@ -0,0 +1,21 @@
+class MyException extends Exception {}
+
+class Foo {
+  public static void main(String[] args) {
+    try {
+      bar();
+    } catch (Exception e) {
+      if (e instanceof MyException) {
+        return;
+      }
+      if (<warning descr="Condition 'e instanceof RuntimeException' is always 'true'">e instanceof RuntimeException</warning>) {
+        return;
+      }
+      e.printStackTrace();
+    }
+  }
+
+  private static void bar() throws MyException {
+  }
+
+}