extra: handle comparisons where the function only returns one value
commita5eb434b2ad0403569d4265fde4a2387ef2f7353
authorDan Carpenter <dan.carpenter@oracle.com>
Wed, 22 May 2013 10:57:26 +0000 (22 13:57 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Wed, 22 May 2013 10:57:26 +0000 (22 13:57 +0300)
treea82c9aaacbcd81d8643769d796e175ffe2070546
parent714b0aac5256c1a40bd129beb4e84b795bd71415
extra: handle comparisons where the function only returns one value

A common use might be:

if (x > max_size())
return -EINVAL;

Really, I'm not sure about how functions are handled in smatch_extra.  It
needs more thought.  I have added a note to that effect.

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