1 files changed, 8 insertions, 0 deletions
diff --git a/PassingTest.c b/PassingTest.c
new file mode 100644
index 000000000000..f3ddc3f955c4
--- /dev/null
+++ b/PassingTest.c
@@ -0,0 +1,8 @@
+#include <stdio.h>
+int main() {
+  int *s = NULL;
+  if (s != NULL) {
+    *s = 42;
+  }
+  return 0;
+}