From: Ted Kremenek <kremenek@apple.com>
Date: Mon, 21 Apr 2008 23:44:17 +0000 (+0000)
Subject: Added null dereference test case looking for null dereferences involving MemberExpr.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=b9ab690786f0edfe32798bbf4338cab23e08bc6e;p=clang

Added null dereference test case looking for null dereferences involving MemberExpr.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@50072 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/test/Analysis/null-deref-ps.c b/test/Analysis/null-deref-ps.c
index c73a0384fc..4ce4f8b03e 100644
--- a/test/Analysis/null-deref-ps.c
+++ b/test/Analysis/null-deref-ps.c
@@ -4,3 +4,15 @@ void f1(int *p) {
   if (p) *p = 1;
   else *p = 0; // expected-warning{{ereference}}
 }
+
+struct foo_struct {
+  int x;
+};
+
+int f2(struct foo_struct* p) {
+  
+  if (p)
+    p->x = 1;
+    
+  return p->x++;
+}