Searched refs:setDynamicTypeInfo (Results 1 – 3 of 3) sorted by relevance
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | DynamicType.h | 50 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR,
54 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR,
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | DynamicType.cpp | 99 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR, in setDynamicTypeInfo() function
106 ProgramStateRef setDynamicTypeInfo(ProgramStateRef State, const MemRegion *MR, in setDynamicTypeInfo() function
108 return setDynamicTypeInfo(State, MR, DynamicTypeInfo(NewTy, CanBeSubClassed)); in setDynamicTypeInfo()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DynamicTypePropagation.cpp | 255 State = setDynamicTypeInfo(State, Region, Ty, /*CanBeSubClassed=*/false); in recordFixedType()
342 C.addTransition(setDynamicTypeInfo(State, RetReg, DynResTy, false)); in checkPostCall()
352 C.addTransition(setDynamicTypeInfo(State, RetReg, RecDynType)); in checkPostCall()
410 State = setDynamicTypeInfo(State, ToR, QualType(NewTy, 0)); in dynamicTypePropagationOnCasts()
426 C.addTransition(setDynamicTypeInfo(C.getState(), MR, NewE->getType(), in checkPostStmt()
1002 State = setDynamicTypeInfo(State, RetRegion, ResultType, in checkPostObjCMessage()
|