Home
last modified time | relevance | path

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

12

/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 …]
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()
547 if (!everAnalyzedBlock[block->getBlockID()]) in computeLiveness()
548 everAnalyzedBlock[block->getBlockID()] = true; in computeLiveness()
576 return A->getBlockID() < B->getBlockID(); in dumpBlockLiveness()
583 llvm::errs() << "\n[ B" << (*it)->getBlockID() in dumpBlockLiveness()
DConsumed.cpp1038 unsigned int CurrBlockOrder = VisitOrder[CurrBlock->getBlockID()]; in allBackEdgesVisited()
1041 if (*PI && CurrBlockOrder < VisitOrder[(*PI)->getBlockID()] ) in allBackEdgesVisited()
1053 auto &Entry = StateMapsArray[Block->getBlockID()]; in addInfo()
1068 auto &Entry = StateMapsArray[Block->getBlockID()]; in addInfo()
1079 assert(StateMapsArray[Block->getBlockID()] && "Block has no block info"); in borrowInfo()
1081 return StateMapsArray[Block->getBlockID()].get(); in borrowInfo()
1085 StateMapsArray[Block->getBlockID()] = nullptr; in discardInfo()
1092 auto &Entry = StateMapsArray[Block->getBlockID()]; in getInfo()
1101 return VisitOrder[From->getBlockID()] > VisitOrder[To->getBlockID()]; in isBackEdge()
1112 unsigned int BlockVisitOrder = VisitOrder[Block->getBlockID()]; in isBackEdgeTarget()
[all …]
DThreadSafety.cpp694 int CurrBlockID = CurrBlock->getBlockID(); in traverseCFG()
710 int PrevBlockID = (*PI)->getBlockID(); in traverseCFG()
758 Context LoopBegin = BlockInfo[FirstLoopBlock->getBlockID()].EntryContext; in traverseCFG()
765 unsigned exitID = CFGraph->getExit().getBlockID(); in traverseCFG()
775 CFGBlockInfo *CurrBlockInfo = &BlockInfo[CurrBlock->getBlockID()]; in findBlockLocations()
808 BlockInfo[(*CurrBlock->pred_begin())->getBlockID()].ExitLoc; in findBlockLocations()
1401 const CFGBlockInfo *PredBlockInfo = &BlockInfo[PredBlock->getBlockID()]; in getEdgeLockset()
2127 BlockInfo[CFGraph->getEntry().getBlockID()].Reachable = true; in runAnalysis()
2144 FactSet &InitialLockset = BlockInfo[FirstBlock->getBlockID()].EntrySet; in runAnalysis()
2196 int CurrBlockID = CurrBlock->getBlockID(); in runAnalysis()
[all …]
/external/llvm-project/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.cpp133 return vals[block->getBlockID()]; in getValueVector()
175 llvm::errs() << block->getBlockID() << " :"; in printVector()
563 SuccsVisited[block->getBlockID()] = block->succ_size(); in getUninitUse()
614 unsigned &SV = SuccsVisited[Pred->getBlockID()]; in getUninitUse()
635 unsigned BlockID = Block->getBlockID(); in getUninitUse()
645 if (Succ && SuccsVisited[Succ->getBlockID()] >= Succ->succ_size() && in getUninitUse()
839 wasAnalyzed[block->getBlockID()] = true; in runOnBlock()
848 if (wasAnalyzed[pred->getBlockID()]) { in runOnBlock()
939 wasAnalyzed[cfg.getEntry().getBlockID()] = true; in runUninitializedVariablesAnalysis()
943 PBH.currentBlock = block->getBlockID(); in runUninitializedVariablesAnalysis()
[all …]
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()
DReachableCode.cpp320 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()
DConsumed.cpp1008 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 …]
DLiveVariables.cpp555 if (!everAnalyzedBlock[block->getBlockID()]) in computeLiveness()
556 everAnalyzedBlock[block->getBlockID()] = true; in computeLiveness()
584 return A->getBlockID() < B->getBlockID(); in dumpBlockLiveness()
591 llvm::errs() << "\n[ B" << (*it)->getBlockID() in dumpBlockLiveness()
626 llvm::errs() << "\n[ B" << B->getBlockID() in dumpExprLiveness()
DThreadSafety.cpp734 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()
1522 const CFGBlockInfo *PredBlockInfo = &BlockInfo[PredBlock->getBlockID()]; in getEdgeLockset()
2311 BlockInfo[CFGraph->getEntry().getBlockID()].Reachable = true; in runAnalysis()
2328 FactSet &InitialLockset = BlockInfo[FirstBlock->getBlockID()].EntrySet; in runAnalysis()
2383 unsigned CurrBlockID = CurrBlock->getBlockID(); in runAnalysis()
[all …]
/external/clang/lib/StaticAnalyzer/Checkers/
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()
173 visited.insert(CB->getBlockID()); in FindUnreachableEntryPoints()
180 if (!reachable.count((*I)->getBlockID())) { in FindUnreachableEntryPoints()
183 reachable.insert(CB->getBlockID()); in FindUnreachableEntryPoints()
184 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()
/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/
DUnreachableCodeChecker.cpp79 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()
DTestAfterDivZeroChecker.cpp151 State->add<DivZeroMap>(ZeroState(SR, C.getBlockID(), C.getStackFrame())); in setDivZeroMap()
161 ZeroState ZS(SR, C.getBlockID(), C.getStackFrame()); in hasDivZeroMap()
/external/llvm-project/clang/include/clang/Analysis/Analyses/
DDominators.h106 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()
264 llvm::errs() << "(" << BB->getBlockID()
266 << isControlDependency->getBlockID()
DPostOrderCFGView.h58 if (VisitedBlockIDs.test(Block->getBlockID())) in insert()
60 VisitedBlockIDs.set(Block->getBlockID()); in insert()
68 return VisitedBlockIDs.test(Block->getBlockID()); in alreadySet()
/external/clang/include/clang/Analysis/Analyses/
DPostOrderCFGView.h57 if (VisitedBlockIDs.test(Block->getBlockID())) in insert()
59 VisitedBlockIDs.set(Block->getBlockID()); in insert()
67 return VisitedBlockIDs.test(Block->getBlockID()); in alreadySet()
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()
/external/llvm-project/clang/include/clang/Analysis/FlowSensitive/
DDataflowWorklist.h36 if (Block && !EnqueuedBlocks[Block->getBlockID()]) { in enqueueBlock()
37 EnqueuedBlocks[Block->getBlockID()] = true; in enqueueBlock()
47 EnqueuedBlocks[B->getBlockID()] = false; in dequeue()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCheckerContext.h178 unsigned getBlockID() const { in getBlockID() function
179 return NB.getContext().getBlock()->getBlockID(); in getBlockID()
/external/llvm-project/clang/lib/StaticAnalyzer/Core/
DWorkList.cpp159 BE->getBlock()->getBlockID(), in enqueue()
235 BE->getBlock()->getBlockID(), in enqueue()
/external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCheckerContext.h129 unsigned getBlockID() const { in getBlockID() function
130 return NB.getContext().getBlock()->getBlockID(); in getBlockID()

12