Re: [PATCH] powerpc/ipic: Fix a bounds check in ipic_set_priority()

[Dan Carpenter]

On Wed, Dec 05, 2018 at 02:26:47PM +1100, Michael Ellerman wrote:
> Can smatch help us find things like this that are defined non-static but
> never used?
> 

It's too tricky because it depends on the .config as well.

regards,
dan carpenter