coccinelle: tests: unsigned value cannot be lesser than zero

2016-01-12T16:47:47Z

Unsigned expressions cannot be lesser than zero. Presence of comparisons 'unsigned (<|<=|>|>=) 0' often indicates a bug, usually wrong type of variable. The patch beside finding such comparisons tries to eliminate false positives, mainly by bypassing range checks. gcc can detect such comparisons also using -Wtype-limits switch, but it warns also in correct cases, making too much noise. Signed-off-by: Andrzej Hajda Acked-by: Julia Lawall Signed-off-by: Michal Marek

kernel/scripts/coccinelle/tests/unsigned_lesser_than_zero.cocci, branch linux-5.1.y

coccinelle: tests: unsigned value cannot be lesser than zero