Lines Matching refs:CFGBlock
51 static bool isTrivialDoWhile(const CFGBlock *B, const Stmt *S) { in isTrivialDoWhile()
71 static bool isBuiltinAssumeFalse(const CFGBlock *B, const Stmt *S, in isBuiltinAssumeFalse()
86 static bool isDeadReturn(const CFGBlock *B, const Stmt *S) { in isDeadReturn()
90 const CFGBlock *Current = B; in isDeadReturn()
295 static bool shouldTreatSuccessorsAsReachable(const CFGBlock *B, in shouldTreatSuccessorsAsReachable()
316 static unsigned scanFromBlock(const CFGBlock *Start, in scanFromBlock()
323 SmallVector<const CFGBlock*, 32> WL; in scanFromBlock()
336 const CFGBlock *item = WL.pop_back_val(); in scanFromBlock()
348 for (CFGBlock::const_succ_iterator I = item->succ_begin(), in scanFromBlock()
350 const CFGBlock *B = *I; in scanFromBlock()
352 const CFGBlock *UB = I->getPossiblyUnreachableBlock(); in scanFromBlock()
382 static unsigned scanMaybeReachableFromBlock(const CFGBlock *Start, in scanMaybeReachableFromBlock()
396 SmallVector<const CFGBlock *, 10> WorkList;
400 typedef SmallVector<std::pair<const CFGBlock *, const Stmt *>, 12>
411 void enqueue(const CFGBlock *block);
412 unsigned scanBackwards(const CFGBlock *Start,
415 bool isDeadCodeRoot(const CFGBlock *Block);
417 const Stmt *findDeadCode(const CFGBlock *Block);
419 void reportDeadCode(const CFGBlock *B,
425 void DeadCodeScan::enqueue(const CFGBlock *block) { in enqueue()
433 bool DeadCodeScan::isDeadCodeRoot(const clang::CFGBlock *Block) { in isDeadCodeRoot()
436 for (CFGBlock::const_pred_iterator I = Block->pred_begin(), in isDeadCodeRoot()
438 if (const CFGBlock *PredBlock = *I) { in isDeadCodeRoot()
464 const Stmt *DeadCodeScan::findDeadCode(const clang::CFGBlock *Block) { in findDeadCode()
465 for (CFGBlock::const_iterator I = Block->begin(), E = Block->end(); I!=E; ++I) in findDeadCode()
482 static int SrcCmp(const std::pair<const CFGBlock *, const Stmt *> *p1, in SrcCmp() argument
483 const std::pair<const CFGBlock *, const Stmt *> *p2) { in SrcCmp()
491 unsigned DeadCodeScan::scanBackwards(const clang::CFGBlock *Start, in scanBackwards()
498 const CFGBlock *Block = WorkList.pop_back_val(); in scanBackwards()
510 for (CFGBlock::const_pred_iterator I = Block->pred_begin(), in scanBackwards()
512 if (const CFGBlock *predBlock = *I) in scanBackwards()
541 const CFGBlock *Block = I.first; in scanBackwards()
617 void DeadCodeScan::reportDeadCode(const CFGBlock *B, in reportDeadCode()
662 CFGBlock::const_pred_iterator PI = B->pred_begin(); in reportDeadCode()
664 if (const CFGBlock *PredBlock = PI->getPossiblyUnreachableBlock()) { in reportDeadCode()
685 unsigned ScanReachableFromBlock(const CFGBlock *Start, in ScanReachableFromBlock()
708 for (const CFGBlock *B : cfg->try_blocks()) in FindUnreachableCode()
716 for (const CFGBlock *block : *cfg) { in FindUnreachableCode()