1032 bool ConsumedBlockInfo::allBackEdgesVisited(const CFGBlock *CurrBlock,  in allBackEdgesVisited()  argument
1035   assert(CurrBlock && "Block pointer must not be NULL");  in allBackEdgesVisited()
1038   unsigned int CurrBlockOrder = VisitOrder[CurrBlock->getBlockID()];  in allBackEdgesVisited()
1261 bool ConsumedAnalyzer::splitState(const CFGBlock *CurrBlock,  in splitState()  argument
1269     dyn_cast_or_null<IfStmt>(CurrBlock->getTerminator().getStmt())) {  in splitState()
1293     dyn_cast_or_null<BinaryOperator>(CurrBlock->getTerminator().getStmt())) {  in splitState()
1332   CFGBlock::const_succ_iterator SI = CurrBlock->succ_begin();  in splitState()
1369   for (const auto *CurrBlock : *SortedGraph) {  in run()
1371       CurrStates = BlockInfo.getInfo(CurrBlock);  in run()
1384     for (const auto &B : *CurrBlock) {  in run()
1419     if (!splitState(CurrBlock, Visitor)) {  in run()
1422       if (CurrBlock->succ_size() > 1 ||  in run()
1423           (CurrBlock->succ_size() == 1 &&  in run()
1424            (*CurrBlock->succ_begin())->pred_size() > 1)) {  in run()
1428         for (CFGBlock::const_succ_iterator SI = CurrBlock->succ_begin(),  in run()
1429              SE = CurrBlock->succ_end(); SI != SE; ++SI) {  in run()
1433           if (BlockInfo.isBackEdge(CurrBlock, *SI)) {  in run()
1435                 *SI, CurrBlock, RawState, WarningsHandler);  in run()
1437             if (BlockInfo.allBackEdgesVisited(CurrBlock, *SI))  in run()
1448     if (CurrBlock == &AC.getCFG()->getExit() &&  in run()