Home
last modified time | relevance | path

Searched refs:stateLoad (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DOSAtomicChecker.cpp129 const GRState *stateLoad = N->getState(); in evalOSAtomicCompareAndSwap() local
134 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()