Searched refs:isReachable (Results 1 - 10 of 10) sorted by relevance
| /freebsd-11.0-release/contrib/llvm/tools/clang/include/clang/Analysis/Analyses/ |
| H A D | CFGReachabilityAnalysis.h | 41 bool isReachable(const CFGBlock *Src, const CFGBlock *Dst);
|
| H A D | Consumed.h | 172 bool isReachable() const { return Reachable; } function in class:clang::consumed::ConsumedStateMap
|
| /freebsd-11.0-release/contrib/llvm/tools/clang/lib/Analysis/ |
| H A D | CFGReachabilityAnalysis.cpp | 25 bool CFGReverseBlockReachabilityAnalysis::isReachable(const CFGBlock *Src, function in class:CFGReverseBlockReachabilityAnalysis
|
| H A D | Consumed.cpp | 1370 } else if (!CurrStates->isReachable()) {
|
| H A D | CFG.cpp | 2263 addSuccessor(Block, ThenBlock, /* isReachable = */ !KnownVal.isFalse());
2264 addSuccessor(Block, ElseBlock, /* isReachable = */ !KnownVal.isTrue());
3928 B->Preds.push_back(AdjacentBlock(this, Succ.isReachable()), C);
|
| /freebsd-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DeadStoresChecker.cpp | 76 bool isReachable(const CFGBlock *block) const { function in class:__anon4148::ReachableCode
91 llvm::BitVector::reference isReachable = reachable[block->getBlockID()]; local
92 if (isReachable)
94 isReachable = true;
176 if (!reachableCode->isReachable(currentBlock))
|
| /freebsd-11.0-release/contrib/compiler-rt/lib/sanitizer_common/ |
| H A D | sanitizer_bvgraph.h | 111 bool isReachable(uptr from, const BV &targets) { function in class:__sanitizer::BVGraph
|
| H A D | sanitizer_deadlock_detector.h | 209 return g_.isReachable(cur_idx, dtls->getLocks(current_epoch_));
|
| /freebsd-11.0-release/contrib/llvm/tools/clang/include/clang/Analysis/ |
| H A D | CFG.h | 463 bool isReachable() const { function
|
| /freebsd-11.0-release/contrib/llvm/tools/clang/lib/Sema/ |
| H A D | AnalysisBasedWarnings.cpp | 1950 if (cra->isReachable(&AC.getCFG()->getEntry(), block))
|
Completed in 301 milliseconds