Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DOSAtomicChecker.cpp134 SVal theValueVal_untested = stateLoad->getSVal(theValueExpr, true); in evalOSAtomicCompareAndSwap() local
139 if (theValueVal_untested.isUndef() || oldValueVal_untested.isUndef()) { in evalOSAtomicCompareAndSwap()
144 cast<DefinedOrUnknownSVal>(theValueVal_untested); in evalOSAtomicCompareAndSwap()