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

References

tools/clang/include/clang/StaticAnalyzer/Checkers/SValExplainer.h

   74     return Visit(V.getSymbol());

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

  252     const SymExpr *Sym = SymVal->getSymbol();

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

  362     return !isa<SymbolData>(getSymbol());

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

   88     if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) {

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

  339     const SymExpr *SE = SymVal->getSymbol();

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

   46     SymbolRef sym = SV->getSymbol();
  130     return X->getSymbol();
  139     return X->getSymbol();
  322       os << castAs<nonloc::SymbolVal>().getSymbol();

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

   71     SymbolRef Sym = SV.getSymbol();

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

  661       SymbolRef Sym = lhs.castAs<nonloc::SymbolVal>().getSymbol();
 1334       return Visit(V.getSymbol());