]> granicus.if.org Git - clang/commitdiff
Added null dereference test case looking for null dereferences involving MemberExpr.
authorTed Kremenek <kremenek@apple.com>
Mon, 21 Apr 2008 23:44:17 +0000 (23:44 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 21 Apr 2008 23:44:17 +0000 (23:44 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@50072 91177308-0d34-0410-b5e6-96231b3b80d8

test/Analysis/null-deref-ps.c

index c73a0384fcd895235621e2726220d281bfdb68f2..4ce4f8b03eb84cad3478c94185e0b3cb572c50e1 100644 (file)
@@ -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++;
+}