comparison: if "a < b" and "b < c" then "a < c"
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 27 Jun 2013 22:18:56 +0000 (01:18 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 27 Jun 2013 22:18:56 +0000 (01:18 +0300)
commita059bac45e771f8125be731aa8da407bf54f221f
treedce9d1ffb93171cc1541ebb51bc057c00f8df8f4
parenta3615486de618c83b56a6505fbb508e9f7924810
comparison: if "a < b" and "b < c" then "a < c"

Comparisons can be inherited.  It's probably more common that we say if
"a == b" and "a < c" that means "b < c".

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