Searched refs:setDynamicTypeInfo (Results 1 – 3 of 3) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | DynamicTypePropagation.cpp | 55 State = State->setDynamicTypeInfo(Region, Ty, /*CanBeSubclass=*/false); in recordFixedType()
134 C.addTransition(State->setDynamicTypeInfo(RetReg, DynResTy, false)); in checkPostCall()
144 C.addTransition(State->setDynamicTypeInfo(RetReg, RecDynType)); in checkPostCall()
189 C.addTransition(C.getState()->setDynamicTypeInfo(ToR, QualType(NewTy,0))); in checkPostStmt()
205 C.addTransition(C.getState()->setDynamicTypeInfo(MR, NewE->getType(), in checkPostStmt()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 343 ProgramStateRef setDynamicTypeInfo(const MemRegion *Reg,
347 ProgramStateRef setDynamicTypeInfo(const MemRegion *Reg,
350 return setDynamicTypeInfo(Reg, DynamicTypeInfo(NewTy, CanBeSubClassed));
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 781 ProgramStateRef ProgramState::setDynamicTypeInfo(const MemRegion *Reg, in setDynamicTypeInfo() function in ProgramState
|