| commit | 148fee988e32efcad45ecf7b3bf714880c657dda | [log] [tgz] |
|---|---|---|
| author | Anna Zaks <ganna@apple.com> | Fri Aug 03 21:43:37 2012 +0000 |
| committer | Anna Zaks <ganna@apple.com> | Fri Aug 03 21:43:37 2012 +0000 |
| tree | 0d51ee02bdc3957c1338ce25a091324e8cc150c4 | |
| parent | 89ab7d0012ffe02a335b765eeb9b48977a5ecd79 [diff] |
[analyzer] ObjC Inlining: Start tracking dynamic type info in the GDM In the following code, find the type of the symbolic receiver by following it and updating the dynamic type info in the state when we cast the symbol from id to MyClass *. MyClass *a = [[self alloc] init]; return 5/[a testSelf]; git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@161264 91177308-0d34-0410-b5e6-96231b3b80d8