summaryrefslogtreecommitdiffstats
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
commit503924bb9ccc0205f96e4c795c1d193f70dbe2be (patch)
tree062d8b8d92cf47de08beda0d7942c82e85e9aea8
parent38213f957394119e21c51321044380bc01fed1c0 (diff)
downloadbcm5719-llvm-503924bb9ccc0205f96e4c795c1d193f70dbe2be.tar.gz
bcm5719-llvm-503924bb9ccc0205f96e4c795c1d193f70dbe2be.zip
Added null dereference test case looking for null dereferences involving MemberExpr.
llvm-svn: 50072
-rw-r--r--clang/test/Analysis/null-deref-ps.c12
1 files changed, 12 insertions, 0 deletions
diff --git a/clang/test/Analysis/null-deref-ps.c b/clang/test/Analysis/null-deref-ps.c
index c73a0384fcd..4ce4f8b03eb 100644
--- a/clang/test/Analysis/null-deref-ps.c
+++ b/clang/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++;
+}
OpenPOWER on IntegriCloud