| commit | 52eedb529d68c560e6f0af94d72c49167731ec6d | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 8 Feb 2019 08:03:10 +0000 (8 11:03 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 8 Feb 2019 08:03:10 +0000 (8 11:03 +0300) | ||
| tree | 3091461e4b942984e3238e5d52ef15b8161b668e | treesnapshot (tar.gz zip) |
| parent | bad49e44a857ad3f58cf927a91ac626e015ffcba | commitdiff |
validation: update a few tests
This was mostly just fall out from making pointers unsigned. But I also
updated smatch_implied10.c to reflect the new behavior.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This was mostly just fall out from making pointers unsigned. But I also
updated smatch_implied10.c to reflect the new behavior.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| validation/sm_equiv1.c | diffblobblamehistory | |
| validation/sm_implied10.c | diffblobblamehistory | |
| validation/sm_implied11.c | diffblobblamehistory | |
| validation/sm_implied12.c | diffblobblamehistory |