repo.or.cz / smatch.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: b370c7b) | patch
math: ignore fuzzy maxes that are type_min() + 1
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 26 Nov 2012 08:22:11 +0000 (11:22 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 26 Nov 2012 08:22:11 +0000 (11:22 +0300)
commit72f8d48e91a2c28a2ebf1e0196032d988c1673f9
tree6690a40be678567b383a16a822153632af16a053tree | snapshot (tar.gz zip)
parentb370c7ba5bdeb6da2af850eeb327762284c64d4ccommit | diff
math: ignore fuzzy maxes that are type_min() + 1

If you have a loop where:
if (x > var) { ...

If "var" is unknown then we know that on the true side x is at least 1
higher than the absolute minimum.  But it doesn't mean we should count
that as a fuzzy max.

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