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

   37     if (auto S = dyn_cast<SymbolRegionValue>(R->getSymbol()))
   60         return Visit(SR->getSymbol());
  146     if (R->getSymbol()->getType()
  148       return "object at " + Visit(R->getSymbol());
  151       return "heap segment that starts at " + Visit(R->getSymbol());
  152     return "pointee of " + Visit(R->getSymbol());

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

  323   return IvarRegion->getSymbolicBase()->getSymbol();

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

   75       DerivedClassRegion->getSymbol()->getType()->getPointeeCXXRecordDecl();

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

  676       dyn_cast<SymbolRegionValue>(SymReg->getSymbol());

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

 1070     if (isa<SymbolConjured>(ContSym->getSymbol()))
 1086     if (isa<SymbolConjured>(ContSym->getSymbol()))
 1115     if (isa<SymbolConjured>(ContSym->getSymbol()))
 1125     if (isa<SymbolConjured>(ContSym->getSymbol()))

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

  139     Sym = SR->getSymbol();

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

 1821   SymbolRef SymBase = SrBase->getSymbol();
 2756           Sym = BMR->getSymbol();

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

  265     SymbolRef Sym = SR->getSymbol();

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

  458     if (SR.isDead(Region->getSymbol())) {

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

  149       BaseSym = SymR->getSymbol();

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

 1195       WhitelistedSymbols.insert(SR->getSymbol());

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

   81     return addTaint(State, SR->getSymbol(), Kind);
  146     return isTainted(State, SR->getSymbol(), K);

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

 2224     markInteresting(SR->getSymbol(), TKind);
 2287     return getInterestingnessKind(SR->getSymbol());

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

 2043       if (SR->getSymbol()->getType()->getPointeeType()->isVoidType())

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

   52     SymbolRef Sym = SR->getSymbol();

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

 2735       SymbolsDirectlyInvalidated.insert(R->getSymbol());

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

 1353         Ty = SR->getSymbol()->getType()->getPointeeType();
 1594     setTrait(SR->getSymbol(), IK);
 1614     return hasTrait(SR->getSymbol(), IK);

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

  602     if (!visitor.VisitSymbol(SR->getSymbol()))

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

 1137     IS.insert(SR->getSymbol());
 1475         T = SR->getSymbol()->getType()->getPointeeType();
 1579     RegionTy = SR->getSymbol()->getType();
 2189     QualType T = SR->getSymbol()->getType();
 2547     if (SymReaper.isLive(SR->getSymbol()))
 2579     SymReaper.markLive(SymR->getSymbol());
 2631       if (SymReaper.isLive(SR->getSymbol())) {

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

   54       SymbolRef sym = SR->getSymbol();
   95       return SymR->getSymbol();
  111       return SymR->getSymbol();

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

  161           return makeNonLoc(SymR->getSymbol(), BO_NE,

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

  288       if (SR->getSymbol()->getType()->getPointeeCXXRecordDecl() == BaseDecl)
  310     return SR->getSymbol()->getType()->getPointeeCXXRecordDecl();
  383     QualType T = SR->getSymbol()->getType();
  425       if (SR->getSymbol()->getType().getCanonicalType() !=

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

  438     return isLive(SR->getSymbol());