Fix false positive null dereference by unifying code paths in GRSimpleVals for
'==' and '!=' (some code in the '!=' was not replicated in the '==' code,
causing some constraints to get lost).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70885 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/test/Analysis/null-deref-ps.c b/test/Analysis/null-deref-ps.c
index 7f1db87..09b9c2f 100644
--- a/test/Analysis/null-deref-ps.c
+++ b/test/Analysis/null-deref-ps.c
@@ -139,9 +139,9 @@
if (((void*)0) != x)
return x;
-
- // THIS IS WRONG. THIS NEEDS TO BE FIXED.
- *p = 1; // expected-warning{{null}}
+
+ // If we reach here then 'p' is not null.
+ *p = 1; // no-warning
return x;
}