diff options
author | Ted Kremenek <kremenek@apple.com> | 2008-04-21 23:44:17 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2008-04-21 23:44:17 +0000 |
commit | 503924bb9ccc0205f96e4c795c1d193f70dbe2be (patch) | |
tree | 062d8b8d92cf47de08beda0d7942c82e85e9aea8 | |
parent | 38213f957394119e21c51321044380bc01fed1c0 (diff) | |
download | bcm5719-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.c | 12 |
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++; +} |