comparison: handle divide "a = b / 2"
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 27 Jun 2013 08:07:25 +0000 (11:07 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 27 Jun 2013 08:07:25 +0000 (11:07 +0300)
commitee4cbd5ded1e2ebb4d987d5e76639672af9a0e64
treea62d0da4d6c48b469350fcb305ddb838e33f76af
parent61792987c9e43a859a1cf191f7967b2efa9968e1
comparison: handle divide "a = b / 2"

If you have code like:

a = b / sizeof(int);

Then "a < b".

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