Searched refs:TmpStore (Results 1 – 1 of 1) sorted by relevance
158 ExplodedNodeSet TmpStore; in evalOSAtomicCompareAndSwap() local167 Engine.evalStore(TmpStore, NULL, theValueExpr, N, in evalOSAtomicCompareAndSwap()170 if (TmpStore.empty()) { in evalOSAtomicCompareAndSwap()180 for (ExplodedNodeSet::iterator I2 = TmpStore.begin(), in evalOSAtomicCompareAndSwap()181 E2 = TmpStore.end(); I2 != E2; ++I2) { in evalOSAtomicCompareAndSwap()