diff options
author | Anna Zaks <ganna@apple.com> | 2012-08-09 21:02:45 +0000 |
---|---|---|
committer | Anna Zaks <ganna@apple.com> | 2012-08-09 21:02:45 +0000 |
commit | d4fe57f7f7a8793227effc1274d70ec44cee9a4f (patch) | |
tree | 0b59c4e2bc75cb2635c3338a63778cdd58dd7ca8 /lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp | |
parent | 6960f6e53b0d9a69a460c99ec199470271ff9603 (diff) |
[analyzer] Rename the function to better reflect what it actually does.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@161617 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp')
-rw-r--r-- | lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp b/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp index d9edab8ede..d8bb5ea7a5 100644 --- a/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp +++ b/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp @@ -68,7 +68,7 @@ void DynamicTypePropagation::checkPostCall(const CallEvent &Call, return; QualType DynResTy = C.getASTContext().getObjCObjectPointerType(QualType(ObjTy, 0)); - C.addTransition(State->addDynamicTypeInfo(RetReg, DynResTy)); + C.addTransition(State->setDynamicTypeInfo(RetReg, DynResTy)); break; } case OMF_init: { @@ -78,7 +78,7 @@ void DynamicTypePropagation::checkPostCall(const CallEvent &Call, if (!RecReg) return; DynamicTypeInfo RecDynType = State->getDynamicTypeInfo(RecReg); - C.addTransition(State->addDynamicTypeInfo(RetReg, RecDynType)); + C.addTransition(State->setDynamicTypeInfo(RetReg, RecDynType)); break; } } @@ -98,7 +98,7 @@ void DynamicTypePropagation::checkPostStmt(const ImplicitCastExpr *CastE, case CK_BitCast: // Only handle ObjCObjects for now. if (const Type *NewTy = getBetterObjCType(CastE, C)) - C.addTransition(C.getState()->addDynamicTypeInfo(ToR, QualType(NewTy,0))); + C.addTransition(C.getState()->setDynamicTypeInfo(ToR, QualType(NewTy,0))); break; } return; |