Searched refs:DefaultSt (Results 1 – 1 of 1) sorted by relevance
1747 ProgramStateRef DefaultSt = state; in processSwitch() local1776 DefinedOrUnknownSVal Res = svalBuilder.evalEQ(DefaultSt ? DefaultSt : state, in processSwitch()1792 if (DefaultSt) { in processSwitch()1793 if (ProgramStateRef stateNew = DefaultSt->assume(Res, false)) { in processSwitch()1795 DefaultSt = stateNew; in processSwitch()1799 DefaultSt = nullptr; in processSwitch()1830 builder.generateDefaultCaseNode(DefaultSt); in processSwitch()