blob: 23d6e27e79d520beac6908ff70fb442cac9c7716 [file] [log] [blame]
/// Unsigned expressions cannot be lesser than zero. Presence of
/// comparisons 'unsigned (<|<=) 0' often indicates a bug,
/// usually wrong type of variable.
///
// Confidence: High
// Copyright: (C) 2015 Andrzej Hajda, Samsung Electronics Co., Ltd. GPLv2.
// URL: http://coccinelle.lip6.fr/
virtual org
virtual report
@r_cmp depends on !(file in "ext")@
position p;
typedef uint8_t, uint16_t, uint32_t, uint64_t;
{unsigned char, unsigned short, unsigned int, unsigned long, unsigned long long,
size_t, uint8_t, uint16_t, uint32_t, uint64_t} v;
@@
(\( v@p < 0 \| v@p <= 0 \))
@script:python depends on org@
p << r_cmp.p;
@@
msg = "WARNING: Unsigned expression compared with zero."
coccilib.org.print_todo(p[0], msg)
@script:python depends on report@
p << r_cmp.p;
@@
msg = "WARNING: Unsigned expression compared with zero."
coccilib.report.print_report(p[0], msg)