]> granicus.if.org Git - clang/commit
[analyzer] RetainCountChecker: CF properties are always manually retain-counted.
authorJordan Rose <jordan_rose@apple.com>
Sat, 7 Mar 2015 05:47:24 +0000 (05:47 +0000)
committerJordan Rose <jordan_rose@apple.com>
Sat, 7 Mar 2015 05:47:24 +0000 (05:47 +0000)
commit4803293ca39f7023d6308df43a65d142be5cf8d3
tree0aecfda4ef9260125966f390c5ff5bd767d827b4
parent322df65506dd10295e7bec29bccd5cc2f988f0bf
[analyzer] RetainCountChecker: CF properties are always manually retain-counted.

In theory we could assume a CF property is stored at +0 if there's not a custom
setter, but that's not really worth the complexity. What we do know is that a
CF property can't have ownership attributes, and so we shouldn't assume anything
about the ownership of the ivar.

rdar://problem/20076963

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@231553 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp
test/Analysis/properties.m