| /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...] |
