diff options
Diffstat (limited to 'clang/test/Analysis/diagnostics/deref-track-symbolic-region.cpp')
| -rw-r--r-- | clang/test/Analysis/diagnostics/deref-track-symbolic-region.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clang/test/Analysis/diagnostics/deref-track-symbolic-region.cpp b/clang/test/Analysis/diagnostics/deref-track-symbolic-region.cpp index 87313de13a8..4a5f0cfa3f7 100644 --- a/clang/test/Analysis/diagnostics/deref-track-symbolic-region.cpp +++ b/clang/test/Analysis/diagnostics/deref-track-symbolic-region.cpp @@ -11,6 +11,7 @@ void test(S *p) { if (p) return; //expected-note@-1{{Taking false branch}} //expected-note@-2{{Assuming pointer value is null}} + //expected-note@-3{{Assuming 'p' is null}} r.y = 5; // expected-warning {{Access to field 'y' results in a dereference of a null pointer (loaded from variable 'r')}} // expected-note@-1{{Access to field 'y' results in a dereference of a null pointer (loaded from variable 'r')}} } |
