/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ProgramState.h | 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; 755 inline Loc ProgramState::getLValue(const CXXBaseSpecifier &BaseSpec, in getLValue() function 763 inline Loc ProgramState::getLValue(const CXXRecordDecl *BaseClass, in getLValue() function 771 inline Loc ProgramState::getLValue(const VarDecl *VD, in getLValue() function [all …]
|
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | ExprEngineCXX.cpp | 110 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()
|
H A D | ExprEngineObjC.cpp | 27 SVal location = state->getLValue(Ex->getDecl(), baseVal); in VisitLvalObjCIvarRefExpr() 120 elementV = state->getLValue(elemD, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
|
H A D | ExprEngine.cpp | 1192 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() 1517 SVal FieldVal = State->getLValue(Member, ThisLoc); in ProcessMemberDtor() 3130 SVal Base = state->getLValue(DD, LCtx); in VisitCommonDeclRefExpr() 3143 V = state->getLValue(Field, Base); in VisitCommonDeclRefExpr() 3154 V = state->getLValue(BD->getType(), Idx, Base); in VisitCommonDeclRefExpr() 3158 V = state->getLValue(HV, LCtx); in VisitCommonDeclRefExpr() 3277 Base = state->getLValue(cast<VarDecl>(DRE->getDecl()), LCtx); in VisitArrayInitLoopExpr() 3325 SVal V = state->getLValue(T, in VisitArraySubscriptExpr() [all …]
|
H A D | BugReporterVisitors.cpp | 194 SVal StructSVal = N->getState()->getLValue(VD, N->getLocationContext()); in getLocationRegionIfReference() 195 return N->getState()->getLValue(FD, StructSVal).getAsRegion(); in getLocationRegionIfReference() 205 return N->getState()->getLValue(VD, N->getLocationContext()).getAsRegion(); in getLocationRegionIfReference() 248 return State->getSVal(State->getLValue(VD, LCtx)); in getSValForVar() 968 State->getLValue(VD, LCtx).getAsRegion())) in matchAssignment() 1624 OriginField = State->getLValue(FR->getDecl(), OriginField); in VisitNode() 1626 OriginField = State->getLValue(ER->getElementType(), in VisitNode() 2976 if (const MemRegion *R = state->getLValue(cast<VarDecl>(DR->getDecl()), in patternMatch()
|
H A D | ExprEngineC.cpp | 553 Loc CLLoc = State->getLValue(CL, LCtx); in VisitCompoundLiteralExpr() 627 evalBind(Dst2, DS, UpdatedN, state->getLValue(VD, LC), InitVal, true); in VisitDeclStmt()
|
H A D | CallEvent.cpp | 987 SVal IvarLVal = getState()->getLValue(PropIvar, getReceiverSVal()); in getExtraInvalidatedValues()
|
H A D | SimpleSValBuilder.cpp | 1094 return state->getLValue(FD, Result); in evalBinOpLN()
|
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
H A D | UninitializedObjectChecker.cpp | 296 State->getLValue(I, loc::MemRegionVal(R)).castAs<loc::MemRegionVal>(); in isNonUnionUninit() 352 const auto *BaseRegion = State->getLValue(BaseSpec, R) in isNonUnionUninit()
|
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | GTestChecker.cpp | 261 State->getLValue(SuccessField, Instance).getAs<Loc>(); in getAssertionResultSuccessFieldValue()
|
H A D | NonNullParamChecker.cpp | 265 Loc ParameterLoc = State->getLValue(Parameter, LocContext); in checkBeginFunction()
|
H A D | CheckObjCDealloc.cpp | 290 SVal LVal = State->getLValue(PropImpl->getPropertyIvarDecl(), SelfVal); in checkBeginFunction() 946 SVal LVal = State->getLValue(PropIvarDecl, ReceiverVal); in getValueReleasedByNillingOut()
|
H A D | IteratorModeling.cpp | 644 NewVal = State->getLValue(ElementType, Offset, OldVal); in handlePtrIncrOrDecr() 648 NewVal = State->getLValue(ElementType, NegatedOffset, OldVal); in handlePtrIncrOrDecr()
|
H A D | NullabilityChecker.cpp | 412 SVal LV = State->getLValue(ParamDecl, LocCtxt); in checkParamsForPreconditionViolation() 444 SVal LV = State->getLValue(IvarDecl, SelfVal); in checkSelfIvarsForInvariantViolation()
|
H A D | BasicObjCFoundationChecks.cpp | 908 ElementLoc = State->getLValue(ElemDecl, LCtx); in checkElementNonNil()
|
H A D | CStringChecker.cpp | 2594 Loc VarLoc = state->getLValue(D, C.getLocationContext()); in checkPreStmt()
|