HomeSort by: relevance | last modified time | path
    Searched refs:getBlockID (Results 1 - 24 of 24) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/Analysis/
CFGReachabilityAnalysis.cpp 28 const unsigned DstBlockID = Dst->getBlockID();
37 return reachable[DstBlockID][Src->getBlockID()];
46 ReachableSet &DstReachability = reachable[Dst->getBlockID()];
57 if (visited[block->getBlockID()])
59 visited[block->getBlockID()] = true;
64 DstReachability[block->getBlockID()] = true;
ProgramPoint.cpp 63 << castAs<BlockEntrance>().getBlock()->getBlockID();
69 << ", \"block_id\": " << FEP->getBlock()->getBlockID()
137 Out << "Edge\", \"src_id\": " << E.getSrc()->getBlockID()
138 << ", \"dst_id\": " << E.getDst()->getBlockID() << ", \"terminator\": ";
UninitializedValues.cpp 133 return vals[block->getBlockID()];
175 llvm::errs() << block->getBlockID() << " :";
563 SuccsVisited[block->getBlockID()] = block->succ_size();
614 unsigned &SV = SuccsVisited[Pred->getBlockID()];
635 unsigned BlockID = Block->getBlockID();
645 if (Succ && SuccsVisited[Succ->getBlockID()] >= Succ->succ_size() &&
839 wasAnalyzed[block->getBlockID()] = true;
848 if (wasAnalyzed[pred->getBlockID()]) {
939 wasAnalyzed[cfg.getEntry().getBlockID()] = true;
943 PBH.currentBlock = block->getBlockID();
    [all...]
ReachableCode.cpp 320 if (!Reachable[Start->getBlockID()]) {
322 Reachable[Start->getBlockID()] = true;
363 unsigned blockID = B->getBlockID();
419 unsigned blockID = block->getBlockID();
432 unsigned blockID = PredBlock->getBlockID();
495 if (Reachable[Block->getBlockID()])
536 if (Reachable[Block->getBlockID()])
710 if (reachable[block->getBlockID()])
LiveVariables.cpp 539 if (!everAnalyzedBlock[block->getBlockID()])
540 everAnalyzedBlock[block->getBlockID()] = true;
568 return A->getBlockID() < B->getBlockID();
575 llvm::errs() << "\n[ B" << (*it)->getBlockID()
610 llvm::errs() << "\n[ B" << B->getBlockID()
Consumed.cpp 1008 unsigned int CurrBlockOrder = VisitOrder[CurrBlock->getBlockID()];
1011 if (*PI && CurrBlockOrder < VisitOrder[(*PI)->getBlockID()] )
1022 auto &Entry = StateMapsArray[Block->getBlockID()];
1036 auto &Entry = StateMapsArray[Block->getBlockID()];
1047 assert(StateMapsArray[Block->getBlockID()] && "Block has no block info");
1049 return StateMapsArray[Block->getBlockID()].get();
1053 StateMapsArray[Block->getBlockID()] = nullptr;
1060 auto &Entry = StateMapsArray[Block->getBlockID()];
1069 return VisitOrder[From->getBlockID()] > VisitOrder[To->getBlockID()];
    [all...]
ThreadSafety.cpp 739 unsigned CurrBlockID = CurrBlock->getBlockID();
755 unsigned PrevBlockID = (*PI)->getBlockID();
802 Context LoopBegin = BlockInfo[FirstLoopBlock->getBlockID()].EntryContext;
809 unsigned exitID = CFGraph->getExit().getBlockID();
819 CFGBlockInfo *CurrBlockInfo = &BlockInfo[CurrBlock->getBlockID()];
851 BlockInfo[(*CurrBlock->pred_begin())->getBlockID()].ExitLoc;
1521 const CFGBlockInfo *PredBlockInfo = &BlockInfo[PredBlock->getBlockID()];
2309 BlockInfo[CFGraph->getEntry().getBlockID()].Reachable = true;
2326 FactSet &InitialLockset = BlockInfo[FirstBlock->getBlockID()].EntrySet;
2381 unsigned CurrBlockID = CurrBlock->getBlockID();
    [all...]
ThreadSafetyCommon.cpp 795 unsigned ArgIndex = BBInfo[Blk->getBlockID()].ProcessedPredecessors;
822 BlockMap[B->getBlockID()] = BB;
848 CurrentBlockInfo = &BBInfo[B->getBlockID()];
858 CurrentBB->addPredecessor(BlockMap[Pred->getBlockID()]);
859 BlockInfo *PredInfo = &BBInfo[Pred->getBlockID()];
930 ++BBInfo[Succ->getBlockID()].ProcessedPredecessors;
CalledOnceCheck.cpp 1300 return States[BB->getBlockID()];
1304 return States[BB->getBlockID()];
CFG.cpp 5139 std::pair<unsigned, unsigned> P((*I)->getBlockID(), j);
5618 Helper.setBlockID(B.getBlockID());
5624 OS << "\n [B" << B.getBlockID();
5739 OS << " B" << B->getBlockID();
5778 OS << " B" << B->getBlockID();
  /src/external/apache2/llvm/dist/clang/include/clang/Analysis/Analyses/
PostOrderCFGView.h 58 if (VisitedBlockIDs.test(Block->getBlockID()))
60 VisitedBlockIDs.set(Block->getBlockID());
68 return VisitedBlockIDs.test(Block->getBlockID());
Dominators.h 106 llvm::errs() << "(" << (*I)->getBlockID()
108 << IDom->getBlock()->getBlockID()
128 llvm::errs() << "(" << (*I)->getBlockID()
129 << "," << (*I)->getBlockID() << ")\n";
264 llvm::errs() << "(" << BB->getBlockID()
266 << isControlDependency->getBlockID()
Consumed.h 218 VisitOrder[BI->getBlockID()] = VisitOrderCounter++;
ThreadSafetyCommon.h 385 return BlockMap[B->getBlockID()];
  /src/external/apache2/llvm/dist/clang/include/clang/Analysis/FlowSensitive/
DataflowWorklist.h 36 if (Block && !EnqueuedBlocks[Block->getBlockID()]) {
37 EnqueuedBlocks[Block->getBlockID()] = true;
47 EnqueuedBlocks[B->getBlockID()] = false;
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
UnreachableCodeChecker.cpp 79 reachable.insert(CB->getBlockID());
98 if (reachable.count(CB->getBlockID()))
106 if (!visited.count(CB->getBlockID()))
110 if (reachable.count(CB->getBlockID()))
181 visited.insert(CB->getBlockID());
188 if (!reachable.count((*I)->getBlockID())) {
191 reachable.insert(CB->getBlockID());
192 if (!visited.count((*I)->getBlockID()))
TestAfterDivZeroChecker.cpp 151 State->add<DivZeroMap>(ZeroState(SR, C.getBlockID(), C.getStackFrame()));
161 ZeroState ZS(SR, C.getBlockID(), C.getStackFrame());
DeadStoresChecker.cpp 78 return reachable[block->getBlockID()];
92 llvm::BitVector::reference isReachable = reachable[block->getBlockID()];
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CheckerContext.h 129 unsigned getBlockID() const {
130 return NB.getContext().getBlock()->getBlockID();
CoreEngine.h 223 Block->getBlockID());
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
WorkList.cpp 159 BE->getBlock()->getBlockID(),
235 BE->getBlock()->getBlockID(),
CoreEngine.cpp 91 FunctionSummaries->markVisitedBasicBlock(Entry->getBlockID(),
214 FunctionSummaries->markVisitedBasicBlock(Blk->getBlockID(),
280 unsigned BlockId = L.getBlock()->getBlockID();
  /src/external/apache2/llvm/dist/clang/lib/Sema/
AnalysisBasedWarnings.cpp 225 const unsigned ExitID = cfg->getExit().getBlockID();
239 if (ExitID == SuccBlock->getBlockID())
289 Queued[ThrowBlock.getBlockID()] = true;
296 if (!Succ.isReachable() || Queued[Succ->getBlockID()])
299 if (Succ->getBlockID() == Body->getExit().getBlockID())
312 Queued[Succ->getBlockID()] = true;
326 if (!Reachable[B->getBlockID()])
415 if (!live[B->getBlockID()]) {
444 if (!live[B.getBlockID()])
    [all...]
  /src/external/apache2/llvm/dist/clang/include/clang/Analysis/
CFG.h 1074 unsigned getBlockID() const { return BlockID; }
1089 OS << "BB#" << getBlockID();

Completed in 35 milliseconds