Searched refs:switchExclusivelyCovered (Results 1 – 1 of 1) sorted by relevance
536 bool switchExclusivelyCovered = false; member in __anonef2f84bd0411::CFGBuilder4381 SaveAndRestore save_switchExclusivelyCovered(switchExclusivelyCovered, false); in VisitSwitchStmt()4407 SwitchAlwaysHasSuccessor |= switchExclusivelyCovered; in VisitSwitchStmt()4438 static bool shouldAddCase(bool &switchExclusivelyCovered, in shouldAddCase() argument4447 if (!switchExclusivelyCovered) { in shouldAddCase()4455 switchExclusivelyCovered = true; in shouldAddCase()4463 switchExclusivelyCovered = true; in shouldAddCase()4493 shouldAddCase(switchExclusivelyCovered, switchCond, in VisitCaseStmt()4520 shouldAddCase(switchExclusivelyCovered, switchCond, in VisitCaseStmt()