Searched refs:lockFail (Results 1 – 1 of 1) sorted by relevance
133 const GRState *lockFail; in AcquireLock() local136 llvm::tie(lockFail, lockSucc) = state->assume(retVal); in AcquireLock()139 llvm::tie(lockSucc, lockFail) = state->assume(retVal); in AcquireLock()145 assert(lockFail && lockSucc); in AcquireLock()146 C.addTransition(lockFail); in AcquireLock()