Searched refs:theValueVal_untested (Results 1 – 1 of 1) sorted by relevance
134 SVal theValueVal_untested = stateLoad->getSVal(theValueExpr, true); in evalOSAtomicCompareAndSwap() local139 if (theValueVal_untested.isUndef() || oldValueVal_untested.isUndef()) { in evalOSAtomicCompareAndSwap()144 cast<DefinedOrUnknownSVal>(theValueVal_untested); in evalOSAtomicCompareAndSwap()