get_user_overflow: verify that that it's a compare condition
commit2f49638713ea629eb555f848fd6cb854a4a35d23
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 26 Oct 2017 08:57:39 +0000 (26 11:57 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 26 Oct 2017 08:57:39 +0000 (26 11:57 +0300)
tree7a30da5506df3c2303ae670c991c80c18d98c234
parent7f0514f2ca88b1ecab32901c4158a5de3db6bf1f
get_user_overflow: verify that that it's a compare condition

This doesn't seem to crash on valid code, but I guess the expr->op isn't
setup as expected on invalid code.  Anyway, it's a bug in smatch.

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