Searched refs:makeElementRegion (Results 1 – 3 of 3) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineCXX.cpp | 100 SVal ExprEngine::makeElementRegion(ProgramStateRef State, SVal LValue, in makeElementRegion() function in ExprEngine
139 return makeElementRegion(State, State->getLValue(Var, LCtx), Ty, in computeObjectUnderConstruction()
172 return makeElementRegion(State, FieldVal, Ty, CallOpts.IsArrayCtorOrDtor, in computeObjectUnderConstruction()
|
| H A D | ExprEngine.cpp | 1389 Region = makeElementRegion(state, loc::MemRegionVal(Region), varType, in ProcessAutomaticObjDtor()
1546 makeElementRegion(State, FieldVal, T, CallOpts.IsArrayCtorOrDtor, Idx); in ProcessMemberDtor()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExprEngine.h | 887 static SVal makeElementRegion(ProgramStateRef State, SVal LValue,
|