| commit | 86abfe456b8f1965b254b0deebdcd040906dd374 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Fri, 15 Jan 2010 10:10:31 +0000 (15 13:10 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Fri, 15 Jan 2010 10:10:31 +0000 (15 13:10 +0300) | ||
| tree | be4cbce115a123fd15c000239d480bc564a78526 | treesnapshot (tar.gz zip) |
| parent | cbb48d5e6e05464f65f869796ac1348be4e4add8 | commitdiff |
check_signed: fix and turn on by default
* Use get_value() instead of get_implied_value()
The implied value can change so it is ok to check those.
* Check conditions where unsigned is less than 0
* Don't say "always false" when it could be "always true."
Originally check_signed was terribly buggy so you had to pass --spammy
to use it, but now it's basically OK.
Signed-off-by: Dan Carpenter <error27@gmail.com>
* Use get_value() instead of get_implied_value()
The implied value can change so it is ok to check those.
* Check conditions where unsigned is less than 0
* Don't say "always false" when it could be "always true."
Originally check_signed was terribly buggy so you had to pass --spammy
to use it, but now it's basically OK.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| check_signed.c | diffblobblamehistory | |
| validation/sm_casts.c | diffblobblamehistory |