Searched refs:switchExclusivelyCovered (Results 1 – 1 of 1) sorted by relevance
523 bool switchExclusivelyCovered = false; member in __anon76ebc3340411::CFGBuilder4375 SaveAndRestore save_switchExclusivelyCovered(switchExclusivelyCovered, false); in VisitSwitchStmt()4401 SwitchAlwaysHasSuccessor |= switchExclusivelyCovered; in VisitSwitchStmt()4432 static bool shouldAddCase(bool &switchExclusivelyCovered, in shouldAddCase() argument4441 if (!switchExclusivelyCovered) { in shouldAddCase()4449 switchExclusivelyCovered = true; in shouldAddCase()4457 switchExclusivelyCovered = true; in shouldAddCase()4487 shouldAddCase(switchExclusivelyCovered, switchCond, in VisitCaseStmt()4514 shouldAddCase(switchExclusivelyCovered, switchCond, in VisitCaseStmt()