Searched refs:switchExclusivelyCovered (Results 1 – 1 of 1) sorted by relevance
497 bool switchExclusivelyCovered = false; member in __anon15de256c0411::CFGBuilder3865 SaveAndRestore<bool> save_switchExclusivelyCovered(switchExclusivelyCovered, in VisitSwitchStmt()3893 SwitchAlwaysHasSuccessor |= switchExclusivelyCovered; in VisitSwitchStmt()3924 static bool shouldAddCase(bool &switchExclusivelyCovered, in shouldAddCase() argument3933 if (!switchExclusivelyCovered) { in shouldAddCase()3941 switchExclusivelyCovered = true; in shouldAddCase()3949 switchExclusivelyCovered = true; in shouldAddCase()3979 shouldAddCase(switchExclusivelyCovered, switchCond, in VisitCaseStmt()4006 shouldAddCase(switchExclusivelyCovered, switchCond, in VisitCaseStmt()