| commit | 618e15bd7c09d269763230ff00aae43ccb6c337d | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 19 Nov 2015 05:59:01 +0000 (19 08:59 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 19 Nov 2015 05:59:01 +0000 (19 08:59 +0300) | ||
| tree | 46afe2e8195fdc301bb3542c0bb7a644eee66eee | treesnapshot (tar.gz zip) |
| parent | e8fc9b7e20e71092d70e9883b79e8605f6b62fd3 | commitdiff |
validation: update some tests
These were clear bug fixes in Smatch. There are still too many validation
tests which fail. Some of them are because I'm not sure which behavior is
preferred... Should we assume additions of non-negative numbers overflow
or should we assume that most additions are safe?
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
These were clear bug fixes in Smatch. There are still too many validation
tests which fail. Some of them are because I'm not sure which behavior is
preferred... Should we assume additions of non-negative numbers overflow
or should we assume that most additions are safe?
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| validation/sm_buf_size5.c | diffblobblamehistory | |
| validation/sm_casts5.c | diffblobblamehistory | |
| validation/sm_casts7.c | diffblobblamehistory |