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/inlining/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/inlining/path-notes.cpp')
-rw-r--r-- | clang/test/Analysis/inlining/path-notes.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/test/Analysis/inlining/path-notes.cpp b/clang/test/Analysis/inlining/path-notes.cpp index 43859237438..ef56cc76f82 100644 --- a/clang/test/Analysis/inlining/path-notes.cpp +++ b/clang/test/Analysis/inlining/path-notes.cpp @@ -231,7 +231,7 @@ struct Owner { }; void Owner::testGetDerefExprOnMemberExprWithADot() { - if (arr) // expected-note {{Assuming pointer value is null}} + if (arr) // expected-note {{Assuming field 'arr' is null}} // expected-note@-1 {{Taking false branch}} ; arr[1].x = 1; //expected-warning {{Dereference of null pointer}} |