Searched refs:setDynamicTypeInfo (Results 1 – 3 of 3) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | DynamicTypePropagation.cpp | 53 State = State->setDynamicTypeInfo(Region, Ty, /*CanBeSubclass=*/false); in recordFixedType()
131 C.addTransition(State->setDynamicTypeInfo(RetReg, DynResTy, false)); in checkPostCall()
141 C.addTransition(State->setDynamicTypeInfo(RetReg, RecDynType)); in checkPostCall()
186 C.addTransition(C.getState()->setDynamicTypeInfo(ToR, QualType(NewTy,0))); in checkPostStmt()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 324 ProgramStateRef setDynamicTypeInfo(const MemRegion *Reg,
328 ProgramStateRef setDynamicTypeInfo(const MemRegion *Reg,
331 return setDynamicTypeInfo(Reg, DynamicTypeInfo(NewTy, CanBeSubClassed));
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 746 ProgramStateRef ProgramState::setDynamicTypeInfo(const MemRegion *Reg, in setDynamicTypeInfo() function in ProgramState
|