tree dac22e6e6bff733bd6686b2d3d62d4d4cdeff176
parent f86e56b7fbf11fed169eb3e300ac72c6b9d190fe
author Artem Dergachev <artem.dergachev@gmail.com> 1481649558 +0000
committer Artem Dergachev <artem.dergachev@gmail.com> 1481708592 +0300

[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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@289554 91177308-0d34-0410-b5e6-96231b3b80d8
(cherry picked from commit bcb98cc24406e72080d913a0e4f4e089da1aa5dd)