Home
last modified time | relevance | path

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

/external/clang/lib/Analysis/
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()
DUninitializedValues.cpp119 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 …]
DConsumed.cpp1032 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 …]
DReachableCode.cpp278 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()
DLiveVariables.cpp50 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()
DThreadSafety.cpp692 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 …]
DThreadSafetyCommon.cpp799 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()
DCFG.cpp3906 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/
DUnreachableCodeChecker.cpp84 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()
DTestAfterDivZeroChecker.cpp155 State->add<DivZeroMap>(ZeroState(SR, C.getBlockID(), C.getStackFrame())); in setDivZeroMap()
165 ZeroState ZS(SR, C.getBlockID(), C.getStackFrame()); in hasDivZeroMap()
DDeadStoresChecker.cpp77 return reachable[block->getBlockID()]; in isReachable()
91 llvm::BitVector::reference isReachable = reachable[block->getBlockID()]; in computeReachableBlocks()
/external/clang/include/clang/Analysis/Analyses/
DDominators.h96 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()
DPostOrderCFGView.h57 if (VisitedBlockIDs.test(Block->getBlockID())) in insert()
59 VisitedBlockIDs.set(Block->getBlockID()); in insert()
67 return VisitedBlockIDs.test(Block->getBlockID()); in alreadySet()
DConsumed.h211 VisitOrder[(*BI)->getBlockID()] = VisitOrderCounter++; in ConsumedBlockInfo()
DThreadSafetyCommon.h362 return BlockMap[B->getBlockID()]; in lookupBlock()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCheckerContext.h178 unsigned getBlockID() const { in getBlockID() function
179 return NB.getContext().getBlock()->getBlockID(); in getBlockID()
DCoreEngine.h194 Block->getBlockID()); in blockCount()
/external/clang/lib/StaticAnalyzer/Core/
DCoreEngine.cpp180 FunctionSummaries->markVisitedBasicBlock(Entry->getBlockID(), in ExecuteWorkList()
291 FunctionSummaries->markVisitedBasicBlock(Blk->getBlockID(), in HandleBlockEdge()
328 unsigned BlockId = L.getBlock()->getBlockID(); in HandleBlockEntrance()
DExprEngine.cpp2450 << 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/
DAnalysisBasedWarnings.cpp179 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/
DCFG.h639 unsigned getBlockID() const { return BlockID; } in getBlockID() function
650 OS << "BB#" << getBlockID(); in printAsOperand()
/external/clang/docs/
DInternalsManual.rst1362 (accessible via ``CFGBlock::getBlockID()``). Currently the number is based on