[analyzer] Remove ObjCContainersChecker size information when a CFMutableArrayRef...
authorDevin Coughlin <dcoughlin@apple.com>
Mon, 15 Jun 2015 01:00:42 +0000 (01:00 +0000)
committerDevin Coughlin <dcoughlin@apple.com>
Mon, 15 Jun 2015 01:00:42 +0000 (01:00 +0000)
commit0bee1d7ff1e14fffbc6bbdf50e5324ea4c92aeef
treedbf388172bc7110d5cb8d95cb1f3d5dcb0f7cdcf
parentb11df184ad642c8601d4073fff54974fd76b70c7
[analyzer] Remove ObjCContainersChecker size information when a CFMutableArrayRef escapes

Update ObjCContainersChecker to be notified when pointers escape so it can
remove size information for escaping CFMutableArrayRefs. When such pointers
escape, un-analyzed code could mutate the array and cause the size information
to be incorrect.

rdar://problem/19406485

llvm-svn: 239709
clang/lib/StaticAnalyzer/Checkers/ObjCContainersChecker.cpp
clang/test/Analysis/CFContainers.mm