Searched refs:stateNotEqual (Results 1 – 1 of 1) sorted by relevance
200 if (ProgramStateRef stateNotEqual = stateLoad->assume(Cmp, false)) { in evalOSAtomicCompareAndSwap() local207 B.generateNode(CE, N, stateNotEqual->BindExpr(CE, LCtx, Res), this); in evalOSAtomicCompareAndSwap()