]> granicus.if.org Git - clang/commit
[analyzer] Use BodyFarm-synthesized body even when actual body available.
authorDevin Coughlin <dcoughlin@apple.com>
Mon, 28 Mar 2016 23:55:58 +0000 (23:55 +0000)
committerDevin Coughlin <dcoughlin@apple.com>
Mon, 28 Mar 2016 23:55:58 +0000 (23:55 +0000)
commitc2685f09703167912371d2663b35ca6afa3db24d
treed855cbd2b6505f53f371e5fee6042bec8af81900
parent4505b3cbd529781ee352cf8eb8ec7b03b855ff3c
[analyzer] Use BodyFarm-synthesized body even when actual body available.

Change body autosynthesis to use the BodyFarm-synthesized body even when
an actual body exists. This enables the analyzer to use the simpler,
analyzer-provided body to model the behavior of the function rather than trying
to understand the actual body. Further, this makes the analyzer robust against
changes in headers that expose the implementations of those bodies.

rdar://problem/25145950

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@264687 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/AnalysisDeclContext.cpp
test/Analysis/NSString.m
test/Analysis/properties.m