[analyzer] Teach trackNullOrUndefValue about calls to property accessors.
authorDevin Coughlin <dcoughlin@apple.com>
Fri, 8 Apr 2016 19:59:16 +0000 (19:59 +0000)
committerDevin Coughlin <dcoughlin@apple.com>
Fri, 8 Apr 2016 19:59:16 +0000 (19:59 +0000)
commitebaa56bb263b56ee47d3492d7e32fe1db639b155
treec50ac14344c5bb258b41c689d30ede262390ebf3
parentfe1bc708b53016d0800b54342b268c09b8c52a6f
[analyzer] Teach trackNullOrUndefValue about calls to property accessors.

Teach trackNullOrUndefValue() how to look through PseudoObjectExprs to find
the underlying method call for property getters. This makes over-suppression
of 'return nil' in getters consistent with the similar over-suppression for
method and function calls.

rdar://problem/24437252

llvm-svn: 265839
clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
clang/test/Analysis/inlining/false-positive-suppression.m