diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-03-23 01:11:38 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-03-23 01:11:38 +0000 |
| commit | bb6f5af4a4bf72e90718ee7cc436349cccae002a (patch) | |
| tree | b545b98c05f44256b25ba03d36b2923d94970503 /clang/test/Analysis/null-deref-ps.c | |
| parent | 0b40532b5ecda818bff6ba2d31597d5728cf8f97 (diff) | |
| download | bcm5719-llvm-bb6f5af4a4bf72e90718ee7cc436349cccae002a.tar.gz bcm5719-llvm-bb6f5af4a4bf72e90718ee7cc436349cccae002a.zip | |
Tweak null dereference diagnostics to give clearer diagnostics when
a null dereference results from a field access.
llvm-svn: 99236
Diffstat (limited to 'clang/test/Analysis/null-deref-ps.c')
| -rw-r--r-- | clang/test/Analysis/null-deref-ps.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/test/Analysis/null-deref-ps.c b/clang/test/Analysis/null-deref-ps.c index 704ad339e1f..5376ca0eb35 100644 --- a/clang/test/Analysis/null-deref-ps.c +++ b/clang/test/Analysis/null-deref-ps.c @@ -26,7 +26,7 @@ int f2(struct foo_struct* p) { if (p) p->x = 1; - return p->x++; // expected-warning{{Dereference of null pointer}} + return p->x++; // expected-warning{{Field access results in a dereference of a null pointer (loaded from variable 'p')}} } int f3(char* x) { @@ -57,7 +57,7 @@ int f4(int *p) { return 1; int *q = (int*) x; - return *q; // expected-warning{{Dereference of null pointer loaded from variable 'q'}} + return *q; // expected-warning{{Dereference of null pointer (loaded from variable 'q')}} } int f4_b() { |
