dfa: test that assert throws AssertionError (IDEA-69727)

java/java-tests/testData/inspection/dataFlow/fixture/AssertThrowsAssertionError.java

@@ -0,0 +1,15 @@
+class Some {
+  void assertContainsAllVariants(boolean b) {
+    try {
+      assert b;
+      System.out.println();
+    } catch (Throwable e) {
+      if (e instanceof AssertionError) {
+        System.out.println();
+      }
+    }
+  }
+
+}
+
+

java/java-tests/testSrc/com/intellij/codeInspection/DataFlowInspectionTest.java

@@ -250,6 +250,7 @@ public class DataFlowInspectionTest extends LightCodeInsightFixtureTestCase {
   public void testLongDisjunctionsNotComplex() { doTest(); }
   public void testWhileNotComplex() { doTest(); }
   public void testAssertTrueNotComplex() { doTest(); }
+  public void testAssertThrowsAssertionError() { doTest(); }
   public void testManyDisjunctiveFieldAssignmentsInLoopNotComplex() { doTest(); }
   public void testManyContinuesNotComplex() { doTest(); }
   public void testFinallyNotComplex() { doTest(); }