Initial commit

1 files changed, 12 insertions, 0 deletions

diff --git a/FailingTest.java b/FailingTest.java
new file mode 100644
index 000000000000..4f6f15c1cfac
--- /dev/null
+++ b/FailingTest.java
@@ -0,0 +1,12 @@
+class FailingTest {
+  String mayReturnNull(int i) {
+    if (i > 0) {
+      return "Hello, Infer!";
+    }
+    return null;
+  }
+  int mayCauseNPE() {
+    String s = mayReturnNull(0);
+    return s.length();
+  }
+}