summaryrefslogtreecommitdiff
path: root/scripts/coccinelle/tests/unsigned_lesser_than_zero.cocci
AgeCommit message (Collapse)Author
2016-01-12coccinelle: tests: unsigned value cannot be lesser than zeroAndrzej Hajda
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 <a.hajda@samsung.com> Acked-by: Julia Lawall <julia.lawall@lip6.fr> Signed-off-by: Michal Marek <mmarek@suse.com>