llvm-project/clang/test/Analysis/inlining
Anna Zaks ba34272321 [analyzer] Restrict ObjC type inference to methods that have related result type.
This addresses a case when we inline a wrong method due to incorrect
dynamic type inference. Specifically, when user code contains a method from init
family, which creates an instance of another class.

Use hasRelatedResultType() to find out if our inference rules should be triggered.

llvm-svn: 176054
2013-02-25 22:10:34 +00:00
..
DynDispatchBifurcate.m [analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa". 2013-01-24 23:15:30 +00:00
InlineObjCClassMethod.m [analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa". 2013-01-24 23:15:30 +00:00
InlineObjCInstanceMethod.h [analyzer] ObjC Inlining: add tests for ivars and properties. 2012-08-10 18:56:01 +00:00
InlineObjCInstanceMethod.m [analyzer] Follow up to r167762 - precisely determine the adjustment 2012-11-12 23:40:29 +00:00
ObjCDynTypePopagation.m [analyzer] Restrict ObjC type inference to methods that have related result type. 2013-02-25 22:10:34 +00:00
ObjCImproperDynamictallyDetectableCast.m [analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa". 2013-01-24 23:15:30 +00:00
RetainCountExamples.m [analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa". 2013-01-24 23:15:30 +00:00
assume-super-init-does-not-return-nil.m [analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa". 2013-01-24 23:15:30 +00:00
dyn-dispatch-bifurcate.cpp [analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa". 2013-01-24 23:15:30 +00:00
eager-reclamation-path-notes.c [analyzer] Plist: change the type of issue_hash from int to string. 2013-01-08 00:25:22 +00:00
false-positive-suppression.c [analyzer] New option to not suppress null return paths if an argument is null. 2012-10-29 17:31:59 +00:00
false-positive-suppression.cpp [analyzer] Track null object lvalues back through C++ method calls. 2013-01-26 01:28:23 +00:00
path-notes.c [analyzer] Plist: change the type of issue_hash from int to string. 2013-01-08 00:25:22 +00:00
path-notes.cpp [analyzer] Fix test for r173067. 2013-01-21 18:41:05 +00:00
path-notes.m [analyzer] Plist: change the type of issue_hash from int to string. 2013-01-08 00:25:22 +00:00
retain-count-self-init.m [analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa". 2013-01-24 23:15:30 +00:00
stl.cpp [analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa". 2013-01-24 23:15:30 +00:00
test-always-inline-size-option.c [analyzer] Do not count calls to small functions when computing stack 2012-09-10 23:35:11 +00:00
test_objc_inlining_option.m [analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa". 2013-01-24 23:15:30 +00:00