/external/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;
|
UninitializedValues.cpp | 118 return vals[block->getBlockID()]; 159 llvm::errs() << block->getBlockID() << " :"; 217 enqueuedBlocks[(*PO_I)->getBlockID()] = false; 231 if (!Successor || enqueuedBlocks[Successor->getBlockID()]) 234 enqueuedBlocks[Successor->getBlockID()] = true; 256 assert(enqueuedBlocks[B->getBlockID()] == true); 257 enqueuedBlocks[B->getBlockID()] = false; 526 SuccsVisited[block->getBlockID()] = block->succ_size(); 555 unsigned &SV = SuccsVisited[Pred->getBlockID()]; 577 unsigned BlockID = Block->getBlockID(); [all...] |
LiveVariables.cpp | 50 if (block && !enqueuedBlocks[block->getBlockID()]) { 51 enqueuedBlocks[block->getBlockID()] = true; 77 enqueuedBlocks[b->getBlockID()] = false; 552 if (!everAnalyzedBlock[block->getBlockID()]) 553 everAnalyzedBlock[block->getBlockID()] = true; 581 return A->getBlockID() < B->getBlockID(); 588 llvm::errs() << "\n[ B" << (*it)->getBlockID()
|
ReachableCode.cpp | 278 if (!Reachable[Start->getBlockID()]) { 280 Reachable[Start->getBlockID()] = true; 321 unsigned blockID = B->getBlockID(); 376 unsigned blockID = block->getBlockID(); 389 unsigned blockID = PredBlock->getBlockID(); 453 if (Reachable[Block->getBlockID()]) 494 if (Reachable[Block->getBlockID()]) 668 if (reachable[block->getBlockID()])
|
Consumed.cpp | 1033 unsigned int CurrBlockOrder = VisitOrder[CurrBlock->getBlockID()]; 1036 if (*PI && CurrBlockOrder < VisitOrder[(*PI)->getBlockID()] ) 1048 ConsumedStateMap *Entry = StateMapsArray[Block->getBlockID()]; 1054 StateMapsArray[Block->getBlockID()] = new ConsumedStateMap(*StateMap); 1057 StateMapsArray[Block->getBlockID()] = StateMap; 1067 ConsumedStateMap *Entry = StateMapsArray[Block->getBlockID()]; [all...] |
ThreadSafetyCommon.cpp | 500 if (V && V->getBlockID() == CurrentBB->blockID()) { 603 unsigned ArgIndex = BBInfo[Blk->getBlockID()].ProcessedPredecessors; 632 BlockMap[B->getBlockID()] = BB; 660 CurrentBlockInfo = &BBInfo[B->getBlockID()]; 671 CurrentBB->addPredecessor(BlockMap[Pred->getBlockID()]); 672 BlockInfo *PredInfo = &BBInfo[Pred->getBlockID()]; 752 ++BBInfo[Succ->getBlockID()].ProcessedPredecessors;
|
ThreadSafety.cpp | [all...] |
CFG.cpp | [all...] |
/external/clang/include/clang/Analysis/Analyses/ |
PostOrderCFGView.h | 57 if (VisitedBlockIDs.test(Block->getBlockID())) 59 VisitedBlockIDs.set(Block->getBlockID()); 67 return VisitedBlockIDs.test(Block->getBlockID());
|
Dominators.h | 98 llvm::errs() << "(" << (*I)->getBlockID() 100 << DT->getNode(*I)->getIDom()->getBlock()->getBlockID() 102 else llvm::errs() << "(" << (*I)->getBlockID() 103 << "," << (*I)->getBlockID() << ")\n";
|
Consumed.h | 211 VisitOrder[(*BI)->getBlockID()] = VisitOrderCounter++;
|
ThreadSafetyCommon.h | 254 return BlockMap[B->getBlockID()];
|
ThreadSafetyTraverse.h | 701 SS << V->name() << V->getBlockID() << "_" << V->getID();
|
ThreadSafetyTIL.h | 391 unsigned getBlockID() const { return BlockID; } [all...] |
/external/clang/lib/StaticAnalyzer/Checkers/ |
UnreachableCodeChecker.cpp | 84 reachable.insert(CB->getBlockID()); 103 if (reachable.count(CB->getBlockID())) 111 if (!visited.count(CB->getBlockID())) 115 if (reachable.count(CB->getBlockID())) 177 visited.insert(CB->getBlockID()); 184 if (!reachable.count((*I)->getBlockID())) { 187 reachable.insert(CB->getBlockID()); 188 if (!visited.count((*I)->getBlockID()))
|
TestAfterDivZeroChecker.cpp | 155 State->add<DivZeroMap>(ZeroState(SR, C.getBlockID(), C.getStackFrame())); 165 ZeroState ZS(SR, C.getBlockID(), C.getStackFrame());
|
DeadStoresChecker.cpp | 77 return reachable[block->getBlockID()]; 91 llvm::BitVector::reference isReachable = reachable[block->getBlockID()];
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
CheckerContext.h | 178 unsigned getBlockID() const { 179 return NB.getContext().getBlock()->getBlockID();
|
CoreEngine.h | 199 Block->getBlockID());
|
/external/clang/lib/StaticAnalyzer/Core/ |
CoreEngine.cpp | 179 FunctionSummaries->markVisitedBasicBlock(Entry->getBlockID(), 290 FunctionSummaries->markVisitedBasicBlock(Blk->getBlockID(), 327 unsigned BlockId = L.getBlock()->getBlockID();
|
ExprEngine.cpp | [all...] |
/external/clang/lib/Sema/ |
AnalysisBasedWarnings.cpp | 177 unsigned ID = Block.getBlockID(); 253 checkForFunctionCall(S, FD, cfg->getEntry(), cfg->getExit().getBlockID(), 258 if (states[cfg->getExit().getBlockID()] == FoundPath) 299 if (!live[B->getBlockID()]) { 326 if (!live[B.getBlockID()]) [all...] |
/external/clang/include/clang/Analysis/ |
CFG.h | 640 unsigned getBlockID() const { return BlockID; } 651 OS << "BB#" << getBlockID(); [all...] |