Searched refs:TmpStore (Results 1 – 1 of 1) sorted by relevance
166 ExplodedNodeSet TmpStore; in evalOSAtomicCompareAndSwap() local175 Eng.evalStore(TmpStore, CE, theValueExpr, N, in evalOSAtomicCompareAndSwap()178 if (TmpStore.empty()) { in evalOSAtomicCompareAndSwap()184 StmtNodeBuilder B(TmpStore, Dst, Eng.getBuilderContext()); in evalOSAtomicCompareAndSwap()186 for (ExplodedNodeSet::iterator I2 = TmpStore.begin(), in evalOSAtomicCompareAndSwap()187 E2 = TmpStore.end(); I2 != E2; ++I2) { in evalOSAtomicCompareAndSwap()