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

Derived Classes

tools/clang/include/clang/Analysis/ProgramPoint.h
  225 class BlockEntrance : public ProgramPoint {
  250 class BlockExit : public ProgramPoint {
  271 class StmtPoint : public ProgramPoint {
  335 class FunctionExitPoint : public ProgramPoint {
  503 class BlockEdge : public ProgramPoint {
  527 class PostInitializer : public ProgramPoint {
  559 class ImplicitCallPoint : public ProgramPoint {
  630 class CallEnter : public ProgramPoint {
  668 class CallExitBegin : public ProgramPoint {
  688 class CallExitEnd : public ProgramPoint {
  713 class LoopExit : public ProgramPoint {
  732 class EpsilonPoint : public ProgramPoint {

Declarations

tools/clang/include/clang/Analysis/PathDiagnostic.h
   50 class ProgramPoint;
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h
   52 class ProgramPoint;

References

include/llvm/ADT/FoldingSet.h
  221   static void Profile(const T &X, FoldingSetNodeID &ID) {
  224   static void Profile(T &X, FoldingSetNodeID &ID) {
  232   static inline bool Equals(T &X, const FoldingSetNodeID &ID, unsigned IDHash,
  240   static inline unsigned ComputeHash(T &X, FoldingSetNodeID &TempID);
  250   : public DefaultFoldingSetTrait<T> {};
  329   inline void Add(const T &x) { FoldingSetTrait<T>::Profile(x, *this); }
  329   inline void Add(const T &x) { FoldingSetTrait<T>::Profile(x, *this); }
tools/clang/include/clang/Analysis/PathDiagnostic.h
  275   static PathDiagnosticLocation create(const ProgramPoint &P,
tools/clang/include/clang/Analysis/ProgramPoint.h
  132   ProgramPoint withTag(const ProgramPointTag *tag) const {
  143     ProgramPoint& PP = t;
  155     ProgramPoint& PP = t;
  194   bool operator==(const ProgramPoint & RHS) const {
  201   bool operator!=(const ProgramPoint &RHS) const {
  220   static ProgramPoint getProgramPoint(const Stmt *S, ProgramPoint::Kind K,
  220   static ProgramPoint getProgramPoint(const Stmt *S, ProgramPoint::Kind K,
  225 class BlockEntrance : public ProgramPoint {
  245   static bool isKind(const ProgramPoint &Location) {
  250 class BlockExit : public ProgramPoint {
  266   static bool isKind(const ProgramPoint &Location) {
  271 class StmtPoint : public ProgramPoint {
  288   static bool isKind(const ProgramPoint &Location) {
  306   static bool isKind(const ProgramPoint &Location) {
  329   static bool isKind(const ProgramPoint &Location) {
  335 class FunctionExitPoint : public ProgramPoint {
  353   static bool isKind(const ProgramPoint &Location) {
  368   static bool isKind(const ProgramPoint &Location) {
  377                 ProgramPoint::Kind K, const ProgramPointTag *tag)
  382   static bool isKind(const ProgramPoint &location) {
  397   static bool isKind(const ProgramPoint &location) {
  411   static bool isKind(const ProgramPoint &location) {
  425   static bool isKind(const ProgramPoint &Location) {
  452   static bool isKind(const ProgramPoint &Location) {
  466   static bool isKind(const ProgramPoint &Location) {
  482   static bool isKind(const ProgramPoint &Location) {
  498   static bool isKind(const ProgramPoint &Location) {
  503 class BlockEdge : public ProgramPoint {
  522   static bool isKind(const ProgramPoint &Location) {
  527 class PostInitializer : public ProgramPoint {
  551   static bool isKind(const ProgramPoint &Location) {
  559 class ImplicitCallPoint : public ProgramPoint {
  574   static bool isKind(const ProgramPoint &Location) {
  592   static bool isKind(const ProgramPoint &Location) {
  609   static bool isKind(const ProgramPoint &Location) {
  623   static bool isKind(const ProgramPoint &Location) {
  630 class CallEnter : public ProgramPoint {
  654   static bool isKind(const ProgramPoint &Location) {
  668 class CallExitBegin : public ProgramPoint {
  681   static bool isKind(const ProgramPoint &Location) {
  688 class CallExitEnd : public ProgramPoint {
  702   static bool isKind(const ProgramPoint &Location) {
  713 class LoopExit : public ProgramPoint {
  725     static bool isKind(const ProgramPoint &Location) {
  732 class EpsilonPoint : public ProgramPoint {
  744   static bool isKind(const ProgramPoint &Location) {
  756 static inline clang::ProgramPoint getEmptyKey() {
  762 static inline clang::ProgramPoint getTombstoneKey() {
  768 static unsigned getHashValue(const clang::ProgramPoint &Loc) {
  772 static bool isEqual(const clang::ProgramPoint &L,
  773                     const clang::ProgramPoint &R) {
tools/clang/include/clang/StaticAnalyzer/Core/CheckerManager.h
  300                           const ProgramPoint &PP);
  348                                  ProgramPoint::Kind K);
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h
  340   ProgramPoint getProgramPoint(bool IsPreVisit = false,
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
   32   const ProgramPoint Location;
   43                  const ProgramPoint &loc,
  137     ProgramPoint L = N->getLocation();
  344     const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
  103   void generateNode(const ProgramPoint &Loc,
  155   void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
  267   ExplodedNode *generateNodeImpl(const ProgramPoint &PP,
  289   ExplodedNode *generateNode(const ProgramPoint &PP,
  300   ExplodedNode *generateSink(const ProgramPoint &PP,
  346   ProgramPoint &Location;
  350                        const NodeBuilderContext &Ctx, ProgramPoint &L)
  356     const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
  362     const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);
  411                              ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
  411                              ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
  412     const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K,
  412     const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K,
  421                              ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
  421                              ProgramPoint::Kind K = ProgramPoint::PostStmtKind){
  422     const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K,
  422     const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K,
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h
  123   const ProgramPoint Location;
  137   explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state,
  144   ProgramPoint getLocation() const { return Location; }
  182                       const ProgramPoint &Loc,
  353   ExplodedNode *getNode(const ProgramPoint &L, ProgramStateRef State,
  361   ExplodedNode *createUncachedNode(const ProgramPoint &L,
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
  268             ProgramPoint::Kind K = ProgramPoint::PreStmtPurgeDeadSymbolsKind);
  268             ProgramPoint::Kind K = ProgramPoint::PreStmtPurgeDeadSymbolsKind);
  613                 const ProgramPoint *PP = nullptr);
tools/clang/lib/Analysis/PathDiagnostic.cpp
  649 PathDiagnosticLocation::create(const ProgramPoint& P,
tools/clang/lib/Analysis/ProgramPoint.cpp
   21 ProgramPoint ProgramPoint::getProgramPoint(const Stmt *S, ProgramPoint::Kind K,
   21 ProgramPoint ProgramPoint::getProgramPoint(const Stmt *S, ProgramPoint::Kind K,
   27     case ProgramPoint::PreStmtKind:
   29     case ProgramPoint::PostStmtKind:
   31     case ProgramPoint::PreLoadKind:
   33     case ProgramPoint::PostLoadKind:
   35     case ProgramPoint::PreStoreKind:
   37     case ProgramPoint::PostLValueKind:
   39     case ProgramPoint::PostStmtPurgeDeadSymbolsKind:
   41     case ProgramPoint::PreStmtPurgeDeadSymbolsKind:
   59   case ProgramPoint::BlockEntranceKind:
   65   case ProgramPoint::FunctionExitKind: {
   79   case ProgramPoint::BlockExitKind:
   82   case ProgramPoint::CallEnterKind:
   85   case ProgramPoint::CallExitBeginKind:
   88   case ProgramPoint::CallExitEndKind:
   91   case ProgramPoint::EpsilonKind:
   95   case ProgramPoint::LoopExitKind:
  100   case ProgramPoint::PreImplicitCallKind: {
  109   case ProgramPoint::PostImplicitCallKind: {
  118   case ProgramPoint::PostInitializerKind: {
  133   case ProgramPoint::BlockEdgeKind: {
tools/clang/lib/StaticAnalyzer/Checkers/AnalyzerStatsChecker.cpp
   56     const ProgramPoint &P = I->getLocation();
tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp
  961   ProgramPoint P = N->getLocation();
tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIBugReporter.cpp
  105     ProgramPoint P = N->getFirstPred()->getLocation();
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
 3240           if (N->getLocation().getKind() == ProgramPoint::PostImplicitCallKind) {
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSuperDeallocChecker.cpp
  265     ProgramPoint P = Succ->getLocation();
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp
  696     const ProgramPoint AllocPP = AllocationNode->getLocation();
tools/clang/lib/StaticAnalyzer/Checkers/TestAfterDivZeroChecker.cpp
  120     ProgramPoint P = Succ->getLocation();
tools/clang/lib/StaticAnalyzer/Checkers/UndefBranchChecker.cpp
   88       ProgramPoint P = PrevN->getLocation();
tools/clang/lib/StaticAnalyzer/Checkers/UnreachableCodeChecker.cpp
   63     const ProgramPoint &P = I->getLocation();
tools/clang/lib/StaticAnalyzer/Core/BugReporter.cpp
  284   ProgramPoint P = N->getLocation();
 1121   ProgramPoint P = C.getCurrentNode()->getLocation();
 2313   ProgramPoint ProgP = ErrorNode->getLocation();
 2341     ProgramPoint P = ErrorNode->getLocation();
tools/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
 1508   ProgramPoint P = StoreSite->getLocation();
 1584     ProgramPoint P = N->getLocation();
 1664     ProgramPoint CurPoint = Succ->getLocation();
 1880       ProgramPoint ProgPoint = NI->getLocation();
 2155   ProgramPoint ProgPoint = N->getLocation();
 2766   ProgramPoint ProgLoc = N->getLocation();
 2894   ProgramPoint PP = N->getLocation();
tools/clang/lib/StaticAnalyzer/Core/CallEvent.cpp
  340 ProgramPoint CallEvent::getProgramPoint(bool IsPreVisit,
tools/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp
  172       ProgramPoint::Kind K =  IsPreVisit ? ProgramPoint::PreStmtKind :
  172       ProgramPoint::Kind K =  IsPreVisit ? ProgramPoint::PreStmtKind :
  173                                            ProgramPoint::PostStmtKind;
  174       const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K,
  174       const ProgramPoint &L = ProgramPoint::getProgramPoint(S, K,
  230       const ProgramPoint &L = Msg.getProgramPoint(IsPreVisit,checkFn.Checker);
  288       const ProgramPoint &L = Call.getProgramPoint(IsPreVisit,checkFn.Checker);
  335       ProgramPoint::Kind K =  IsLoad ? ProgramPoint::PreLoadKind :
  335       ProgramPoint::Kind K =  IsLoad ? ProgramPoint::PreLoadKind :
  336                                        ProgramPoint::PreStoreKind;
  337       const ProgramPoint &L =
  338         ProgramPoint::getProgramPoint(NodeEx, K,
  371     const ProgramPoint &PP;
  375                      const ProgramPoint &pp)
  383       const ProgramPoint &L = PP.withTag(checkFn.Checker);
  397                                         const ProgramPoint &PP) {
  416   const ProgramPoint &PP;
  419                             const ProgramPoint &PP)
  427     const ProgramPoint &L = PP.withTag(checkFn.Checker);
  459     const ProgramPoint &L =
  484       ProgramPoint L = PostCondition(Condition, Pred->getLocationContext(),
  525       ProgramPoint L = PostAllocatorCall(NE, Pred->getLocationContext());
  558     ProgramPoint::Kind ProgarmPointKind;
  562                             ProgramPoint::Kind K)
  570       const ProgramPoint &L = ProgramPoint::getProgramPoint(S, ProgarmPointKind,
  570       const ProgramPoint &L = ProgramPoint::getProgramPoint(S, ProgarmPointKind,
  589                                                ProgramPoint::Kind K) {
  664       ProgramPoint L = ProgramPoint::getProgramPoint(
  664       ProgramPoint L = ProgramPoint::getProgramPoint(
  666           ProgramPoint::PostStmtKind,
tools/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp
  154 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
  158     case ProgramPoint::BlockEdgeKind:
  162     case ProgramPoint::BlockEntranceKind:
  166     case ProgramPoint::BlockExitKind:
  170     case ProgramPoint::CallEnterKind:
  174     case ProgramPoint::CallExitBeginKind:
  178     case ProgramPoint::EpsilonKind: {
  223     ProgramPoint P = L.withTag(getNoteTags().makeNoteTag(
  496 void CoreEngine::generateNode(const ProgramPoint &Loc,
  605 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc,
  641   ProgramPoint Loc = BlockEdge(C.Block, branch ? DstT:DstF,
tools/clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp
  103   ProgramPoint progPoint = node->getLocation();
  143   const ProgramPoint SuccLoc = succ->getLocation();
  293   ProgramPoint P = getLocation();
  334   ProgramPoint P = getLocation();
  395 ExplodedNode *ExplodedGraph::getNode(const ProgramPoint &L,
  433 ExplodedNode *ExplodedGraph::createUncachedNode(const ProgramPoint &L,
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
  693                             ProgramPoint::Kind K) {
 1576                                      ProgramPoint::PreStmtKind);
 1855     ProgramPoint L = N->getLocation();
 1883   ProgramPoint NewNodeLoc =
 2472                       ProgramPoint::PostLValueKind);
 2484                       ProgramPoint::PostLValueKind);
 2497                       ProgramPoint::PostLValueKind);
 2547           ProgramPoint::PostLValueKind);
 2629                           ProgramPoint::PostLValueKind);
 2672                       ProgramPoint::PostStmtKind);
 2762                           bool atDeclInit, const ProgramPoint *PP) {
 2778     const ProgramPoint L = PostStore(StoreE, LC, /*Loc*/nullptr,
 2803     const ProgramPoint L = PostStore(StoreE, LC, LocReg, nullptr);
 2873                       ProgramPoint::PostLoadKind);
 2932     ProgramPoint P = Pred->getLocation();
tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp
  253                     nullptr, ProgramPoint::PostLValueKind);
  673     ProgramPoint P = N->getLocation();
  796     ProgramPoint PP = N->getLocation();
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
  490     BldrPrepare.generateNode(CE, Pred, State, &T, ProgramPoint::PreStmtKind);
  529                         ProgramPoint::PreStmtKind);
  935                     nullptr, ProgramPoint::PostLValueKind);
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
   81     const ProgramPoint &PP = Node->getLocation();
  181              ProgramPoint::PostStmtPurgeDeadSymbolsKind);
  295                ProgramPoint::PostStmtPurgeDeadSymbolsKind);
tools/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
  203                                  ProgramPoint::PreStmtKind);
tools/clang/lib/StaticAnalyzer/Core/LoopUnrolling.cpp
  237     ProgramPoint P = N->getLocation();