Searched refs:makeElementRegion (Results 1 – 3 of 3) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineCXX.cpp | 97 SVal ExprEngine::makeElementRegion(ProgramStateRef State, SVal LValue, in makeElementRegion() function in ExprEngine
130 return makeElementRegion(State, State->getLValue(Var, LCtx), Ty, in computeObjectUnderConstruction()
163 return makeElementRegion(State, FieldVal, Ty, CallOpts.IsArrayCtorOrDtor, in computeObjectUnderConstruction()
|
| H A D | ExprEngine.cpp | 1147 Region = makeElementRegion(state, loc::MemRegionVal(Region), varType, in ProcessAutomaticObjDtor()
1232 FieldVal = makeElementRegion(State, FieldVal, T, CallOpts.IsArrayCtorOrDtor); in ProcessMemberDtor()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExprEngine.h | 883 static SVal makeElementRegion(ProgramStateRef State, SVal LValue,
|