reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
  241   LLVM_NODISCARD ProgramStateRef bindLoc(Loc location, SVal V,

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
  703     return bindLoc(*L, V, LCtx);
tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
 2071     State = State->bindLoc(*SearchStrLoc,
tools/clang/lib/StaticAnalyzer/Checkers/CXXSelfAssignmentChecker.cpp
   54   ProgramStateRef SelfAssignState = State->bindLoc(Param, ThisVal, LCtx);
   64   ProgramStateRef NonSelfAssignState = State->bindLoc(Param, ParamVal, LCtx);
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
  426     State = State->bindLoc(BaseReg.castAs<Loc>(), InitVal, LC, false);
  438         State->bindLoc(Reg.castAs<Loc>(), InitValWithAdjustments, LC, false);
  440     State = State->bindLoc(BaseReg.castAs<Loc>(), InitVal, LC, false);
 2708     if (State == (State->bindLoc(loc::MemRegionVal(MR), Val, LCtx)))
 2794     state = state->bindLoc(location.castAs<Loc>(),
 2981       state = state->bindLoc(*LV, UnknownVal(), Pred->getLocationContext());
tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp
  244         State = State->bindLoc(loc::MemRegionVal(capturedR), originalV, LCtx);
  565     State = State->bindLoc(CLLoc, V, LCtx);
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
  867   state = state->bindLoc(state->getLValue(VD, LCtx), V, LCtx);