Searched refs:DefaultSt (Results 1 – 1 of 1) sorted by relevance
1793 ProgramStateRef DefaultSt = state; in processSwitch() local1818 std::tie(StateCase, DefaultSt) = in processSwitch()1819 DefaultSt->assumeWithinInclusiveRange(*NL, V1, V2); in processSwitch()1821 StateCase = DefaultSt; in processSwitch()1828 if (DefaultSt) in processSwitch()1853 builder.generateDefaultCaseNode(DefaultSt); in processSwitch()