extra, math: rework how fuzzy max is handled
commit42560b4015f570643fdc0a27ab1a5f422750a88d
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 29 Nov 2013 11:31:46 +0000 (29 14:31 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 29 Nov 2013 11:31:46 +0000 (29 14:31 +0300)
tree67e02d6a437d26f422b21bd23e8200405d45e65e
parent5fa857a1bdabf81e4a15fab59a917b7ba0a98e13
extra, math: rework how fuzzy max is handled

Fuzzy max wasn't really used any more, but now it's sort of useful again.

I have hidden it behind the --spammy option for now because I want to work
on how buffer sizes are determined.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch.h
smatch_data/db/smdb.py
smatch_estate.c
smatch_extra.c
smatch_extra.h
smatch_math.c
smatch_type_val.c
validation/sm_array_overflow.c