1026 bool ConsumedBlockInfo::allBackEdgesVisited(const CFGBlock *CurrBlock,  in allBackEdgesVisited()  argument
1029   assert(CurrBlock && "Block pointer must not be NULL");  in allBackEdgesVisited()
1032   unsigned int CurrBlockOrder = VisitOrder[CurrBlock->getBlockID()];  in allBackEdgesVisited()
1255 bool ConsumedAnalyzer::splitState(const CFGBlock *CurrBlock,  in splitState()  argument
1263     dyn_cast_or_null<IfStmt>(CurrBlock->getTerminator().getStmt())) {  in splitState()
1287     dyn_cast_or_null<BinaryOperator>(CurrBlock->getTerminator().getStmt())) {  in splitState()
1326   CFGBlock::const_succ_iterator SI = CurrBlock->succ_begin();  in splitState()
1363   for (const auto *CurrBlock : *SortedGraph) {  in run()
1365       CurrStates = BlockInfo.getInfo(CurrBlock);  in run()
1378     for (const auto &B : *CurrBlock) {  in run()
1413     if (!splitState(CurrBlock, Visitor)) {  in run()
1416       if (CurrBlock->succ_size() > 1 ||  in run()
1417           (CurrBlock->succ_size() == 1 &&  in run()
1418            (*CurrBlock->succ_begin())->pred_size() > 1)) {  in run()
1422         for (CFGBlock::const_succ_iterator SI = CurrBlock->succ_begin(),  in run()
1423              SE = CurrBlock->succ_end(); SI != SE; ++SI) {  in run()
1427           if (BlockInfo.isBackEdge(CurrBlock, *SI)) {  in run()
1429                 *SI, CurrBlock, RawState, WarningsHandler);  in run()
1431             if (BlockInfo.allBackEdgesVisited(CurrBlock, *SI))  in run()
1442     if (CurrBlock == &AC.getCFG()->getExit() &&  in run()