[analyzer] Do not try to body-farm Objective-C properties with custom accessors.
authorArtem Dergachev <artem.dergachev@gmail.com>
Fri, 18 Jan 2019 22:52:13 +0000 (22:52 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Fri, 18 Jan 2019 22:52:13 +0000 (22:52 +0000)
commitc2c47f24f53a064d141eb5ea62ecd76d636edf77
treeda7476b9093d0cb6ed2f0cf17e39e329359c5096
parent22039df5d17e5d5b6d87a70e01e9e86c54b0138e
[analyzer] Do not try to body-farm Objective-C properties with custom accessors.

If a property is defined with a custom getter, we should not behave as if
the getter simply returns an instance variable. We don't support setters,
so they aren't affected.

On top of being the right thing to do, this also fixes a crash on
the newly added test - in which a property and its getter are defined
in two separate categories.

rdar://problem/47051544

Differential Revision: https://reviews.llvm.org/D56823

llvm-svn: 351609
clang/lib/Analysis/BodyFarm.cpp
clang/test/Analysis/properties.m