| /external/clang/lib/Analysis/ |
| H A D | 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;
|
| H A D | 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...] |
| H A D | 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()
|
| H A D | 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()])
|
| H A D | 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()];
1074 StateMapsArray[Block->getBlockID()] = StateMap;
1080 assert(StateMapsArray[Block->getBlockID()] && "Block has no block info");
1082 return StateMapsArray[Block->getBlockID()];
1086 unsigned int BlockID = Block->getBlockID();
[all...] |
| H A D | 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;
|
| H A D | ThreadSafety.cpp | 1288 int CurrBlockID = CurrBlock->getBlockID();
1304 int PrevBlockID = (*PI)->getBlockID();
1352 Context LoopBegin = BlockInfo[FirstLoopBlock->getBlockID()].EntryContext;
1359 unsigned exitID = CFGraph->getExit().getBlockID();
1369 CFGBlockInfo *CurrBlockInfo = &BlockInfo[CurrBlock->getBlockID()];
1402 BlockInfo[(*CurrBlock->pred_begin())->getBlockID()].ExitLoc;
1748 const CFGBlockInfo *PredBlockInfo = &BlockInfo[PredBlock->getBlockID()];
2374 BlockInfo[CFGraph->getEntry().getBlockID()].Reachable = true;
2391 FactSet &InitialLockset = BlockInfo[FirstBlock->getBlockID()].EntrySet;
2440 int CurrBlockID = CurrBlock->getBlockID();
[all...] |
| H A D | CFG.cpp | 3825 std::pair<unsigned, unsigned> P((*I)->getBlockID(), j);
4149 Helper.setBlockID(B.getBlockID());
4155 OS << "\n [B" << B.getBlockID();
4269 OS << " B" << B->getBlockID();
4309 OS << " B" << B->getBlockID();
|
| /external/clang/include/clang/Analysis/Analyses/ |
| H A D | PostOrderCFGView.h | 57 if (VisitedBlockIDs.test(Block->getBlockID()))
59 VisitedBlockIDs.set(Block->getBlockID());
67 return VisitedBlockIDs.test(Block->getBlockID());
|
| H A D | Dominators.h | 98 llvm::errs() << "(" << (*I)->getBlockID()
100 << DT->getNode(*I)->getIDom()->getBlock()->getBlockID()
102 else llvm::errs() << "(" << (*I)->getBlockID()
103 << "," << (*I)->getBlockID() << ")\n";
|
| H A D | Consumed.h | 211 VisitOrder[(*BI)->getBlockID()] = VisitOrderCounter++;
|
| H A D | ThreadSafetyCommon.h | 254 return BlockMap[B->getBlockID()];
|
| H A D | ThreadSafetyTraverse.h | 701 SS << V->name() << V->getBlockID() << "_" << V->getID();
|
| H A D | ThreadSafetyTIL.h | 391 unsigned getBlockID() const { return BlockID; } function in class:clang::threadSafety::Variable
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | 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()))
|
| H A D | TestAfterDivZeroChecker.cpp | 155 State->add<DivZeroMap>(ZeroState(SR, C.getBlockID(), C.getStackFrame()));
165 ZeroState ZS(SR, C.getBlockID(), C.getStackFrame());
|
| H A D | DeadStoresChecker.cpp | 77 return reachable[block->getBlockID()];
91 llvm::BitVector::reference isReachable = reachable[block->getBlockID()];
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerContext.h | 178 unsigned getBlockID() const { function in class:clang::ento::CheckerContext
179 return NB.getContext().getBlock()->getBlockID();
|
| H A D | CoreEngine.h | 199 Block->getBlockID());
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | CoreEngine.cpp | 179 FunctionSummaries->markVisitedBasicBlock(Entry->getBlockID(),
290 FunctionSummaries->markVisitedBasicBlock(Blk->getBlockID(),
327 unsigned BlockId = L.getBlock()->getBlockID();
|
| H A D | ExprEngine.cpp | 2338 << Loc.castAs<BlockEntrance>().getBlock()->getBlockID();
2413 Out << "Edge: (B" << E.getSrc()->getBlockID() << ", B"
2414 << E.getDst()->getBlockID() << ')';
|
| /external/clang/lib/Sema/ |
| H A D | 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()])
|
| /external/clang/include/clang/Analysis/ |
| H A D | CFG.h | 640 unsigned getBlockID() const { return BlockID; } function in class:clang::CFGBlock::ElementList
651 OS << "BB#" << getBlockID();
|