| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramState.h | 308 Loc getLValue(const CXXRecordDecl *BaseClass, const SubRegion *Super,
312 Loc getLValue(const VarDecl *D, const LocationContext *LC) const;
314 Loc getLValue(const CompoundLiteralExpr *literal,
318 SVal getLValue(const ObjCIvarDecl *decl, SVal base) const;
321 SVal getLValue(const FieldDecl *decl, SVal Base) const;
324 SVal getLValue(const IndirectFieldDecl *decl, SVal Base) const;
327 SVal getLValue(QualType ElementType, SVal Idx, SVal Base) const;
739 inline Loc ProgramState::getLValue(const CXXBaseSpecifier &BaseSpec, in getLValue() function
747 inline Loc ProgramState::getLValue(const CXXRecordDecl *BaseClass, in getLValue() function
755 inline Loc ProgramState::getLValue(const VarDecl *VD, in getLValue() function
[all …]
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineCXX.cpp | 106 LValue = State->getLValue(Ty, SVB.makeZeroArrayIndex(), LValue); in makeZeroElementRegion()
129 SVal LValue = State->getLValue(Var, LCtx); in prepareForObjectConstruction()
151 FieldVal = State->getLValue(Init->getIndirectMember(), ThisVal); in prepareForObjectConstruction()
154 FieldVal = State->getLValue(Init->getMember(), ThisVal); in prepareForObjectConstruction()
836 state = state->bindLoc(state->getLValue(VD, LCtx), V, LCtx); in VisitCXXCatchStmt()
876 SVal FieldLoc = State->getLValue(FieldForCapture, V); in VisitLambdaExpr()
|
| H A D | ExprEngineObjC.cpp | 28 SVal location = state->getLValue(Ex->getDecl(), baseVal); in VisitLvalObjCIvarRefExpr()
124 elementV = state->getLValue(elemD, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
|
| H A D | ExprEngine.cpp | 801 FieldLoc = State->getLValue(BMI->getIndirectMember(), thisVal); in ProcessInitializer()
804 FieldLoc = State->getLValue(BMI->getMember(), thisVal); in ProcessInitializer()
907 SVal dest = state->getLValue(varDecl, Pred->getLocationContext()); in ProcessAutomaticObjDtor()
1004 State->getLValue(Member, State->getSVal(ThisVal).castAs<Loc>()); in ProcessMemberDtor()
2397 VInfo = std::make_pair(state->getLValue(FD, CXXThisVal), FD->getType()); in VisitCommonDeclRefExpr()
2402 VInfo = std::make_pair(state->getLValue(VD, LocCtxt), VD->getType()); in VisitCommonDeclRefExpr()
2488 SVal V = state->getLValue(T, in VisitArraySubscriptExpr()
2550 SVal L = state->getLValue(field, baseExprVal); in VisitMemberExpr()
|
| H A D | BugReporterVisitors.cpp | 734 State->getLValue(VD, LCtx).getAsRegion())) in matchAssignment()
2025 if (const MemRegion *R = state->getLValue(cast<VarDecl>(DR->getDecl()), in patternMatch()
2176 if (const MemRegion *R = state->getLValue(VD, LCtx).getAsRegion()) { in VisitConditionVariable()
2215 if (const MemRegion *R = state->getLValue(VD, LCtx).getAsRegion()) { in VisitTrueTest()
|
| H A D | ExprEngineC.cpp | 553 Loc CLLoc = State->getLValue(CL, LCtx); in VisitCompoundLiteralExpr()
615 evalBind(Dst2, DS, UpdatedN, state->getLValue(VD, LC), InitVal, true); in VisitDeclStmt()
|
| H A D | CallEvent.cpp | 935 SVal IvarLVal = getState()->getLValue(PropIvar, getReceiverSVal()); in getExtraInvalidatedValues()
|
| H A D | SimpleSValBuilder.cpp | 1109 return state->getLValue(FD, Result); in evalBinOpLN()
|
| H A D | BugReporter.cpp | 878 Loc LV = State->getLValue(PD, CalleeCtx); in reversePropagateInterestingSymbols()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
| H A D | UninitializedObjectChecker.cpp | 285 State->getLValue(I, loc::MemRegionVal(R)).castAs<loc::MemRegionVal>(); in isNonUnionUninit()
341 const auto *BaseRegion = State->getLValue(BaseSpec, R) in isNonUnionUninit()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | GTestChecker.cpp | 263 State->getLValue(SuccessField, Instance).getAs<Loc>(); in getAssertionResultSuccessFieldValue()
|
| H A D | CheckObjCDealloc.cpp | 285 SVal LVal = State->getLValue(PropImpl->getPropertyIvarDecl(), SelfVal); in checkBeginFunction()
957 SVal LVal = State->getLValue(PropIvarDecl, ReceiverVal); in getValueReleasedByNillingOut()
|
| H A D | NullabilityChecker.cpp | 367 SVal LV = State->getLValue(ParamDecl, LocCtxt); in checkParamsForPreconditionViolation()
399 SVal LV = State->getLValue(IvarDecl, SelfVal); in checkSelfIvarsForInvariantViolation()
|
| H A D | BasicObjCFoundationChecks.cpp | 898 ElementLoc = State->getLValue(ElemDecl, LCtx); in checkElementNonNil()
|
| H A D | CStringChecker.cpp | 2373 Loc VarLoc = state->getLValue(D, C.getLocationContext()); in checkPreStmt()
|