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

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
  572   ProgramStateRef getState() const { return Pred->State; }
  575     return Pred->getLocationContext();
tools/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp
  671       Eng.G.getNode(BlockEdge(Src, I.getBlock(), Pred->getLocationContext()),
  673   Succ->addPredecessor(Pred, Eng.G);
  695       Eng.G.getNode(BlockEdge(Src, DefaultBlock, Pred->getLocationContext()),
  697   Succ->addPredecessor(Pred, Eng.G);