Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/Analysis/
H A DCFGReachabilityAnalysis.cpp28 const unsigned DstBlockID = Dst->getBlockID(); in isReachable()
37 return reachable[DstBlockID][Src->getBlockID()]; in isReachable()
46 ReachableSet &DstReachability = reachable[Dst->getBlockID()]; in mapReachability()
57 if (visited[block->getBlockID()]) in mapReachability()
59 visited[block->getBlockID()] = true; in mapReachability()
64 DstReachability[block->getBlockID()] = true; in mapReachability()
H A DUninitializedValues.cpp151 return vals[block->getBlockID()]; in getValueVector()
192 llvm::errs() << block->getBlockID() << " :"; in printVector()
578 SuccsVisited[block->getBlockID()] = block->succ_size(); in getUninitUse()
607 unsigned &SV = SuccsVisited[Pred->getBlockID()]; in getUninitUse()
628 unsigned BlockID = Block->getBlockID(); in getUninitUse()
638 if (Succ && SuccsVisited[Succ->getBlockID()] >= Succ->succ_size() && in getUninitUse()
841 wasAnalyzed[block->getBlockID()] = true; in runOnBlock()
850 if (wasAnalyzed[pred->getBlockID()]) { in runOnBlock()
941 wasAnalyzed[cfg.getEntry().getBlockID()] = true; in runUninitializedVariablesAnalysis()
945 PBH.currentBlock = block->getBlockID(); in runUninitializedVariablesAnalysis()
[all …]
H A DProgramPoint.cpp63 << castAs<BlockEntrance>().getBlock()->getBlockID(); in printJson()
69 << ", \"block_id\": " << FEP->getBlock()->getBlockID() in printJson()
137 Out << "Edge\", \"src_id\": " << E.getSrc()->getBlockID() in printJson()
138 << ", \"dst_id\": " << E.getDst()->getBlockID() << ", \"terminator\": "; in printJson()
H A DReachableCode.cpp328 if (!Reachable[Start->getBlockID()]) { in scanFromBlock()
330 Reachable[Start->getBlockID()] = true; in scanFromBlock()
371 unsigned blockID = B->getBlockID(); in scanFromBlock()
427 unsigned blockID = block->getBlockID(); in enqueue()
440 unsigned blockID = PredBlock->getBlockID(); in isDeadCodeRoot()
545 if (Reachable[Block->getBlockID()]) in scanBackwards()
585 if (Reachable[Block->getBlockID()]) in scanBackwards()
761 if (reachable[block->getBlockID()]) in FindUnreachableCode()
H A DLiveVariables.cpp561 if (!everAnalyzedBlock[block->getBlockID()]) in computeLiveness()
562 everAnalyzedBlock[block->getBlockID()] = true; in computeLiveness()
590 return A->getBlockID() < B->getBlockID(); in dumpBlockLiveness()
597 llvm::errs() << "\n[ B" << (*it)->getBlockID() in dumpBlockLiveness()
632 llvm::errs() << "\n[ B" << B->getBlockID() in dumpExprLiveness()
H A DThreadSafetyCommon.cpp841 unsigned ArgIndex = BBInfo[Blk->getBlockID()].ProcessedPredecessors; in mergePhiNodesBackEdge()
868 BlockMap[B->getBlockID()] = BB; in enterCFG()
894 CurrentBlockInfo = &BBInfo[B->getBlockID()]; in enterCFGBlock()
904 CurrentBB->addPredecessor(BlockMap[Pred->getBlockID()]); in handlePredecessor()
905 BlockInfo *PredInfo = &BBInfo[Pred->getBlockID()]; in handlePredecessor()
976 ++BBInfo[Succ->getBlockID()].ProcessedPredecessors; in handleSuccessorBackEdge()
H A DCalledOnceCheck.cpp1301 return States[BB->getBlockID()]; in getState()
1305 return States[BB->getBlockID()]; in getState()
H A DCFG.cpp5434 std::pair<unsigned, unsigned> P((*I)->getBlockID(), j); in StmtPrinterHelper()
5922 Helper.setBlockID(B.getBlockID()); in print_block()
5928 OS << "\n [B" << B.getBlockID(); in print_block()
6047 OS << " B" << B->getBlockID(); in print_block()
6086 OS << " B" << B->getBlockID(); in print_block()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DUnreachableCodeChecker.cpp79 reachable.insert(CB->getBlockID()); in checkEndAnalysis()
97 if (reachable.count(CB->getBlockID())) in checkEndAnalysis()
105 if (!visited.count(CB->getBlockID())) in checkEndAnalysis()
109 if (reachable.count(CB->getBlockID())) in checkEndAnalysis()
182 visited.insert(CB->getBlockID()); in FindUnreachableEntryPoints()
188 if (!reachable.count(PredBlock->getBlockID())) { in FindUnreachableEntryPoints()
191 reachable.insert(CB->getBlockID()); in FindUnreachableEntryPoints()
192 if (!visited.count(PredBlock->getBlockID())) in FindUnreachableEntryPoints()
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DTypeErasedDataflowAnalysis.cpp48 return Succ && Succ->getBlockID() == Block.getBlockID(); in blockIndexInPredecessor()
277 AC.BlockStates[Pred->getBlockID()]; in computeBlockInputState()
421 PrettyStackTraceCFGElement CrashInfo(Element, Block.getBlockID(),
432 builtinTransfer(Block.getBlockID(), Element, State, AC);
458 transfer(StmtToEnvMap(AC.ACFG, AC.BlockStates, Block.getBlockID(), State),
497 BlockStates[Entry.getBlockID()] = {Analysis.typeErasedInitialElement(), in runTypeErasedDataflowAnalysis()
505 << "Processing Block " << Block->getBlockID() << "\n"); in runTypeErasedDataflowAnalysis()
512 BlockStates[Block->getBlockID()]; in runTypeErasedDataflowAnalysis()
547 BlockStates[Block->getBlockID()] = std::move(NewBlockState); in runTypeErasedDataflowAnalysis()
561 if (!BlockStates[Block->getBlockID()]) in runTypeErasedDataflowAnalysis()
H A DLogger.cpp64 OS << "=== Entering block B" << Block.getBlockID(); in enterBlock()
83 OS << "Processing element B" << CurrentBlock->getBlockID() << "." in enterElement()
92 OS << "Computed state for B" << CurrentBlock->getBlockID() << "." in recordState()
101 OS << "B" << CurrentBlock->getBlockID() << " has converged!\n"; in blockConverged()
H A DHTMLLogger.cpp213 JOS.attribute("block", blockID(E.Block->getBlockID())); in endAnalysis()
241 BlockConverged[B.getBlockID()] = false; in enterBlock()
269 unsigned Block = Iters.back().Block->getBlockID(); in recordState()
309 BlockConverged[Iters.back().Block->getBlockID()] = true; in blockConverged()
322 JOS.attributeObject(blockID(B.getBlockID()), [&] { in writeBlock()
443 State[Off + I].assign(Block->getBlockID(), EltIndex, Len); in writeCode()
513 GraphS << " " << blockID(Block->getBlockID()) << " -> " in buildCFGDot()
514 << blockID(Succ.getReachableBlock()->getBlockID()) << "\n"; in buildCFGDot()
H A DAdornedCFG.cpp84 if (BlockReachable[Block->getBlockID()]) in findReachableBlocks()
87 BlockReachable[Block->getBlockID()] = true; in findReachableBlocks()
H A DTransfer.cpp51 if (BlockIt->getSecond()->getBlockID() == CurBlockID) in getEnvironment()
53 const auto &State = BlockToState[BlockIt->getSecond()->getBlockID()]; in getEnvironment()
863 auto ExitBlock = ACFG->getCFG().getExit().getBlockID(); in transferInlineCall()
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/Analyses/
H A DPostOrderCFGView.h58 if (VisitedBlockIDs.test(Block->getBlockID())) in insert()
60 VisitedBlockIDs.set(Block->getBlockID()); in insert()
68 return VisitedBlockIDs.test(Block->getBlockID()); in alreadySet()
H A DConsumed.h221 VisitOrder[BI->getBlockID()] = VisitOrderCounter++; in ConsumedBlockInfo()
H A DThreadSafetyCommon.h403 return BlockMap[B->getBlockID()]; in lookupBlock()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DWorkList.cpp159 BE->getBlock()->getBlockID(), in enqueue()
229 BE->getBlock()->getBlockID(), in enqueue()
H A DCoreEngine.cpp100 FunctionSummaries->markVisitedBasicBlock(Entry->getBlockID(), in ExecuteWorkList()
231 FunctionSummaries->markVisitedBasicBlock(Blk->getBlockID(), in HandleBlockEdge()
298 unsigned BlockId = L.getBlock()->getBlockID(); in HandleBlockEntrance()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h132 unsigned getBlockID() const { in getBlockID() function
133 return NB.getContext().getBlock()->getBlockID(); in getBlockID()
H A DCoreEngine.h225 Block->getBlockID()); in blockCount()
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DAdornedCFG.h58 return BlockReachable[B.getBlockID()]; in isBlockReachable()
/freebsd/contrib/llvm-project/clang/lib/Sema/
H A DAnalysisBasedWarnings.cpp252 const unsigned ExitID = cfg->getExit().getBlockID(); in checkForRecursiveFunctionCall()
266 if (ExitID == SuccBlock->getBlockID()) in checkForRecursiveFunctionCall()
316 Queued[ThrowBlock.getBlockID()] = true; in throwEscapes()
323 if (!Succ.isReachable() || Queued[Succ->getBlockID()]) in throwEscapes()
326 if (Succ->getBlockID() == Body->getExit().getBlockID()) in throwEscapes()
339 Queued[Succ->getBlockID()] = true; in throwEscapes()
353 if (!Reachable[B->getBlockID()]) in visitReachableThrows()
442 if (!live[B->getBlockID()]) { in CheckFallThrough()
471 if (!live[B.getBlockID()]) in CheckFallThrough()
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/
H A DCFG.h1105 unsigned getBlockID() const { return BlockID; } in getBlockID() function
1120 OS << "BB#" << getBlockID(); in printAsOperand()