Searched refs:switchExclusivelyCovered (Results 1 – 1 of 1) sorted by relevance
558 bool switchExclusivelyCovered = false; member in __anonef2f84bd0411::CFGBuilder4493 SaveAndRestore save_switchExclusivelyCovered(switchExclusivelyCovered, false); in VisitSwitchStmt()4519 SwitchAlwaysHasSuccessor |= switchExclusivelyCovered; in VisitSwitchStmt()4550 static bool shouldAddCase(bool &switchExclusivelyCovered, in shouldAddCase() argument4559 if (!switchExclusivelyCovered) { in shouldAddCase()4567 switchExclusivelyCovered = true; in shouldAddCase()4575 switchExclusivelyCovered = true; in shouldAddCase()4605 shouldAddCase(switchExclusivelyCovered, switchCond, in VisitCaseStmt()4632 shouldAddCase(switchExclusivelyCovered, switchCond, in VisitCaseStmt()