diff options
| author | Csaba Dabis <dabis.csaba98@gmail.com> | 2019-05-29 20:29:02 +0000 |
|---|---|---|
| committer | Csaba Dabis <dabis.csaba98@gmail.com> | 2019-05-29 20:29:02 +0000 |
| commit | d1f0ec3f64304840eb94e54a6da9d2231c4c3345 (patch) | |
| tree | cc9499d5ba55229789c706fd7a95af8bc10d1c41 /clang/test/Analysis/null-deref-path-notes.cpp | |
| parent | 9942a996d90228e489b2c93a5660b1ffbd1ffb34 (diff) | |
| download | bcm5719-llvm-d1f0ec3f64304840eb94e54a6da9d2231c4c3345.tar.gz bcm5719-llvm-d1f0ec3f64304840eb94e54a6da9d2231c4c3345.zip | |
[analyzer] ConditionBRVisitor: MemberExpr support
Summary: -
Reviewers: NoQ, george.karpenkov
Reviewed By: NoQ
Subscribers: cfe-commits, xazax.hun, baloghadamsoftware, szepet, a.sidorin,
mikhail.ramalho, Szelethus, donat.nagy, dkrupp
Tags: #clang
Differential Revision: https://reviews.llvm.org/D58206
llvm-svn: 362026
Diffstat (limited to 'clang/test/Analysis/null-deref-path-notes.cpp')
| -rw-r--r-- | clang/test/Analysis/null-deref-path-notes.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/test/Analysis/null-deref-path-notes.cpp b/clang/test/Analysis/null-deref-path-notes.cpp index dd54b24e784..c7b0619e297 100644 --- a/clang/test/Analysis/null-deref-path-notes.cpp +++ b/clang/test/Analysis/null-deref-path-notes.cpp @@ -19,7 +19,7 @@ void c::f(B &g, int &i) { // expected-note@-1{{Array access (via field 'd') results in a null pointer dereference}} B h, a; // expected-note{{Value assigned to 'h.d'}} a.d == __null; // expected-note{{Assuming the condition is true}} - a.d != h.d; // expected-note{{Assuming pointer value is null}} + a.d != h.d; // expected-note{{Assuming 'a.d' is equal to 'h.d'}} f(h, b); // expected-note{{Calling 'c::f'}} } } |
