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

From: Dan Carpenter <[email-masked]>
Date: Thu, 6 Dec 2018 12:34:20 +0300

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