Searched defs:stateNew (Results 1 – 2 of 2) sorted by relevance
183 const GRState *stateNew = predNew->getState(); in evalOSAtomicCompareAndSwap() local
1134 if (const GRState* stateNew = state->assume(Res, true)) { in processSwitch() local1147 if (const GRState *stateNew = DefaultSt->assume(Res, false)) { in processSwitch() local