comparison: fix validation tests and add a new test
commita42f6d5e93db2967a3ab1b776dc0dc79caabe2b3
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 7 Jun 2018 13:44:09 +0000 (7 16:44 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 7 Jun 2018 13:44:09 +0000 (7 16:44 +0300)
treeb648f9e46d93b2fa23a7038def9348f8ddeaa0d7
parentd23368f4b277ab67afe85bebd34054136af12d1b
comparison: fix validation tests and add a new test

The validation tests found a bug in my patch.  I should only be doing the
inc_dec stuff late.  That stuff *needs* to be done late, because we want
it to be done after we set up the links.

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