smatch_extra. save other comparisons besides just 0 and non-zero.
commit9601567990d7d2900d756f6f98a87679b3ae340a
authorDan Carpenter <error27@gmail.com>
Wed, 8 Apr 2009 19:53:33 +0000 (8 22:53 +0300)
committerDan Carpenter <error27@gmail.com>
Wed, 8 Apr 2009 19:53:33 +0000 (8 22:53 +0300)
tree908f6a5d5e04d9e8945a76c9a488663a3f58e371
parent161a33ba8a9544fe721ab61d507291b2e7aba24f
smatch_extra.  save other comparisons besides just 0 and non-zero.

Probably the most common case that this will help for is code that says:
if (foo == 1) { ...

Signed-off-by: Dan Carpenter <error27@gmail.com>
smatch_extra.c
validation/sm_implied4.c