Searched refs:DefaultSt (Results 1 – 1 of 1) sorted by relevance
1089 const GRState *DefaultSt = state; in processSwitch() local1130 DefinedOrUnknownSVal Res = svalBuilder.evalEQ(DefaultSt ? DefaultSt : state, in processSwitch()1146 if (DefaultSt) { in processSwitch()1147 if (const GRState *stateNew = DefaultSt->assume(Res, false)) { in processSwitch()1149 DefaultSt = stateNew; in processSwitch()1153 DefaultSt = NULL; in processSwitch()1184 builder.generateDefaultCaseNode(DefaultSt); in processSwitch()