parent
2dd0bf8db0
commit
a1f9c7fb3b
|
@ -1310,6 +1310,11 @@ static bool EvalOSAtomicCompareAndSwap(ExplodedNodeSet<GRState>& Dst,
|
||||||
const GRState *stateLoad = N->getState();
|
const GRState *stateLoad = N->getState();
|
||||||
SVal theValueVal = stateLoad->getSVal(theValueExpr);
|
SVal theValueVal = stateLoad->getSVal(theValueExpr);
|
||||||
SVal oldValueVal = stateLoad->getSVal(oldValueExpr);
|
SVal oldValueVal = stateLoad->getSVal(oldValueExpr);
|
||||||
|
|
||||||
|
// FIXME: Issue an error.
|
||||||
|
if (theValueVal.isUndef() || oldValueVal.isUndef()) {
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
|
||||||
// Perform the comparison.
|
// Perform the comparison.
|
||||||
SVal Cmp = Engine.EvalBinOp(stateLoad, BinaryOperator::EQ, theValueVal,
|
SVal Cmp = Engine.EvalBinOp(stateLoad, BinaryOperator::EQ, theValueVal,
|
||||||
|
|
Loading…
Reference in New Issue