repo.or.cz / smatch.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: d6b4ff0) | patch
math: improve how known logical operations are handled
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 11 Oct 2012 12:17:41 +0000 (15:17 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 11 Oct 2012 12:17:41 +0000 (15:17 +0300)
commitdf7c91199197e9a1b9a62cf5e1d516208512d248
tree363bacec2347cc30f5896f723b40ab9f17713ae9tree | snapshot (tar.gz zip)
parentd6b4ff02202b5af6dc4ce4d315a080cc2e8c24abcommit | diff
math: improve how known logical operations are handled

If we the logical operation is known to be true or false then use 1 or 0.
Perhaps this is a config option or something like that.

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