Oddly, I don't see an issue with qib, which masks the opcode.

Would:
opcode = (be32_to_cpu(ohdr->bth[0]) >> 24) & 0x7f;

also correct the issue without adding the if test.   At this point the hardware 
has already validated the opcode, so there is no value in the fail handling.

What args are you using with smatch?

Mike

> My static checker complains that this could corrupt memory.  It seems valid to
> add a range check here.
> 
--
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

Reply via email to