comparison: inherited comparisons were reversed
commit13e55f2d053ee697a2a96e6f40c9b670c7e4fe21
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 27 Jun 2013 08:01:13 +0000 (27 11:01 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 27 Jun 2013 08:01:13 +0000 (27 11:01 +0300)
tree6185fab101043ad59768a2ff6ca31138afeaeb31
parent7d2205adafaa2185792f46b1e9b966fadb7f1b43
comparison: inherited comparisons were reversed

If you have code like:

if (b >= c)
return;
a = c;

then a > b but it was saying a < b.

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