Initial commit

1 files changed, 12 insertions, 0 deletions

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