1003 bool ConsumedBlockInfo::allBackEdgesVisited(const CFGBlock *CurrBlock,  in allBackEdgesVisited()  argument
1005   assert(CurrBlock && "Block pointer must not be NULL");  in allBackEdgesVisited()
1008   unsigned int CurrBlockOrder = VisitOrder[CurrBlock->getBlockID()];  in allBackEdgesVisited()
1228 bool ConsumedAnalyzer::splitState(const CFGBlock *CurrBlock,  in splitState()  argument
1235           dyn_cast_or_null<IfStmt>(CurrBlock->getTerminator().getStmt())) {  in splitState()
1255        dyn_cast_or_null<BinaryOperator>(CurrBlock->getTerminator().getStmt())) {  in splitState()
1291   CFGBlock::const_succ_iterator SI = CurrBlock->succ_begin();  in splitState()
1328   for (const auto *CurrBlock : *SortedGraph) {  in run()
1330       CurrStates = BlockInfo.getInfo(CurrBlock);  in run()
1342     for (const auto &B : *CurrBlock) {  in run()
1377     if (!splitState(CurrBlock, Visitor)) {  in run()
1380       if (CurrBlock->succ_size() > 1 ||  in run()
1381           (CurrBlock->succ_size() == 1 &&  in run()
1382            (*CurrBlock->succ_begin())->pred_size() > 1)) {  in run()
1386         for (CFGBlock::const_succ_iterator SI = CurrBlock->succ_begin(),  in run()
1387              SE = CurrBlock->succ_end(); SI != SE; ++SI) {  in run()
1390           if (BlockInfo.isBackEdge(CurrBlock, *SI)) {  in run()
1392                 *SI, CurrBlock, RawState, WarningsHandler);  in run()
1394             if (BlockInfo.allBackEdgesVisited(CurrBlock, *SI))  in run()
1405     if (CurrBlock == &AC.getCFG()->getExit() &&  in run()