Added test

uber · Jun 9, 2024 · 11e8c81 · 11e8c81
1 parent 3498074
commit 11e8c81
Showing 1 changed file with 23 additions and 0 deletions.
diff --git a/nullaway/src/test/java/com/uber/nullaway/CoreTests.java b/nullaway/src/test/java/com/uber/nullaway/CoreTests.java
@@ -167,6 +167,29 @@ public void arrayIndexUnbox() {
         .doTest();
   }
 
+  @Test
+  public void arrayAccessDataflowTest() {
+    defaultCompilationHelper
+        .addSourceLines(
+            "Test.java",
+            "package com.uber;",
+            "import javax.annotation.Nullable;",
+            "class Test {",
+            "  static class Foo {",
+            "    @Nullable String f;",
+            "  }",
+            "  static Foo[] arr = new Foo[10];",
+            "  static void fizz() {",
+            "    int i = 0;",
+            "    if (arr[i].f != null) {",
+            "      //TODO: This should raise an error in non-JSpecify mode",
+            "      arr[i].f.toString();",
+            "    }",
+            "  }",
+            "}")
+        .doTest();
+  }
+
   @Test
   public void cfNullableArrayField() {
     defaultCompilationHelper