On Thu, 2015-11-26 at 15:37 +0300, Dan Carpenter wrote: > > Ah. Thanks for looking at this. Eventually Smatch will be smart > enoughto figure this implication out but not yet. No need to change > the code because the static checker isn't capable enough... > Actually I just had an idea - we should put those two *checks* into an inline anyway since they're actually really unlikely and we might not want to take the function call every time... So I thought that smatch would then be able to see through it, since it's now an inline, but it doesn't seem like it can? https://p.sipsolutions.net/a162ca550f675800.txt johannes -- To unsubscribe from this list: send the line "unsubscribe linux-wireless" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
