diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-08-16 00:45:40 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-08-16 00:45:40 +0000 |
| commit | 3b977558cea10add50a5c2cbd94d7d66267781dd (patch) | |
| tree | a3395074f4e4fadf2957f780ae67ef2c108d5dcf | |
| parent | 7c6d3a7c50286bc09fab0037bbbbf55390b629cd (diff) | |
| download | bcm5719-llvm-3b977558cea10add50a5c2cbd94d7d66267781dd.tar.gz bcm5719-llvm-3b977558cea10add50a5c2cbd94d7d66267781dd.zip | |
Enhance null-dereference checker test.
llvm-svn: 54834
| -rw-r--r-- | clang/test/Analysis/null-deref-ps.c | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/clang/test/Analysis/null-deref-ps.c b/clang/test/Analysis/null-deref-ps.c index 6da44d0c73f..92e8daa57e2 100644 --- a/clang/test/Analysis/null-deref-ps.c +++ b/clang/test/Analysis/null-deref-ps.c @@ -77,4 +77,12 @@ int f7(int x) { return x; } - +int f8(int *p, int *q) { + if (!p) + if (p) + *p = 1; // no-warning + + if (q) + if (!q) + *q = 1; // no-warning +} |
