Searched refs:oldValueVal (Results 1 – 1 of 1) sorted by relevance
145 DefinedOrUnknownSVal oldValueVal = in evalOSAtomicCompareAndSwap() local151 DefinedOrUnknownSVal Cmp = svalBuilder.evalEQ(stateLoad,theValueVal,oldValueVal); in evalOSAtomicCompareAndSwap()