Home
last modified time | relevance | path

Searched refs:getBlockID (Results 1 – 22 of 22) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/lib/Analysis/
H A DCFGReachabilityAnalysis.cpp29 const unsigned DstBlockID = Dst->getBlockID(); in isReachable()
38 return reachable[DstBlockID][Src->getBlockID()]; in isReachable()
47 ReachableSet &DstReachability = reachable[Dst->getBlockID()]; in mapReachability()
58 if (visited[block->getBlockID()]) in mapReachability()
60 visited[block->getBlockID()] = true; in mapReachability()
65 DstReachability[block->getBlockID()] = true; in mapReachability()
H A DUninitializedValues.cpp133 return vals[block->getBlockID()]; in getValueVector()
175 llvm::errs() << block->getBlockID() << " :"; in printVector()
234 enqueuedBlocks[(*PO_I)->getBlockID()] = false; in DataflowWorklist()
252 enqueuedBlocks[Successor->getBlockID()] = true; in enqueueSuccessors()
273 assert(enqueuedBlocks[B->getBlockID()] == true); in dequeue()
274 enqueuedBlocks[B->getBlockID()] = false; in dequeue()
654 unsigned BlockID = Block->getBlockID(); in getUninitUse()
825 wasAnalyzed[block->getBlockID()] = true; in runOnBlock()
834 if (wasAnalyzed[pred->getBlockID()]) { in runOnBlock()
919 PBH.currentBlock = block->getBlockID(); in runUninitializedVariablesAnalysis()
[all …]
H A DProgramPoint.cpp67 << castAs<BlockEntrance>().getBlock()->getBlockID(); in print()
72 Out << "Function Exit: B" << FEP->getBlock()->getBlockID(); in print()
145 Out << "Edge: (B" << E.getSrc()->getBlockID() << ", B" in print()
146 << E.getDst()->getBlockID() << ')'; in print()
H A DLiveVariables.cpp52 if (block && !enqueuedBlocks[block->getBlockID()]) { in enqueueBlock()
53 enqueuedBlocks[block->getBlockID()] = true; in enqueueBlock()
70 enqueuedBlocks[b->getBlockID()] = false; in dequeue()
602 if (!everAnalyzedBlock[block->getBlockID()]) in computeLiveness()
603 everAnalyzedBlock[block->getBlockID()] = true; in computeLiveness()
631 return A->getBlockID() < B->getBlockID(); in dumpBlockLiveness()
638 llvm::errs() << "\n[ B" << (*it)->getBlockID() in dumpBlockLiveness()
673 llvm::errs() << "\n[ B" << I->getBlockID() in dumpStmtLiveness()
H A DReachableCode.cpp319 if (!Reachable[Start->getBlockID()]) { in scanFromBlock()
321 Reachable[Start->getBlockID()] = true; in scanFromBlock()
362 unsigned blockID = B->getBlockID(); in scanFromBlock()
418 unsigned blockID = block->getBlockID(); in enqueue()
431 unsigned blockID = PredBlock->getBlockID(); in isDeadCodeRoot()
495 if (Reachable[Block->getBlockID()]) in scanBackwards()
536 if (Reachable[Block->getBlockID()]) in scanBackwards()
710 if (reachable[block->getBlockID()]) in FindUnreachableCode()
H A DConsumed.cpp1009 unsigned int CurrBlockOrder = VisitOrder[CurrBlock->getBlockID()]; in allBackEdgesVisited()
1012 if (*PI && CurrBlockOrder < VisitOrder[(*PI)->getBlockID()] ) in allBackEdgesVisited()
1023 auto &Entry = StateMapsArray[Block->getBlockID()]; in addInfo()
1037 auto &Entry = StateMapsArray[Block->getBlockID()]; in addInfo()
1048 assert(StateMapsArray[Block->getBlockID()] && "Block has no block info"); in borrowInfo()
1050 return StateMapsArray[Block->getBlockID()].get(); in borrowInfo()
1054 StateMapsArray[Block->getBlockID()] = nullptr; in discardInfo()
1061 auto &Entry = StateMapsArray[Block->getBlockID()]; in getInfo()
1070 return VisitOrder[From->getBlockID()] > VisitOrder[To->getBlockID()]; in isBackEdge()
1081 unsigned int BlockVisitOrder = VisitOrder[Block->getBlockID()]; in isBackEdgeTarget()
[all …]
H A DThreadSafety.cpp735 unsigned CurrBlockID = CurrBlock->getBlockID(); in traverseCFG()
751 unsigned PrevBlockID = (*PI)->getBlockID(); in traverseCFG()
805 unsigned exitID = CFGraph->getExit().getBlockID(); in traverseCFG()
815 CFGBlockInfo *CurrBlockInfo = &BlockInfo[CurrBlock->getBlockID()]; in findBlockLocations()
847 BlockInfo[(*CurrBlock->pred_begin())->getBlockID()].ExitLoc; in findBlockLocations()
2292 BlockInfo[CFGraph->getEntry().getBlockID()].Reachable = true; in runAnalysis()
2364 unsigned CurrBlockID = CurrBlock->getBlockID(); in runAnalysis()
2391 unsigned PrevBlockID = (*PI)->getBlockID(); in runAnalysis()
2432 unsigned PrevBlockID = PrevBlock->getBlockID(); in runAnalysis()
2502 CFGBlockInfo *PreLoop = &BlockInfo[FirstLoopBlock->getBlockID()]; in runAnalysis()
[all …]
H A DThreadSafetyCommon.cpp792 unsigned ArgIndex = BBInfo[Blk->getBlockID()].ProcessedPredecessors; in mergePhiNodesBackEdge()
819 BlockMap[B->getBlockID()] = BB; in enterCFG()
845 CurrentBlockInfo = &BBInfo[B->getBlockID()]; in enterCFGBlock()
855 CurrentBB->addPredecessor(BlockMap[Pred->getBlockID()]); in handlePredecessor()
856 BlockInfo *PredInfo = &BBInfo[Pred->getBlockID()]; in handlePredecessor()
927 ++BBInfo[Succ->getBlockID()].ProcessedPredecessors; in handleSuccessorBackEdge()
H A DCFG.cpp4806 std::pair<unsigned, unsigned> P((*I)->getBlockID(), j); in StmtPrinterHelper()
5238 Helper.setBlockID(B.getBlockID()); in print_block()
5244 OS << "\n [B" << B.getBlockID(); in print_block()
5359 OS << " B" << B->getBlockID(); in print_block()
5398 OS << " B" << B->getBlockID(); in print_block()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DUnreachableCodeChecker.cpp80 reachable.insert(CB->getBlockID()); in checkEndAnalysis()
99 if (reachable.count(CB->getBlockID())) in checkEndAnalysis()
107 if (!visited.count(CB->getBlockID())) in checkEndAnalysis()
111 if (reachable.count(CB->getBlockID())) in checkEndAnalysis()
182 visited.insert(CB->getBlockID()); in FindUnreachableEntryPoints()
189 if (!reachable.count((*I)->getBlockID())) { in FindUnreachableEntryPoints()
192 reachable.insert(CB->getBlockID()); in FindUnreachableEntryPoints()
193 if (!visited.count((*I)->getBlockID())) in FindUnreachableEntryPoints()
H A DTestAfterDivZeroChecker.cpp152 State->add<DivZeroMap>(ZeroState(SR, C.getBlockID(), C.getStackFrame())); in setDivZeroMap()
162 ZeroState ZS(SR, C.getBlockID(), C.getStackFrame()); in hasDivZeroMap()
H A DDeadStoresChecker.cpp77 return reachable[block->getBlockID()]; in isReachable()
91 llvm::BitVector::reference isReachable = reachable[block->getBlockID()]; in computeReachableBlocks()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/Analysis/Analyses/
H A DDominators.h98 llvm::errs() << "(" << (*I)->getBlockID() in dump()
100 << DT->getNode(*I)->getIDom()->getBlock()->getBlockID() in dump()
102 else llvm::errs() << "(" << (*I)->getBlockID() in dump()
103 << "," << (*I)->getBlockID() << ")\n"; in dump()
H A DPostOrderCFGView.h59 if (VisitedBlockIDs.test(Block->getBlockID())) in insert()
61 VisitedBlockIDs.set(Block->getBlockID()); in insert()
69 return VisitedBlockIDs.test(Block->getBlockID()); in alreadySet()
H A DConsumed.h219 VisitOrder[BI->getBlockID()] = VisitOrderCounter++; in ConsumedBlockInfo()
H A DThreadSafetyCommon.h386 return BlockMap[B->getBlockID()]; in lookupBlock()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h128 unsigned getBlockID() const { in getBlockID() function
129 return NB.getContext().getBlock()->getBlockID(); in getBlockID()
H A DCoreEngine.h215 Block->getBlockID()); in blockCount()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DWorkList.cpp160 BE->getBlock()->getBlockID(), in enqueue()
236 BE->getBlock()->getBlockID(), in enqueue()
H A DCoreEngine.cpp93 FunctionSummaries->markVisitedBasicBlock(Entry->getBlockID(), in ExecuteWorkList()
216 FunctionSummaries->markVisitedBasicBlock(Blk->getBlockID(), in HandleBlockEdge()
263 unsigned BlockId = L.getBlock()->getBlockID(); in HandleBlockEntrance()
/freebsd-12.1/contrib/llvm/tools/clang/lib/Sema/
H A DAnalysisBasedWarnings.cpp210 const unsigned ExitID = cfg->getExit().getBlockID(); in checkForRecursiveFunctionCall()
224 if (ExitID == SuccBlock->getBlockID()) in checkForRecursiveFunctionCall()
270 Queued[ThrowBlock.getBlockID()] = true; in throwEscapes()
277 if (!Succ.isReachable() || Queued[Succ->getBlockID()]) in throwEscapes()
280 if (Succ->getBlockID() == Body->getExit().getBlockID()) in throwEscapes()
293 Queued[Succ->getBlockID()] = true; in throwEscapes()
307 if (!Reachable[B->getBlockID()]) in visitReachableThrows()
396 if (!live[B->getBlockID()]) { in CheckFallThrough()
424 if (!live[B.getBlockID()]) in CheckFallThrough()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/Analysis/
H A DCFG.h856 unsigned getBlockID() const { return BlockID; } in getBlockID() function
867 OS << "BB#" << getBlockID(); in printAsOperand()