/external/clang/lib/Analysis/ |
D | 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()
|
D | UninitializedValues.cpp | 119 return vals[block->getBlockID()]; in getValueVector() 160 llvm::errs() << block->getBlockID() << " :"; in printVector() 218 enqueuedBlocks[(*PO_I)->getBlockID()] = false; in DataflowWorklist() 232 if (!Successor || enqueuedBlocks[Successor->getBlockID()]) in enqueueSuccessors() 235 enqueuedBlocks[Successor->getBlockID()] = true; in enqueueSuccessors() 257 assert(enqueuedBlocks[B->getBlockID()] == true); in dequeue() 258 enqueuedBlocks[B->getBlockID()] = false; in dequeue() 585 SuccsVisited[block->getBlockID()] = block->succ_size(); in getUninitUse() 614 unsigned &SV = SuccsVisited[Pred->getBlockID()]; in getUninitUse() 636 unsigned BlockID = Block->getBlockID(); in getUninitUse() [all …]
|
D | Consumed.cpp | 1032 unsigned int CurrBlockOrder = VisitOrder[CurrBlock->getBlockID()]; in allBackEdgesVisited() 1035 if (*PI && CurrBlockOrder < VisitOrder[(*PI)->getBlockID()] ) in allBackEdgesVisited() 1047 ConsumedStateMap *Entry = StateMapsArray[Block->getBlockID()]; in addInfo() 1053 StateMapsArray[Block->getBlockID()] = new ConsumedStateMap(*StateMap); in addInfo() 1056 StateMapsArray[Block->getBlockID()] = StateMap; in addInfo() 1066 ConsumedStateMap *Entry = StateMapsArray[Block->getBlockID()]; in addInfo() 1073 StateMapsArray[Block->getBlockID()] = StateMap; in addInfo() 1079 assert(StateMapsArray[Block->getBlockID()] && "Block has no block info"); in borrowInfo() 1081 return StateMapsArray[Block->getBlockID()]; in borrowInfo() 1085 unsigned int BlockID = Block->getBlockID(); in discardInfo() [all …]
|
D | ReachableCode.cpp | 278 if (!Reachable[Start->getBlockID()]) { in scanFromBlock() 280 Reachable[Start->getBlockID()] = true; in scanFromBlock() 321 unsigned blockID = B->getBlockID(); in scanFromBlock() 376 unsigned blockID = block->getBlockID(); in enqueue() 389 unsigned blockID = PredBlock->getBlockID(); in isDeadCodeRoot() 453 if (Reachable[Block->getBlockID()]) in scanBackwards() 494 if (Reachable[Block->getBlockID()]) in scanBackwards() 668 if (reachable[block->getBlockID()]) in FindUnreachableCode()
|
D | LiveVariables.cpp | 50 if (block && !enqueuedBlocks[block->getBlockID()]) { in enqueueBlock() 51 enqueuedBlocks[block->getBlockID()] = true; in enqueueBlock() 77 enqueuedBlocks[b->getBlockID()] = false; in dequeue() 548 if (!everAnalyzedBlock[block->getBlockID()]) in computeLiveness() 549 everAnalyzedBlock[block->getBlockID()] = true; in computeLiveness() 577 return A->getBlockID() < B->getBlockID(); in dumpBlockLiveness() 584 llvm::errs() << "\n[ B" << (*it)->getBlockID() in dumpBlockLiveness()
|
D | ThreadSafety.cpp | 692 int CurrBlockID = CurrBlock->getBlockID(); in traverseCFG() 708 int PrevBlockID = (*PI)->getBlockID(); in traverseCFG() 756 Context LoopBegin = BlockInfo[FirstLoopBlock->getBlockID()].EntryContext; in traverseCFG() 763 unsigned exitID = CFGraph->getExit().getBlockID(); in traverseCFG() 773 CFGBlockInfo *CurrBlockInfo = &BlockInfo[CurrBlock->getBlockID()]; in findBlockLocations() 806 BlockInfo[(*CurrBlock->pred_begin())->getBlockID()].ExitLoc; in findBlockLocations() 1404 const CFGBlockInfo *PredBlockInfo = &BlockInfo[PredBlock->getBlockID()]; in getEdgeLockset() 2122 BlockInfo[CFGraph->getEntry().getBlockID()].Reachable = true; in runAnalysis() 2139 FactSet &InitialLockset = BlockInfo[FirstBlock->getBlockID()].EntrySet; in runAnalysis() 2191 int CurrBlockID = CurrBlock->getBlockID(); in runAnalysis() [all …]
|
D | ThreadSafetyCommon.cpp | 799 unsigned ArgIndex = BBInfo[Blk->getBlockID()].ProcessedPredecessors; in mergePhiNodesBackEdge() 826 BlockMap[B->getBlockID()] = BB; in enterCFG() 853 CurrentBlockInfo = &BBInfo[B->getBlockID()]; in enterCFGBlock() 864 CurrentBB->addPredecessor(BlockMap[Pred->getBlockID()]); in handlePredecessor() 865 BlockInfo *PredInfo = &BBInfo[Pred->getBlockID()]; in handlePredecessor() 944 ++BBInfo[Succ->getBlockID()].ProcessedPredecessors; in handleSuccessorBackEdge()
|
D | CFG.cpp | 3906 std::pair<unsigned, unsigned> P((*I)->getBlockID(), j); in StmtPrinterHelper() 4229 Helper.setBlockID(B.getBlockID()); in print_block() 4235 OS << "\n [B" << B.getBlockID(); in print_block() 4349 OS << " B" << B->getBlockID(); in print_block() 4389 OS << " B" << B->getBlockID(); in print_block()
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | UnreachableCodeChecker.cpp | 84 reachable.insert(CB->getBlockID()); in checkEndAnalysis() 103 if (reachable.count(CB->getBlockID())) in checkEndAnalysis() 111 if (!visited.count(CB->getBlockID())) in checkEndAnalysis() 115 if (reachable.count(CB->getBlockID())) in checkEndAnalysis() 177 visited.insert(CB->getBlockID()); in FindUnreachableEntryPoints() 184 if (!reachable.count((*I)->getBlockID())) { in FindUnreachableEntryPoints() 187 reachable.insert(CB->getBlockID()); in FindUnreachableEntryPoints() 188 if (!visited.count((*I)->getBlockID())) in FindUnreachableEntryPoints()
|
D | TestAfterDivZeroChecker.cpp | 155 State->add<DivZeroMap>(ZeroState(SR, C.getBlockID(), C.getStackFrame())); in setDivZeroMap() 165 ZeroState ZS(SR, C.getBlockID(), C.getStackFrame()); in hasDivZeroMap()
|
D | DeadStoresChecker.cpp | 77 return reachable[block->getBlockID()]; in isReachable() 91 llvm::BitVector::reference isReachable = reachable[block->getBlockID()]; in computeReachableBlocks()
|
/external/clang/include/clang/Analysis/Analyses/ |
D | Dominators.h | 96 llvm::errs() << "(" << (*I)->getBlockID() in dump() 98 << DT->getNode(*I)->getIDom()->getBlock()->getBlockID() in dump() 100 else llvm::errs() << "(" << (*I)->getBlockID() in dump() 101 << "," << (*I)->getBlockID() << ")\n"; in dump()
|
D | PostOrderCFGView.h | 57 if (VisitedBlockIDs.test(Block->getBlockID())) in insert() 59 VisitedBlockIDs.set(Block->getBlockID()); in insert() 67 return VisitedBlockIDs.test(Block->getBlockID()); in alreadySet()
|
D | Consumed.h | 211 VisitOrder[(*BI)->getBlockID()] = VisitOrderCounter++; in ConsumedBlockInfo()
|
D | ThreadSafetyCommon.h | 362 return BlockMap[B->getBlockID()]; in lookupBlock()
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | CheckerContext.h | 178 unsigned getBlockID() const { in getBlockID() function 179 return NB.getContext().getBlock()->getBlockID(); in getBlockID()
|
D | CoreEngine.h | 194 Block->getBlockID()); in blockCount()
|
/external/clang/lib/StaticAnalyzer/Core/ |
D | CoreEngine.cpp | 180 FunctionSummaries->markVisitedBasicBlock(Entry->getBlockID(), in ExecuteWorkList() 291 FunctionSummaries->markVisitedBasicBlock(Blk->getBlockID(), in HandleBlockEdge() 328 unsigned BlockId = L.getBlock()->getBlockID(); in HandleBlockEntrance()
|
D | ExprEngine.cpp | 2450 << Loc.castAs<BlockEntrance>().getBlock()->getBlockID(); in getNodeLabel() 2525 Out << "Edge: (B" << E.getSrc()->getBlockID() << ", B" in getNodeLabel() 2526 << E.getDst()->getBlockID() << ')'; in getNodeLabel()
|
/external/clang/lib/Sema/ |
D | AnalysisBasedWarnings.cpp | 179 unsigned ID = Block.getBlockID(); in checkForFunctionCall() 255 checkForFunctionCall(S, FD, cfg->getEntry(), cfg->getExit().getBlockID(), in checkRecursiveFunction() 260 if (states[cfg->getExit().getBlockID()] == FoundPath) in checkRecursiveFunction() 301 if (!live[B->getBlockID()]) { in CheckFallThrough() 328 if (!live[B.getBlockID()]) in CheckFallThrough()
|
/external/clang/include/clang/Analysis/ |
D | CFG.h | 639 unsigned getBlockID() const { return BlockID; } in getBlockID() function 650 OS << "BB#" << getBlockID(); in printAsOperand()
|
/external/clang/docs/ |
D | InternalsManual.rst | 1362 (accessible via ``CFGBlock::getBlockID()``). Currently the number is based on
|