repo.or.cz / smatch.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: be2a1f3) | patch
math: handle MOD operation better
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 7 Feb 2013 06:52:12 +0000 (09:52 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 7 Feb 2013 06:52:12 +0000 (09:52 +0300)
commit72a9d77a410d1bd5870258ba5b6a736d5f88c6a1
treeb75064eeff8d5946831f0294514a2ba7a9de8980tree | snapshot (tar.gz zip)
parentbe2a1f3025bbf8ff33f2504dba900583e3d07626commit | diff
math: handle MOD operation better

For implied_min and implied_max we should pretty much only look at the
right side.  We could look at the left, but it's a bit of code to do that
properly.

If we want only one value then we need to look at the left side.

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