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

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h

  333   SVal getSVal(Loc LV, QualType T = QualType()) const;

References

tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp

  907   SVal Val = State->getSVal(*ElementLoc);

tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

 2062     Result = State->getSVal(*SearchStrLoc, CharPtrTy);

tools/clang/lib/StaticAnalyzer/Checkers/CXXSelfAssignmentChecker.cpp

   50       State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame()));
   52   auto ParamVal = State->getSVal(Param);

tools/clang/lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp

  289     SVal InitialVal = State->getSVal(LValLoc.getValue());
  960   SVal CurrentValInIvar = State->getSVal(LValLoc.getValue());

tools/clang/lib/StaticAnalyzer/Checkers/GTestChecker.cpp

  140     BooleanArgVal = C.getState()->getSVal(BooleanArgVal.castAs<Loc>());
  266   return State->getSVal(*FieldLoc);

tools/clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp

  580   return State->getSVal(*AddrLoc, ValTy);

tools/clang/lib/StaticAnalyzer/Checkers/NSErrorChecker.cpp

  228     setFlag<NSErrorOut>(state, state->getSVal(loc.castAs<Loc>()), C);
  233     setFlag<CFErrorOut>(state, state->getSVal(loc.castAs<Loc>()), C);

tools/clang/lib/StaticAnalyzer/Checkers/NonnullGlobalConstantsChecker.cpp

   77     SVal V = State->getSVal(location.castAs<Loc>());

tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp

  346   auto StoredVal = State->getSVal(*RegionVal).getAs<loc::MemRegionVal>();

tools/clang/lib/StaticAnalyzer/Checkers/ObjCSelfInitChecker.cpp

  254       unsigned selfFlags = getSelfFlags(state->getSVal(argV.castAs<Loc>()), C);
  285       addSelfFlag(state, state->getSVal(argV.castAs<Loc>()), prevFlags, C);
  311     addSelfFlag(state, state->getSVal(location.castAs<Loc>()), SelfFlag_Self,

tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp

  292   SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol();

tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp

  331     SVal V = State->getSVal(FieldVal);
  464   SVal ObjectV = Context.getState()->getSVal(ThisLoc);

tools/clang/lib/StaticAnalyzer/Checkers/ValistChecker.cpp

  178       Reg = C.getState()->getSVal(SV.castAs<Loc>()).getAsRegion();

tools/clang/lib/StaticAnalyzer/Checkers/VirtualCallChecker.cpp

  177         State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame()));
  191         State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame()));

tools/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp

  197       return State->getSVal(State->getLValue(VD, LCtx));
  987         RetVal = State->getSVal(*LValue);

tools/clang/lib/StaticAnalyzer/Core/CallEvent.cpp

 1399     SVal ThisVal = State->getSVal(ThisPtr);
 1415   SVal ThisVal = State->getSVal(ThisPtr);

tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

  257       SVal V = state->getSVal(loc::MemRegionVal(R));
  280     SVal V = state->getSVal(loc::MemRegionVal(R));
  297         SVal V = state->getSVal(L);
  831   SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame));
  868             InitVal = State->getSVal(*LValueLoc);
 1031   SVal ThisVal = Pred->getState()->getSVal(ThisPtr);
 1054   Loc ThisLoc = State->getSVal(ThisStorageLoc).castAs<Loc>();
 2451         SVal CXXThisVal = state->getSVal(CXXThis);
 2869       V = state->getSVal(location.castAs<Loc>(), LoadTy);

tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp

  242           originalV = State->getSVal(loc::MemRegionVal(originalR));

tools/clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp

   78     V = Pred->getState()->getSVal(*L);
  144       SVal ThisVal = State->getSVal(ThisPtr);
  412       State = State->BindExpr(CE, LCtx, State->getSVal(*L, CE->getType()));
  469     SVal ThisVal = State->getSVal(ThisPtr);
  885   SVal V = state->getSVal(loc::MemRegionVal(R));

tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp

  251       SVal ThisV = state->getSVal(This);
  252       ThisV = state->getSVal(ThisV.castAs<Loc>());
  621     ThisV = State->getSVal(ThisV.castAs<Loc>());
  650     R = State->getSVal(Target.castAs<Loc>(), E->getType());