]> granicus.if.org Git - clang/commit
[analyzer] ObjC Inlining: Start tracking dynamic type info in the GDM
authorAnna Zaks <ganna@apple.com>
Fri, 3 Aug 2012 21:43:37 +0000 (21:43 +0000)
committerAnna Zaks <ganna@apple.com>
Fri, 3 Aug 2012 21:43:37 +0000 (21:43 +0000)
commit148fee988e32efcad45ecf7b3bf714880c657dda
tree0d51ee02bdc3957c1338ce25a091324e8cc150c4
parent89ab7d0012ffe02a335b765eeb9b48977a5ecd79
[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
include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
lib/StaticAnalyzer/Core/ExprEngineC.cpp
lib/StaticAnalyzer/Core/ProgramState.cpp
test/Analysis/inlining/InlineObjCInstanceMethod.m