aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2008-04-21 23:44:17 +0000
committerTed Kremenek <kremenek@apple.com>2008-04-21 23:44:17 +0000
commitb9ab690786f0edfe32798bbf4338cab23e08bc6e (patch)
tree7dd0c7d790b8308fc081aa8996ff7096bfe6d32a
parent469ecbded3616416ef938ed94a67f86149faf226 (diff)
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
-rw-r--r--test/Analysis/null-deref-ps.c12
1 files changed, 12 insertions, 0 deletions
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++;
+}