diff options
| author | Anna Zaks <ganna@apple.com> | 2012-09-05 23:41:54 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-09-05 23:41:54 +0000 |
| commit | 9b925ac059089dfe74e3b8fa5effe519fb9ee885 (patch) | |
| tree | 8bb47b8e4d9f4467ed27884fedb1276b572d9baf /lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp | |
| parent | faadf48443f8c2fc53d267485d7e0e1bd382fc75 (diff) | |
[analyzer] Enhance the member expr tracking to account for references.
As per Jordan's suggestion. (Came out of code review for r163261.)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163269 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp b/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp index 45f40368ea..45d854b008 100644 --- a/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp +++ b/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp @@ -130,7 +130,7 @@ void DereferenceChecker::reportBug(ProgramStateRef State, const Stmt *S, } case Stmt::MemberExprClass: { const MemberExpr *M = cast<MemberExpr>(S); - if (M->isArrow()) { + if (M->isArrow() || bugreporter::isDeclRefExprToReference(M->getBase())) { llvm::raw_svector_ostream os(buf); os << "Access to field '" << M->getMemberNameInfo() << "' results in a dereference of a null pointer"; |