From d1f0ec3f64304840eb94e54a6da9d2231c4c3345 Mon Sep 17 00:00:00 2001 From: Csaba Dabis Date: Wed, 29 May 2019 20:29:02 +0000 Subject: [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 --- clang/test/Analysis/inlining/path-notes.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'clang/test/Analysis/inlining/path-notes.cpp') 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}} -- cgit v1.2.3