/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 | 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() 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()
|
D | Consumed.cpp | 1038 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 …]
|
D | ThreadSafety.cpp | 694 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/ |
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 | 133 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 …]
|
D | ProgramPoint.cpp | 63 << 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()
|
D | 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()
|
D | 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 …]
|
D | LiveVariables.cpp | 555 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()
|
D | 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() 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/ |
D | UnreachableCodeChecker.cpp | 80 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()
|
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()
|
/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
D | 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()
|
D | TestAfterDivZeroChecker.cpp | 151 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/ |
D | 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() 264 llvm::errs() << "(" << BB->getBlockID() 266 << isControlDependency->getBlockID()
|
D | 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()
|
/external/clang/include/clang/Analysis/Analyses/ |
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 | 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()
|
/external/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
D | DataflowWorklist.h | 36 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/ |
D | CheckerContext.h | 178 unsigned getBlockID() const { in getBlockID() function 179 return NB.getContext().getBlock()->getBlockID(); in getBlockID()
|
/external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
D | WorkList.cpp | 159 BE->getBlock()->getBlockID(), in enqueue() 235 BE->getBlock()->getBlockID(), in enqueue()
|
/external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | CheckerContext.h | 129 unsigned getBlockID() const { in getBlockID() function 130 return NB.getContext().getBlock()->getBlockID(); in getBlockID()
|