diff options
| author | Andrzej Hajda | 2016-01-07 10:36:51 +0100 |
|---|---|---|
| committer | Michal Marek | 2016-01-12 17:47:47 +0100 |
| commit | 3f984cb39907f87515d83657ecd471ae396a6c4a (patch) | |
| tree | 28ae00d701f940cedc277d73295c80220bdb8239 /scripts/tags.sh | |
| parent | tags: Unify emacs and exuberant rules (diff) | |
| download | kernel-qcow2-linux-3f984cb39907f87515d83657ecd471ae396a6c4a.tar.gz kernel-qcow2-linux-3f984cb39907f87515d83657ecd471ae396a6c4a.tar.xz kernel-qcow2-linux-3f984cb39907f87515d83657ecd471ae396a6c4a.zip | |
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.
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>
Diffstat (limited to 'scripts/tags.sh')
0 files changed, 0 insertions, 0 deletions