Lines Matching full:switchexclusivelycovered
323 bool switchExclusivelyCovered;
341 switchExclusivelyCovered(false), switchCond(0),
2671 SaveAndRestore<bool> save_switchExclusivelyCovered(switchExclusivelyCovered,
2699 SwitchAlwaysHasSuccessor |= switchExclusivelyCovered;
2723 static bool shouldAddCase(bool &switchExclusivelyCovered,
2732 if (!switchExclusivelyCovered) {
2740 switchExclusivelyCovered = true;
2748 switchExclusivelyCovered = true;
2778 shouldAddCase(switchExclusivelyCovered, switchCond,
2805 shouldAddCase(switchExclusivelyCovered, switchCond,
