|
reference, declaration → definition
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(),