comparison: stop caring so much about wrapping (it's rare)
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 27 Jun 2013 08:03:25 +0000 (11:03 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 27 Jun 2013 08:03:25 +0000 (11:03 +0300)
commit61792987c9e43a859a1cf191f7967b2efa9968e1
tree5b91ed5e06325f81199c8b35ccba5229fcf0cc72
parent13e55f2d053ee697a2a96e6f40c9b670c7e4fe21
comparison: stop caring so much about wrapping (it's rare)

If we have code like:

a = b + 1;

Then it's possible that "b + 1" might wrap, but it's more likely that it
won't so lets say that "a > b".

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_comparison.c
validation/sm_compare8.c [new file with mode: 0644]