On Mon, 21 Sep 2015 15:34:05 +0200 Andrzej Hajda <[email protected]> wrote:
> Unsigned value cannot be lesser than zero. > > 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 > > ... > > --- a/mm/memblock.c > +++ b/mm/memblock.c > @@ -837,7 +837,7 @@ void __init_memblock __next_reserved_mem_region(u64 *idx, > { > struct memblock_type *type = &memblock.reserved; > > - if (*idx >= 0 && *idx < type->cnt) { > + if (*idx < type->cnt) { Linus has in the past expressed a preference for retaining checks such as this. iirc he finds it clearer. And perhaps safer if the type should change in the future. -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
