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

References

tools/clang/include/clang/Analysis/Analyses/Consumed.h
  218         VisitOrder[BI->getBlockID()] = VisitOrderCounter++;
tools/clang/include/clang/Analysis/Analyses/Dominators.h
  106         llvm::errs() << "(" << (*I)->getBlockID()
  108                      << IDom->getBlock()->getBlockID()
  128         llvm::errs() << "(" << (*I)->getBlockID()
  129                      << "," << (*I)->getBlockID() << ")\n";
  266         llvm::errs() << "(" << BB->getBlockID()
  268                      << isControlDependency->getBlockID()
tools/clang/include/clang/Analysis/Analyses/PostOrderCFGView.h
   58       if (VisitedBlockIDs.test(Block->getBlockID()))
   60       VisitedBlockIDs.set(Block->getBlockID());
   68       return VisitedBlockIDs.test(Block->getBlockID());
tools/clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h
  385     return BlockMap[B->getBlockID()];
tools/clang/include/clang/Analysis/CFG.h
 1090     OS << "BB#" << getBlockID();
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
  128     return NB.getContext().getBlock()->getBlockID();
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
  223                     Block->getBlockID());
tools/clang/lib/Analysis/CFG.cpp
 5083           std::pair<unsigned, unsigned> P((*I)->getBlockID(), j);
 5562   Helper.setBlockID(B.getBlockID());
 5568   OS << "\n [B" << B.getBlockID();
 5683         OS << " B" << B->getBlockID();
 5722           OS << " B" << B->getBlockID();
tools/clang/lib/Analysis/CFGReachabilityAnalysis.cpp
   28   const unsigned DstBlockID = Dst->getBlockID();
   37   return reachable[DstBlockID][Src->getBlockID()];
   46   ReachableSet &DstReachability = reachable[Dst->getBlockID()];
   57     if (visited[block->getBlockID()])
   59     visited[block->getBlockID()] = true;
   64       DstReachability[block->getBlockID()] = true;
tools/clang/lib/Analysis/Consumed.cpp
 1008   unsigned int CurrBlockOrder = VisitOrder[CurrBlock->getBlockID()];
 1011     if (*PI && CurrBlockOrder < VisitOrder[(*PI)->getBlockID()] )
 1022   auto &Entry = StateMapsArray[Block->getBlockID()];
 1036   auto &Entry = StateMapsArray[Block->getBlockID()];
 1047   assert(StateMapsArray[Block->getBlockID()] && "Block has no block info");
 1049   return StateMapsArray[Block->getBlockID()].get();
 1053   StateMapsArray[Block->getBlockID()] = nullptr;
 1060   auto &Entry = StateMapsArray[Block->getBlockID()];
 1069   return VisitOrder[From->getBlockID()] > VisitOrder[To->getBlockID()];
 1069   return VisitOrder[From->getBlockID()] > VisitOrder[To->getBlockID()];
 1080   unsigned int BlockVisitOrder = VisitOrder[Block->getBlockID()];
 1083     if (*PI && BlockVisitOrder < VisitOrder[(*PI)->getBlockID()])
tools/clang/lib/Analysis/LiveVariables.cpp
   51   if (block && !enqueuedBlocks[block->getBlockID()]) {
   52     enqueuedBlocks[block->getBlockID()] = true;
   69   enqueuedBlocks[b->getBlockID()] = false;
  601     if (!everAnalyzedBlock[block->getBlockID()])
  602       everAnalyzedBlock[block->getBlockID()] = true;
  630     return A->getBlockID() < B->getBlockID();
  630     return A->getBlockID() < B->getBlockID();
  637     llvm::errs() << "\n[ B" << (*it)->getBlockID()
  672     llvm::errs() << "\n[ B" << I->getBlockID()
tools/clang/lib/Analysis/ProgramPoint.cpp
   62         << castAs<BlockEntrance>().getBlock()->getBlockID();
   68         << ", \"block_id\": " << FEP->getBlock()->getBlockID()
  136     Out << "Edge\", \"src_id\": " << E.getSrc()->getBlockID()
  137         << ", \"dst_id\": " << E.getDst()->getBlockID() << ", \"terminator\": ";
tools/clang/lib/Analysis/ReachableCode.cpp
  319   if (!Reachable[Start->getBlockID()]) {
  321     Reachable[Start->getBlockID()] = true;
  362         unsigned blockID = B->getBlockID();
  418   unsigned blockID = block->getBlockID();
  431       unsigned blockID = PredBlock->getBlockID();
  494     if (Reachable[Block->getBlockID()])
  535       if (Reachable[Block->getBlockID()])
  709     if (reachable[block->getBlockID()])
tools/clang/lib/Analysis/ThreadSafety.cpp
  734     unsigned CurrBlockID = CurrBlock->getBlockID();
  750       unsigned PrevBlockID = (*PI)->getBlockID();
  797       Context LoopBegin = BlockInfo[FirstLoopBlock->getBlockID()].EntryContext;
  804   unsigned exitID = CFGraph->getExit().getBlockID();
  814     CFGBlockInfo *CurrBlockInfo = &BlockInfo[CurrBlock->getBlockID()];
  846           BlockInfo[(*CurrBlock->pred_begin())->getBlockID()].ExitLoc;
 1506   const CFGBlockInfo *PredBlockInfo = &BlockInfo[PredBlock->getBlockID()];
 2292   BlockInfo[CFGraph->getEntry().getBlockID()].Reachable = true;
 2309     FactSet &InitialLockset = BlockInfo[FirstBlock->getBlockID()].EntrySet;
 2364     unsigned CurrBlockID = CurrBlock->getBlockID();
 2391       unsigned PrevBlockID = (*PI)->getBlockID();
 2432       unsigned PrevBlockID = PrevBlock->getBlockID();
 2502       CFGBlockInfo *PreLoop = &BlockInfo[FirstLoopBlock->getBlockID()];
 2511   CFGBlockInfo *Initial = &BlockInfo[CFGraph->getEntry().getBlockID()];
 2512   CFGBlockInfo *Final   = &BlockInfo[CFGraph->getExit().getBlockID()];
tools/clang/lib/Analysis/ThreadSafetyCommon.cpp
  796   unsigned ArgIndex = BBInfo[Blk->getBlockID()].ProcessedPredecessors;
  823     BlockMap[B->getBlockID()] = BB;
  849   CurrentBlockInfo = &BBInfo[B->getBlockID()];
  859   CurrentBB->addPredecessor(BlockMap[Pred->getBlockID()]);
  860   BlockInfo *PredInfo = &BBInfo[Pred->getBlockID()];
  931   ++BBInfo[Succ->getBlockID()].ProcessedPredecessors;
tools/clang/lib/Analysis/UninitializedValues.cpp
  132     return vals[block->getBlockID()];
  233       enqueuedBlocks[(*PO_I)->getBlockID()] = false;
  248     if (!Successor || enqueuedBlocks[Successor->getBlockID()])
  251     enqueuedBlocks[Successor->getBlockID()] = true;
  272   assert(enqueuedBlocks[B->getBlockID()] == true);
  273   enqueuedBlocks[B->getBlockID()] = false;
  610     SuccsVisited[block->getBlockID()] = block->succ_size();
  639         unsigned &SV = SuccsVisited[Pred->getBlockID()];
  660       unsigned BlockID = Block->getBlockID();
  670           if (Succ && SuccsVisited[Succ->getBlockID()] >= Succ->succ_size() &&
  841   wasAnalyzed[block->getBlockID()] = true;
  850     if (wasAnalyzed[pred->getBlockID()]) {
  931   wasAnalyzed[cfg.getEntry().getBlockID()] = true;
  935     PBH.currentBlock = block->getBlockID();
  941     if (changed || !previouslyVisited[block->getBlockID()])
  943     previouslyVisited[block->getBlockID()] = true;
  951     if (PBH.hadUse[block->getBlockID()]) {
tools/clang/lib/Sema/AnalysisBasedWarnings.cpp
  223   const unsigned ExitID = cfg->getExit().getBlockID();
  237         if (ExitID == SuccBlock->getBlockID())
  287   Queued[ThrowBlock.getBlockID()] = true;
  294       if (!Succ.isReachable() || Queued[Succ->getBlockID()])
  297       if (Succ->getBlockID() == Body->getExit().getBlockID())
  297       if (Succ->getBlockID() == Body->getExit().getBlockID())
  310         Queued[Succ->getBlockID()] = true;
  324     if (!Reachable[B->getBlockID()])
  413       if (!live[B->getBlockID()]) {
  442     if (!live[B.getBlockID()])
tools/clang/lib/StaticAnalyzer/Checkers/DeadStoresChecker.cpp
   77     return reachable[block->getBlockID()];
   91     llvm::BitVector::reference isReachable = reachable[block->getBlockID()];
tools/clang/lib/StaticAnalyzer/Checkers/UnreachableCodeChecker.cpp
   79       reachable.insert(CB->getBlockID());
   98     if (reachable.count(CB->getBlockID()))
  106     if (!visited.count(CB->getBlockID()))
  110     if (reachable.count(CB->getBlockID()))
  181   visited.insert(CB->getBlockID());
  188     if (!reachable.count((*I)->getBlockID())) {
  191       reachable.insert(CB->getBlockID());
  192       if (!visited.count((*I)->getBlockID()))
tools/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp
   92     FunctionSummaries->markVisitedBasicBlock(Entry->getBlockID(),
  215   FunctionSummaries->markVisitedBasicBlock(Blk->getBlockID(),
  281   unsigned BlockId = L.getBlock()->getBlockID();
tools/clang/lib/StaticAnalyzer/Core/WorkList.cpp
  159           BE->getBlock()->getBlockID(),
  235           BE->getBlock()->getBlockID(),