Lines Matching full:switchexclusivelycovered
401 bool switchExclusivelyCovered;
419 switchExclusivelyCovered(false), switchCond(nullptr),
3102 SaveAndRestore<bool> save_switchExclusivelyCovered(switchExclusivelyCovered,
3130 SwitchAlwaysHasSuccessor |= switchExclusivelyCovered;
3154 static bool shouldAddCase(bool &switchExclusivelyCovered,
3163 if (!switchExclusivelyCovered) {
3171 switchExclusivelyCovered = true;
3179 switchExclusivelyCovered = true;
3209 shouldAddCase(switchExclusivelyCovered, switchCond,
3236 shouldAddCase(switchExclusivelyCovered, switchCond,
