Home
last modified time | relevance | path

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

/llvm-project-15.0.7/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.cpp226 State = State->bindLoc(loc::MemRegionVal{ErrnoR}, Value, LCtx); in setErrnoValue()
235 State = State->bindLoc( in setErrnoValue()
H A DCStringChecker.cpp2179 State = State->bindLoc(*SearchStrLoc, in evalStrsep()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h283 LLVM_NODISCARD ProgramStateRef bindLoc(Loc location, SVal V,
287 LLVM_NODISCARD ProgramStateRef bindLoc(SVal location, SVal V,
747 inline ProgramStateRef ProgramState::bindLoc(SVal LV, SVal V, const LocationContext *LCtx) const { in bindLoc() function
749 return bindLoc(*L, V, LCtx); in bindLoc()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DExprEngineObjC.cpp76 nextState = nextState->bindLoc(elementV, V, LCtx); in populateObjCForDestinationSet()
H A DExprEngine.cpp429 State = State->bindLoc(BaseReg.castAs<Loc>(), InitVal, LC, false); in createTemporaryRegionIfNeeded()
441 State->bindLoc(Reg.castAs<Loc>(), InitValWithAdjustments, LC, false); in createTemporaryRegionIfNeeded()
443 State = State->bindLoc(BaseReg.castAs<Loc>(), InitVal, LC, false); in createTemporaryRegionIfNeeded()
3155 (State->bindLoc(loc::MemRegionVal(MR), LocAndVal.second, LCtx))) in processPointerEscapedOnBind()
3253 state = state->bindLoc(location.castAs<Loc>(), in evalBind()
3440 state = state->bindLoc(*LV, UnknownVal(), Pred->getLocationContext()); in VisitGCCAsmStmt()
H A DExprEngineCXX.cpp1101 state = state->bindLoc(state->getLValue(VD, LCtx), V, LCtx); in VisitCXXCatchStmt()
1177 State = State->bindLoc(FieldLoc, InitVal, LocCtxt); in VisitLambdaExpr()
H A DExprEngineC.cpp243 State = State->bindLoc(loc::MemRegionVal(capturedR), originalV, LCtx); in VisitBlockExpr()
562 State = State->bindLoc(CLLoc, V, LCtx); in VisitCompoundLiteralExpr()
H A DProgramState.cpp113 ProgramStateRef ProgramState::bindLoc(Loc LV, in bindLoc() function in ProgramState
/llvm-project-15.0.7/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)``