| /freebsd-11-stable/contrib/llvm-project/clang/lib/Analysis/ |
| HD | CFGReachabilityAnalysis.cpp | 28 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()
|
| HD | UninitializedValues.cpp | 132 return vals[block->getBlockID()]; in getValueVector() 174 llvm::errs() << block->getBlockID() << " :"; in printVector() 233 enqueuedBlocks[(*PO_I)->getBlockID()] = false; in DataflowWorklist() 248 if (!Successor || enqueuedBlocks[Successor->getBlockID()]) in enqueueSuccessors() 251 enqueuedBlocks[Successor->getBlockID()] = true; in enqueueSuccessors() 272 assert(enqueuedBlocks[B->getBlockID()] == true); in dequeue() 273 enqueuedBlocks[B->getBlockID()] = false; in dequeue() 610 SuccsVisited[block->getBlockID()] = block->succ_size(); in getUninitUse() 639 unsigned &SV = SuccsVisited[Pred->getBlockID()]; in getUninitUse() 660 unsigned BlockID = Block->getBlockID(); in getUninitUse() [all …]
|
| HD | ProgramPoint.cpp | 62 << castAs<BlockEntrance>().getBlock()->getBlockID(); in printJson() 68 << ", \"block_id\": " << FEP->getBlock()->getBlockID() in printJson() 136 Out << "Edge\", \"src_id\": " << E.getSrc()->getBlockID() in printJson() 137 << ", \"dst_id\": " << E.getDst()->getBlockID() << ", \"terminator\": "; in printJson()
|
| HD | LiveVariables.cpp | 51 if (block && !enqueuedBlocks[block->getBlockID()]) { in enqueueBlock() 52 enqueuedBlocks[block->getBlockID()] = true; in enqueueBlock() 69 enqueuedBlocks[b->getBlockID()] = false; in dequeue() 601 if (!everAnalyzedBlock[block->getBlockID()]) in computeLiveness() 602 everAnalyzedBlock[block->getBlockID()] = true; in computeLiveness() 630 return A->getBlockID() < B->getBlockID(); in dumpBlockLiveness() 637 llvm::errs() << "\n[ B" << (*it)->getBlockID() in dumpBlockLiveness() 672 llvm::errs() << "\n[ B" << I->getBlockID() in dumpStmtLiveness()
|
| HD | ReachableCode.cpp | 320 if (!Reachable[Start->getBlockID()]) { in scanFromBlock() 322 Reachable[Start->getBlockID()] = true; in scanFromBlock() 363 unsigned blockID = B->getBlockID(); in scanFromBlock() 419 unsigned blockID = block->getBlockID(); in enqueue() 432 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()
|
| HD | Consumed.cpp | 1008 unsigned int CurrBlockOrder = VisitOrder[CurrBlock->getBlockID()]; in allBackEdgesVisited() 1011 if (*PI && CurrBlockOrder < VisitOrder[(*PI)->getBlockID()] ) in allBackEdgesVisited() 1022 auto &Entry = StateMapsArray[Block->getBlockID()]; in addInfo() 1036 auto &Entry = StateMapsArray[Block->getBlockID()]; in addInfo() 1047 assert(StateMapsArray[Block->getBlockID()] && "Block has no block info"); in borrowInfo() 1049 return StateMapsArray[Block->getBlockID()].get(); in borrowInfo() 1053 StateMapsArray[Block->getBlockID()] = nullptr; in discardInfo() 1060 auto &Entry = StateMapsArray[Block->getBlockID()]; in getInfo() 1069 return VisitOrder[From->getBlockID()] > VisitOrder[To->getBlockID()]; in isBackEdge() 1080 unsigned int BlockVisitOrder = VisitOrder[Block->getBlockID()]; in isBackEdgeTarget() [all …]
|
| HD | ThreadSafety.cpp | 734 unsigned CurrBlockID = CurrBlock->getBlockID(); in traverseCFG() 750 unsigned PrevBlockID = (*PI)->getBlockID(); in traverseCFG() 797 Context LoopBegin = BlockInfo[FirstLoopBlock->getBlockID()].EntryContext; in traverseCFG() 804 unsigned exitID = CFGraph->getExit().getBlockID(); in traverseCFG() 814 CFGBlockInfo *CurrBlockInfo = &BlockInfo[CurrBlock->getBlockID()]; in findBlockLocations() 846 BlockInfo[(*CurrBlock->pred_begin())->getBlockID()].ExitLoc; in findBlockLocations() 1506 const CFGBlockInfo *PredBlockInfo = &BlockInfo[PredBlock->getBlockID()]; in getEdgeLockset() 2295 BlockInfo[CFGraph->getEntry().getBlockID()].Reachable = true; in runAnalysis() 2312 FactSet &InitialLockset = BlockInfo[FirstBlock->getBlockID()].EntrySet; in runAnalysis() 2367 unsigned CurrBlockID = CurrBlock->getBlockID(); in runAnalysis() [all …]
|
| HD | ThreadSafetyCommon.cpp | 795 unsigned ArgIndex = BBInfo[Blk->getBlockID()].ProcessedPredecessors; in mergePhiNodesBackEdge() 822 BlockMap[B->getBlockID()] = BB; in enterCFG() 848 CurrentBlockInfo = &BBInfo[B->getBlockID()]; in enterCFGBlock() 858 CurrentBB->addPredecessor(BlockMap[Pred->getBlockID()]); in handlePredecessor() 859 BlockInfo *PredInfo = &BBInfo[Pred->getBlockID()]; in handlePredecessor() 930 ++BBInfo[Succ->getBlockID()].ProcessedPredecessors; in handleSuccessorBackEdge()
|
| HD | CFG.cpp | 5114 std::pair<unsigned, unsigned> P((*I)->getBlockID(), j); in StmtPrinterHelper() 5593 Helper.setBlockID(B.getBlockID()); in print_block() 5599 OS << "\n [B" << B.getBlockID(); in print_block() 5714 OS << " B" << B->getBlockID(); in print_block() 5753 OS << " B" << B->getBlockID(); in print_block()
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| HD | UnreachableCodeChecker.cpp | 79 reachable.insert(CB->getBlockID()); in checkEndAnalysis() 98 if (reachable.count(CB->getBlockID())) in checkEndAnalysis() 106 if (!visited.count(CB->getBlockID())) in checkEndAnalysis() 110 if (reachable.count(CB->getBlockID())) in checkEndAnalysis() 181 visited.insert(CB->getBlockID()); in FindUnreachableEntryPoints() 188 if (!reachable.count((*I)->getBlockID())) { in FindUnreachableEntryPoints() 191 reachable.insert(CB->getBlockID()); in FindUnreachableEntryPoints() 192 if (!visited.count((*I)->getBlockID())) in FindUnreachableEntryPoints()
|
| HD | TestAfterDivZeroChecker.cpp | 151 State->add<DivZeroMap>(ZeroState(SR, C.getBlockID(), C.getStackFrame())); in setDivZeroMap() 161 ZeroState ZS(SR, C.getBlockID(), C.getStackFrame()); in hasDivZeroMap()
|
| HD | DeadStoresChecker.cpp | 77 return reachable[block->getBlockID()]; in isReachable() 91 llvm::BitVector::reference isReachable = reachable[block->getBlockID()]; in computeReachableBlocks()
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/Analysis/Analyses/ |
| HD | PostOrderCFGView.h | 58 if (VisitedBlockIDs.test(Block->getBlockID())) in insert() 60 VisitedBlockIDs.set(Block->getBlockID()); in insert() 68 return VisitedBlockIDs.test(Block->getBlockID()); in alreadySet()
|
| HD | Dominators.h | 106 llvm::errs() << "(" << (*I)->getBlockID() in dump() 108 << IDom->getBlock()->getBlockID() in dump() 128 llvm::errs() << "(" << (*I)->getBlockID() in dump() 129 << "," << (*I)->getBlockID() << ")\n"; in dump() 266 llvm::errs() << "(" << BB->getBlockID() 268 << isControlDependency->getBlockID()
|
| HD | Consumed.h | 218 VisitOrder[BI->getBlockID()] = VisitOrderCounter++; in ConsumedBlockInfo()
|
| HD | ThreadSafetyCommon.h | 385 return BlockMap[B->getBlockID()]; in lookupBlock()
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| HD | CheckerContext.h | 127 unsigned getBlockID() const { in getBlockID() function 128 return NB.getContext().getBlock()->getBlockID(); in getBlockID()
|
| HD | CoreEngine.h | 223 Block->getBlockID()); in blockCount()
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| HD | WorkList.cpp | 159 BE->getBlock()->getBlockID(), in enqueue() 235 BE->getBlock()->getBlockID(), in enqueue()
|
| HD | CoreEngine.cpp | 92 FunctionSummaries->markVisitedBasicBlock(Entry->getBlockID(), in ExecuteWorkList() 215 FunctionSummaries->markVisitedBasicBlock(Blk->getBlockID(), in HandleBlockEdge() 281 unsigned BlockId = L.getBlock()->getBlockID(); in HandleBlockEntrance()
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/Sema/ |
| HD | AnalysisBasedWarnings.cpp | 223 const unsigned ExitID = cfg->getExit().getBlockID(); in checkForRecursiveFunctionCall() 237 if (ExitID == SuccBlock->getBlockID()) in checkForRecursiveFunctionCall() 287 Queued[ThrowBlock.getBlockID()] = true; in throwEscapes() 294 if (!Succ.isReachable() || Queued[Succ->getBlockID()]) in throwEscapes() 297 if (Succ->getBlockID() == Body->getExit().getBlockID()) in throwEscapes() 310 Queued[Succ->getBlockID()] = true; in throwEscapes() 324 if (!Reachable[B->getBlockID()]) in visitReachableThrows() 413 if (!live[B->getBlockID()]) { in CheckFallThrough() 442 if (!live[B.getBlockID()]) in CheckFallThrough()
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/Analysis/ |
| HD | CFG.h | 1075 unsigned getBlockID() const { return BlockID; } in getBlockID() function 1090 OS << "BB#" << getBlockID(); in printAsOperand()
|