extra: save return values in terms of parameter math
commitbaabcfc88c653a4e98169c44ae196e1ae02300ef
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 22 Sep 2014 11:08:05 +0000 (22 14:08 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 22 Sep 2014 11:15:37 +0000 (22 14:15 +0300)
treec4769643af6dccdeb95c360dec8500cd857f040e
parent9e70c0e832e1f6f96f1e4bb0a5a2beb3ac626da8
extra: save return values in terms of parameter math

If we have a function like this:
int func(int x, int y)
{
return x + y;
}

Then before we didn't have a way to express the return value, we just said
it was unknown.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch.h
smatch_db.c
smatch_parse_call_math.c
smatch_ranges.c