aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/ExprEngine.cpp
diff options
context:
space:
mode:
authorJordan Rose <jordan_rose@apple.com>2012-06-11 16:40:41 +0000
committerJordan Rose <jordan_rose@apple.com>2012-06-11 16:40:41 +0000
commit1895a0a6936001374f66adbdfcf8abe5edf912ea (patch)
tree8b5d352892a92fdbb74aa23a7241f069b6f5f824 /lib/StaticAnalyzer/Core/ExprEngine.cpp
parent9765ea9f755be50bb571100b44865f488e958d6d (diff)
[analyzer] Add ObjCLoopChecker: objects from NSArray et al are non-nil.
While collections containing nil elements can still be iterated over in an Objective-C for-in loop, the most common Cocoa collections -- NSArray, NSDictionary, and NSSet -- cannot contain nil elements. This checker adds that assumption to the analyzer state. This was the cause of some minor false positives concerning CFRelease calls on objects in an NSArray. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@158319 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ExprEngine.cpp')
0 files changed, 0 insertions, 0 deletions