diff options
| author | Anna Zaks <ganna@apple.com> | 2012-08-03 21:43:37 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-08-03 21:43:37 +0000 |
| commit | 150843b87ebd43a06d144cda8f74ee58c15ff46a (patch) | |
| tree | 48921fc3b7da70cde89fe1b8517830f67c5c0072 /clang/lib/StaticAnalyzer/Checkers/UndefinedArraySubscriptChecker.cpp | |
| parent | 871701c606dc44eb2c42694b72351b9d59c10876 (diff) | |
| download | llvm-150843b87ebd43a06d144cda8f74ee58c15ff46a.zip llvm-150843b87ebd43a06d144cda8f74ee58c15ff46a.tar.gz llvm-150843b87ebd43a06d144cda8f74ee58c15ff46a.tar.bz2 | |
[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];
llvm-svn: 161264
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/UndefinedArraySubscriptChecker.cpp')
0 files changed, 0 insertions, 0 deletions