diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2016-12-13 17:19:18 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2016-12-13 17:19:18 +0000 |
| commit | e69d2e47e5142c3a60eab90f39f62e3e44c67ad7 (patch) | |
| tree | 8e97f726e6faa8c5d05e821cfde045925e4d993e /llvm/lib/CodeGen/MachineDominanceFrontier.cpp | |
| parent | 26dab1283f97d67e20c07c5ed9797a0c35e2bb8e (diff) | |
| download | bcm5719-llvm-e69d2e47e5142c3a60eab90f39f62e3e44c67ad7.tar.gz bcm5719-llvm-e69d2e47e5142c3a60eab90f39f62e3e44c67ad7.zip | |
[analyzer] Detect ObjC properties that are both (copy) and Mutable.
When an Objective-C property has a (copy) attribute, the default setter
for this property performs a -copy on the object assigned.
Calling -copy on a mutable NS object such as NSMutableString etc.
produces an immutable object, NSString in our example.
Hence the getter becomes type-incorrect.
rdar://problem/21022397
Differential Revision: https://reviews.llvm.org/D27535
llvm-svn: 289554
Diffstat (limited to 'llvm/lib/CodeGen/MachineDominanceFrontier.cpp')
0 files changed, 0 insertions, 0 deletions
