On 28/10/2013 18:32, Hefty, Sean wrote:
Visually inspecting the code for both of these, I don't see anything wrong. In
both cases the listen mutex is acquired near the top of the function and
released at the end. I don't see how you exit either function with the mutex
locked.
In the top case, line 1271 is a return statement that occurs before we've
acquired the mutex. Line 1274 is an abort case where we acquire the mutex,
check a state, release the mutex, and return.
Dan, do you agree this is false-positive? anything we can do to teach
smatch not to shout on that?
--
To unsubscribe from this list: send the line "unsubscribe linux-rdma" in
the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
