extra: tweak handling of absolute min/max in comparisons
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 26 Nov 2012 08:25:37 +0000 (11:25 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 26 Nov 2012 08:25:37 +0000 (11:25 +0300)
commit4038e45c3ac2a531fc3ae20c46d97778527db4c9
tree615be0b207fcd57340afc5a3daae197e227ffe05
parent72f8d48e91a2c28a2ebf1e0196032d988c1673f9
extra: tweak handling of absolute min/max in comparisons

The checks for "if (!sval_is_min(rl_min(right_orig)))" don't make any
sense.  I don't know why they were there in the first place.

There are some other similar checks which do make sense because we add one
or subtract one and we can't add one to max.  I have left those.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_extra.c