Home
last modified time | relevance | path

Searched refs:getLValue (Results 1 – 17 of 17) sorted by relevance

/freebsd-13-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDProgramState.h349 Loc getLValue(const CXXBaseSpecifier &BaseSpec, const SubRegion *Super) const;
352 Loc getLValue(const CXXRecordDecl *BaseClass, const SubRegion *Super,
356 Loc getLValue(const VarDecl *D, const LocationContext *LC) const;
358 Loc getLValue(const CompoundLiteralExpr *literal,
362 SVal getLValue(const ObjCIvarDecl *decl, SVal base) const;
365 SVal getLValue(const FieldDecl *decl, SVal Base) const;
368 SVal getLValue(const IndirectFieldDecl *decl, SVal Base) const;
371 SVal getLValue(QualType ElementType, SVal Idx, SVal Base) const;
757 inline Loc ProgramState::getLValue(const CXXBaseSpecifier &BaseSpec, in getLValue() function
765 inline Loc ProgramState::getLValue(const CXXRecordDecl *BaseClass, in getLValue() function
[all …]
/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDExprEngineCXX.cpp110 LValue = State->getLValue(Ty, SVB.makeArrayIndex(Idx), LValue); in makeElementRegion()
139 return makeElementRegion(State, State->getLValue(Var, LCtx), Ty, in computeObjectUnderConstruction()
165 FieldVal = State->getLValue(Init->getIndirectMember(), ThisVal); in computeObjectUnderConstruction()
168 FieldVal = State->getLValue(Init->getMember(), ThisVal); in computeObjectUnderConstruction()
322 Base = State->getLValue(E->getType(), svalBuilder.makeArrayIndex(Idx), in computeObjectUnderConstruction()
573 Base = State->getLValue(cast<VarDecl>(DRE->getDecl()), LCtx); in bindRequiredArrayElementToEnvironment()
577 SVal NthElem = State->getLValue(CE->getType(), Idx, Base); in bindRequiredArrayElementToEnvironment()
1161 state = state->bindLoc(state->getLValue(VD, LCtx), V, LCtx); in VisitCXXCatchStmt()
1199 SVal FieldLoc = State->getLValue(FieldForCapture, V); in VisitLambdaExpr()
HDExprEngineObjC.cpp27 SVal location = state->getLValue(Ex->getDecl(), baseVal); in VisitLvalObjCIvarRefExpr()
120 elementV = state->getLValue(elemD, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
HDExprEngine.cpp1192 FieldLoc = State->getLValue(BMI->getIndirectMember(), thisVal); in ProcessInitializer()
1195 FieldLoc = State->getLValue(BMI->getMember(), thisVal); in ProcessInitializer()
1347 SVal dest = state->getLValue(varDecl, LCtx); in ProcessAutomaticObjDtor()
1466 ArgR = State->getLValue(DTy, svalBuilder.makeArrayIndex(Idx), ArgVal) in ProcessDeleteDtor()
1517 SVal FieldVal = State->getLValue(Member, ThisLoc); in ProcessMemberDtor()
3099 VInfo = std::make_pair(state->getLValue(FD, CXXThisVal), FD->getType()); in VisitCommonDeclRefExpr()
3104 VInfo = std::make_pair(state->getLValue(VD, LocCtxt), VD->getType()); in VisitCommonDeclRefExpr()
3142 SVal Base = state->getLValue(DD, LCtx); in VisitCommonDeclRefExpr()
3155 V = state->getLValue(Field, Base); in VisitCommonDeclRefExpr()
3166 V = state->getLValue(BD->getType(), Idx, Base); in VisitCommonDeclRefExpr()
[all …]
HDBugReporterVisitors.cpp198 SVal StructSVal = N->getState()->getLValue(VD, N->getLocationContext()); in getLocationRegionIfReference()
199 return N->getState()->getLValue(FD, StructSVal).getAsRegion(); in getLocationRegionIfReference()
209 return N->getState()->getLValue(VD, N->getLocationContext()).getAsRegion(); in getLocationRegionIfReference()
252 return State->getSVal(State->getLValue(VD, LCtx)); in getSValForVar()
972 State->getLValue(VD, LCtx).getAsRegion())) in matchAssignment()
1628 OriginField = State->getLValue(FR->getDecl(), OriginField); in VisitNode()
1630 OriginField = State->getLValue(ER->getElementType(), in VisitNode()
2990 if (const MemRegion *R = state->getLValue(cast<VarDecl>(DR->getDecl()), in patternMatch()
HDProgramState.cpp468 SVal ProgramState::getLValue(const FieldDecl *D, SVal Base) const { in getLValue() function in ProgramState
473 SVal ProgramState::getLValue(const IndirectFieldDecl *D, SVal Base) const { in getLValue() function in ProgramState
HDExprEngineC.cpp555 Loc CLLoc = State->getLValue(CL, LCtx); in VisitCompoundLiteralExpr()
629 evalBind(Dst2, DS, UpdatedN, state->getLValue(VD, LC), InitVal, true); in VisitDeclStmt()
HDCallEvent.cpp987 SVal IvarLVal = getState()->getLValue(PropIvar, getReceiverSVal()); in getExtraInvalidatedValues()
HDSimpleSValBuilder.cpp1094 return state->getLValue(FD, Result); in evalBinOpLN()
/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
HDUninitializedObjectChecker.cpp296 State->getLValue(I, loc::MemRegionVal(R)).castAs<loc::MemRegionVal>(); in isNonUnionUninit()
352 const auto *BaseRegion = State->getLValue(BaseSpec, R) in isNonUnionUninit()
/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDGTestChecker.cpp261 State->getLValue(SuccessField, Instance).getAs<Loc>(); in getAssertionResultSuccessFieldValue()
HDNonNullParamChecker.cpp265 Loc ParameterLoc = State->getLValue(Parameter, LocContext); in checkBeginFunction()
HDCheckObjCDealloc.cpp290 SVal LVal = State->getLValue(PropImpl->getPropertyIvarDecl(), SelfVal); in checkBeginFunction()
946 SVal LVal = State->getLValue(PropIvarDecl, ReceiverVal); in getValueReleasedByNillingOut()
HDIteratorModeling.cpp645 NewVal = State->getLValue(ElementType, Offset, OldVal); in handlePtrIncrOrDecr()
649 NewVal = State->getLValue(ElementType, NegatedOffset, OldVal); in handlePtrIncrOrDecr()
HDNullabilityChecker.cpp412 SVal LV = State->getLValue(ParamDecl, LocCtxt); in checkParamsForPreconditionViolation()
444 SVal LV = State->getLValue(IvarDecl, SelfVal); in checkSelfIvarsForInvariantViolation()
HDCStringChecker.cpp465 State->getLValue(ElemTy, Zero, loc::MemRegionVal(SuperR)).getAs<Loc>(); in checkInit()
521 State->getLValue(ElemTy, LastIdx, loc::MemRegionVal(SuperR)); in checkInit()
2741 Loc VarLoc = state->getLValue(D, C.getLocationContext()); in checkPreStmt()
HDBasicObjCFoundationChecks.cpp904 ElementLoc = State->getLValue(ElemDecl, LCtx); in checkElementNonNil()