| commit | 89952180699210ef39529920eacd6dfbc7967dce | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 28 Aug 2017 15:09:18 +0000 (28 18:09 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 28 Aug 2017 15:09:18 +0000 (28 18:09 +0300) | ||
| tree | c415c65296949eb5ecc9bf08c89c4116b453748f | treesnapshot (tar.gz zip) |
| parent | d8b4f12e158677c4784e16c6d817706a366b6601 | commitdiff |
extra: be more ambitious handling -= assignments
For some reason, and I believe it was just out of a general sense of
caution, I made smatch_extra treat "foo -= bar;" only handle situations
where "foo > bar". But one of the validation/sm_math1.c has exactly that
code and it complains if you just say you don't know.
I haven't tested this code very much, so I'll not push it today. ;)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
For some reason, and I believe it was just out of a general sense of
caution, I made smatch_extra treat "foo -= bar;" only handle situations
where "foo > bar". But one of the validation/sm_math1.c has exactly that
code and it complains if you just say you don't know.
I haven't tested this code very much, so I'll not push it today. ;)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_extra.c | diffblobblamehistory |