maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[analyzer] Rename the function to better reflect what it actually does. 

llvm-svn: 161617
This commit is contained in:
Anna Zaks 2012-08-09 21:02:45 +00:00
parent 8d1f1f3b06
commit a0105b2320
3 changed files with 9 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
View File

@ -334,14 +334,14 @@ public:
/// \brief Get dynamic type information for a region.
DynamicTypeInfo getDynamicTypeInfo(const MemRegion *Reg) const;
/// \brief Add dynamic type information to the region; return the new state.
ProgramStateRef addDynamicTypeInfo(const MemRegion *Reg,
/// \brief Set dynamic type information of the region; return the new state.
ProgramStateRef setDynamicTypeInfo(const MemRegion *Reg,
DynamicTypeInfo NewTy) const;
/// \brief Add dynamic type information to the region; return the new state.
ProgramStateRef addDynamicTypeInfo(const MemRegion *Reg,
/// \brief Set dynamic type information of the region; return the new state.
ProgramStateRef setDynamicTypeInfo(const MemRegion *Reg,
QualType NewTy) const {
return addDynamicTypeInfo(Reg, DynamicTypeInfo(NewTy));
return setDynamicTypeInfo(Reg, DynamicTypeInfo(NewTy));
}
//==---------------------------------------------------------------------==//

6
clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp
View File

@ -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;

4
clang/lib/StaticAnalyzer/Core/ProgramState.cpp
View File

@ -762,12 +762,10 @@ DynamicTypeInfo ProgramState::getDynamicTypeInfo(const MemRegion *Reg) const {
return DynamicTypeInfo();
}
ProgramStateRef ProgramState::addDynamicTypeInfo(const MemRegion *Reg,
ProgramStateRef ProgramState::setDynamicTypeInfo(const MemRegion *Reg,
DynamicTypeInfo NewTy) const {
if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg)) {
SymbolRef Sym = SR->getSymbol();
// TODO: Instead of resetting the type info, check the old type info and
// merge and pick the most precise type.
ProgramStateRef NewState = set<DynamicTypeMap>(Sym, NewTy);
assert(NewState);
return NewState;