Searched refs:switchExclusivelyCovered (Results 1 – 1 of 1) sorted by relevance
518 bool switchExclusivelyCovered = false; member in __anon654da8e80411::CFGBuilder4096 SaveAndRestore<bool> save_switchExclusivelyCovered(switchExclusivelyCovered, in VisitSwitchStmt()4124 SwitchAlwaysHasSuccessor |= switchExclusivelyCovered; in VisitSwitchStmt()4155 static bool shouldAddCase(bool &switchExclusivelyCovered, in shouldAddCase() argument4164 if (!switchExclusivelyCovered) { in shouldAddCase()4172 switchExclusivelyCovered = true; in shouldAddCase()4180 switchExclusivelyCovered = true; in shouldAddCase()4210 shouldAddCase(switchExclusivelyCovered, switchCond, in VisitCaseStmt()4237 shouldAddCase(switchExclusivelyCovered, switchCond, in VisitCaseStmt()