tree 8b5d352892a92fdbb74aa23a7241f069b6f5f824
parent 9765ea9f755be50bb571100b44865f488e958d6d
author Jordan Rose <jordan_rose@apple.com> 1339432841 +0000
committer Jordan Rose <jordan_rose@apple.com> 1339432841 +0000

[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