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 majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to