Home
last modified time | relevance | path

Searched refs:bindLoc (Results 1 – 10 of 10) sorted by relevance

/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DCXXSelfAssignmentChecker.cpp54 ProgramStateRef SelfAssignState = State->bindLoc(Param, ThisVal, LCtx); in checkBeginFunction()
64 ProgramStateRef NonSelfAssignState = State->bindLoc(Param, ParamVal, LCtx); in checkBeginFunction()
H A DErrnoModeling.cpp227 State = State->bindLoc(loc::MemRegionVal{ErrnoR}, Value, LCtx); in setErrnoValue()
236 State = State->bindLoc( in setErrnoValue()
H A DCStringChecker.cpp2206 State = State->bindLoc(*SearchStrLoc, in evalStrsep()
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h284 [[nodiscard]] ProgramStateRef bindLoc(Loc location, SVal V,
288 [[nodiscard]] ProgramStateRef bindLoc(SVal location, SVal V,
749 inline ProgramStateRef ProgramState::bindLoc(SVal LV, SVal V, const LocationContext *LCtx) const { in bindLoc() function
751 return bindLoc(*L, V, LCtx); in bindLoc()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DExprEngineObjC.cpp76 nextState = nextState->bindLoc(elementV, V, LCtx); in populateObjCForDestinationSet()
H A DExprEngine.cpp436 State = State->bindLoc(BaseReg.castAs<Loc>(), InitVal, LC, false); in createTemporaryRegionIfNeeded()
448 State->bindLoc(Reg.castAs<Loc>(), InitValWithAdjustments, LC, false); in createTemporaryRegionIfNeeded()
450 State = State->bindLoc(BaseReg.castAs<Loc>(), InitVal, LC, false); in createTemporaryRegionIfNeeded()
3487 (State->bindLoc(loc::MemRegionVal(MR), LocAndVal.second, LCtx))) in processPointerEscapedOnBind()
3585 state = state->bindLoc(location.castAs<Loc>(), in evalBind()
3772 state = state->bindLoc(*LV, UnknownVal(), Pred->getLocationContext()); in VisitGCCAsmStmt()
H A DExprEngineCXX.cpp1156 state = state->bindLoc(state->getLValue(VD, LCtx), V, LCtx); in VisitCXXCatchStmt()
1238 State = State->bindLoc(FieldLoc, InitVal, LocCtxt); in VisitLambdaExpr()
H A DExprEngineC.cpp244 State = State->bindLoc(loc::MemRegionVal(capturedR), originalV, LCtx); in VisitBlockExpr()
563 State = State->bindLoc(CLLoc, V, LCtx); in VisitCompoundLiteralExpr()
H A DProgramState.cpp114 ProgramStateRef ProgramState::bindLoc(Loc LV, in bindLoc() function in ProgramState
/openbsd-src/gnu/llvm/clang/docs/analyzer/developer-docs/
H A DInitializerLists.rst43 would be ``bindLoc()``ed to contain the list's contents (probably as a ``CompoundVal``
53 Approach (1): If only we enabled ``ProgramState::bindLoc(..., notifyChanges=true)``