repo.or.cz / smatch.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: 8f20339) | patch
math: overflow implies that there is no fuzzy max
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 26 Nov 2012 08:19:23 +0000 (11:19 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 26 Nov 2012 08:19:23 +0000 (11:19 +0300)
commitb370c7ba5bdeb6da2af850eeb327762284c64d4c
tree3f83eb83eb2043d15b47efc20704d4d73b0bb7bctree | snapshot (tar.gz zip)
parent8f20339fb4c586cc4c55f984d01babee071bfddccommit | diff
math: overflow implies that there is no fuzzy max

If you do a binop that overflows, by definition that means that there isn't
a fuzzy max for it.

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