[PATCH 13/38] ARM: shmobile: apmu: correct type of CPU id
Simon Horman
horms at verge.net.au
Thu Oct 1 18:57:13 PDT 2015
On Mon, Sep 21, 2015 at 03:33:45PM +0200, Andrzej Hajda wrote:
> CPU id can be negative, so it cannot be assigned to unsigned variable.
>
> The problem has been detected using proposed semantic patch
> scripts/coccinelle/tests/unsigned_lesser_than_zero.cocci [1].
>
> [1]: http://permalink.gmane.org/gmane.linux.kernel/2038576
>
> Signed-off-by: Andrzej Hajda <a.hajda at samsung.com>
Thanks, I have queued this up as a cleanup for v4.4.
More information about the linux-arm-kernel
mailing list