Searched refs:setDynamicTypeInfo (Results 1 – 3 of 3) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | DynamicTypeMap.h | 43 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg,
47 inline ProgramStateRef setDynamicTypeInfo(ProgramStateRef State,
50 return setDynamicTypeInfo(State, Reg,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | DynamicTypeMap.cpp | 42 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *Reg, in setDynamicTypeInfo() function
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | DynamicTypePropagation.cpp | 153 State = setDynamicTypeInfo(State, Region, Ty, /*CanBeSubclass=*/false); in recordFixedType()
231 C.addTransition(setDynamicTypeInfo(State, RetReg, DynResTy, false)); in checkPostCall()
241 C.addTransition(setDynamicTypeInfo(State, RetReg, RecDynType)); in checkPostCall()
288 State = setDynamicTypeInfo(State, ToR, QualType(NewTy, 0)); in dynamicTypePropagationOnCasts()
304 C.addTransition(setDynamicTypeInfo(C.getState(), MR, NewE->getType(), in checkPostStmt()
853 State = setDynamicTypeInfo(State, RetRegion, ResultType, in checkPostObjCMessage()
|