Searched refs:lockSucc (Results 1 – 1 of 1) sorted by relevance
117 ProgramStateRef lockSucc = state; in AcquireLock() local123 llvm::tie(lockFail, lockSucc) = state->assume(retVal); in AcquireLock()126 llvm::tie(lockSucc, lockFail) = state->assume(retVal); in AcquireLock()131 assert(lockFail && lockSucc); in AcquireLock()136 lockSucc = state->assume(retVal, false); in AcquireLock()137 assert(lockSucc); in AcquireLock()142 lockSucc = state; in AcquireLock()146 lockSucc = lockSucc->add<LockSet>(lockR); in AcquireLock()147 C.addTransition(lockSucc); in AcquireLock()