repo.or.cz / smatch.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: 84db6f3) | patch
math: fix a couple type bugs
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 15 Mar 2013 19:34:23 +0000 (22:34 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 15 Mar 2013 19:34:23 +0000 (22:34 +0300)
commitbd25026ed4d4ad427eabbb4be5605e9f2bcad9f0
tree6b1e8c372d3fff1e58a4601c46f3afdf7880622btree | snapshot (tar.gz zip)
parent84db6f38ae87244fa28f31dbc273ad987a5ea590commit | diff
math: fix a couple type bugs

In do_comparison() there were situations where the results where it said
that the condition was always true and always false because the type
was incorrect.

In handle_mod() the min and max should be the same type which is the type
for the whole expression.

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