Searched refs:stateLoad (Results 1 – 1 of 1) sorted by relevance
129 const GRState *stateLoad = N->getState(); in evalOSAtomicCompareAndSwap() local134 SVal theValueVal_untested = stateLoad->getSVal(theValueExpr, true); in evalOSAtomicCompareAndSwap()136 SVal oldValueVal_untested = stateLoad->getSVal(oldValueExpr); in evalOSAtomicCompareAndSwap()151 DefinedOrUnknownSVal Cmp = svalBuilder.evalEQ(stateLoad,theValueVal,oldValueVal); in evalOSAtomicCompareAndSwap()153 const GRState *stateEqual = stateLoad->assume(Cmp, true); in evalOSAtomicCompareAndSwap()194 if (const GRState *stateNotEqual = stateLoad->assume(Cmp, false)) { in evalOSAtomicCompareAndSwap()