Searched refs:DefinedRetVal (Results 1 – 1 of 1) sorted by relevance
427 if (auto DefinedRetVal = RetVal.getAs<DefinedSVal>()) { in AcquireLockAux() local431 std::tie(lockFail, lockSucc) = state->assume(*DefinedRetVal); in AcquireLockAux()434 std::tie(lockSucc, lockFail) = state->assume(*DefinedRetVal); in AcquireLockAux()447 if (auto DefinedRetVal = RetVal.getAs<DefinedSVal>()) { in AcquireLockAux() local450 lockSucc = state->assume(*DefinedRetVal, false); in AcquireLockAux()