]> granicus.if.org Git - clang/commit
[analyzer] RetainCountChecker: Don't assume +0 for ivars backing readonly properties.
authorJordan Rose <jordan_rose@apple.com>
Fri, 20 Mar 2015 21:12:27 +0000 (21:12 +0000)
committerJordan Rose <jordan_rose@apple.com>
Fri, 20 Mar 2015 21:12:27 +0000 (21:12 +0000)
commita1f095a9dbcd425f6fadf39da6f42594edebaddd
tree897e967ac783cb75512ef791090133d06d7115a9
parentfd78369ed863c0c0cce9615d7a81b4be75b30c8d
[analyzer] RetainCountChecker: Don't assume +0 for ivars backing readonly properties.

Similarly, don't assume +0 if the property's setter is manually implemented.
In both cases, if the property's ownership is explicitly written, then we /do/
assume the ivar has the same ownership.

rdar://problem/20218183

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