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

References

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

  145     return Pred->getSVal(S);

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

  127   const MemRegion *M = N->getSVal(CastE).getAsRegion();

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

 1015   SVal LiteralSVal = Succ->getSVal(LiteralExpr);

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

  234     SVal V = pred->getSVal(Child);
  276   if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) {

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

  115   SVal S = Succ->getSVal(E);

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

  297     SVal SV = N->getSVal(*I);
  319   SVal SV = N->getSVal(CE);

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

  279                                       N->getSVal(BO->getLHS()).getAsRegion()))
  866       const MemRegion *R = N->getSVal(BO->getLHS()).getAsRegion();
  982     SVal RetVal = Node->getSVal(S);
 1482         SVal V = StoreSite->getSVal(S);
 1974     SVal LVal = LVNode->getSVal(Inner);
 1992         LVNode->getSVal(Inner).getAsRegion();
 2087     SVal V = N->getSVal(Receiver);

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

   23   SVal L = Pred->getSVal(Callee);