repo.or.cz / smatch.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: 48c2cc0) | patch
extra: if (unsigned >= unsigned) {: Always true if the right side is zero
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 23 Nov 2012 07:02:14 +0000 (10:02 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 23 Nov 2012 07:02:14 +0000 (10:02 +0300)
commite6261b26856fa15d1dee6a60fa33056d23ef471e
tree0e761122507b655056010c435b786f1e6da028f3tree | snapshot (tar.gz zip)
parent48c2cc03bc3a50de2aaa70ff09cdeef8d03dab2ecommit | diff
extra: if (unsigned >= unsigned) {: Always true if the right side is zero

If you have comparing have a comparison between two unsigned numbers like:

if (a <= b) {...

Then you know that if a is zero then the condition is true.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_extra.c diff | blob | blame | history
Static analysis for C