forge/linux-uconsole
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions
linux-uconsole/scripts/coccinelle/tests
History
Andrzej Hajda b6927d861c UPSTREAM: coccinelle: tests: unsigned value cannot be lesser than zero 
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.

Change-Id: I9fbf55a16d9ae508ca46cba2f8292d5e4b4cc697
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>
Signed-off-by: Huang, Tao <huangtao@rock-chips.com>
(cherry picked from commit 3f984cb399)
2017-07-12 21:17:10 +08:00
..
doublebitand.cocci Coccinelle: Update the options used to the new option scheme 2013-07-03 22:58:13 +02:00
doubletest.cocci Coccinelle: Update the options used to the new option scheme 2013-07-03 22:58:13 +02:00
odd_ptr_err.cocci coccinelle: tests: improve odd_ptr_err.cocci 2015-10-26 20:54:28 +01:00
unsigned_lesser_than_zero.cocci UPSTREAM: coccinelle: tests: unsigned value cannot be lesser than zero 2017-07-12 21:17:10 +08:00