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