reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1330 CurrStates = BlockInfo.getInfo(CurrBlock); 1342 for (const auto &B : *CurrBlock) { 1377 if (!splitState(CurrBlock, Visitor)) { 1380 if (CurrBlock->succ_size() > 1 || 1381 (CurrBlock->succ_size() == 1 && 1382 (*CurrBlock->succ_begin())->pred_size() > 1)) { 1386 for (CFGBlock::const_succ_iterator SI = CurrBlock->succ_begin(), 1387 SE = CurrBlock->succ_end(); SI != SE; ++SI) { 1390 if (BlockInfo.isBackEdge(CurrBlock, *SI)) { 1392 *SI, CurrBlock, RawState, WarningsHandler); 1394 if (BlockInfo.allBackEdgesVisited(CurrBlock, *SI)) 1405 if (CurrBlock == &AC.getCFG()->getExit() &&