Searched refs:switchExclusivelyCovered (Results 1 – 1 of 1) sorted by relevance
536 bool switchExclusivelyCovered = false; member in __anond5061b330411::CFGBuilder4384 SaveAndRestore save_switchExclusivelyCovered(switchExclusivelyCovered, false); in VisitSwitchStmt()4410 SwitchAlwaysHasSuccessor |= switchExclusivelyCovered; in VisitSwitchStmt()4441 static bool shouldAddCase(bool &switchExclusivelyCovered, in shouldAddCase() argument4450 if (!switchExclusivelyCovered) { in shouldAddCase()4458 switchExclusivelyCovered = true; in shouldAddCase()4466 switchExclusivelyCovered = true; in shouldAddCase()4496 shouldAddCase(switchExclusivelyCovered, switchCond, in VisitCaseStmt()4523 shouldAddCase(switchExclusivelyCovered, switchCond, in VisitCaseStmt()