| commit | f1a24367c3f23081f09d5c379a7e9503225b5ee7 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Sat, 22 Oct 2011 08:28:30 +0000 (22 11:28 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Sat, 22 Oct 2011 08:28:30 +0000 (22 11:28 +0300) | ||
| tree | 86bbd164e2ffe1096f5d36e34ca41ea3ef2bf21a | treesnapshot (tar.gz zip) |
| parent | 8a7ff5ca82828edb4484f6282a9644035e2c0e3a | commitdiff |
*new* smatch_capped: introduce is_capped() function
This is especially useful for when we compare two variables. We
know that the upper limit is capped even if we don't know what the
upper limit is.
It needs to be traced across function boundaries but it isn't yet.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This is especially useful for when we compare two variables. We
know that the upper limit is capped even if we don't know what the
upper limit is.
It needs to be traced across function boundaries but it isn't yet.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| Makefile | diffblobblamehistory | |
| check_list.h | diffblobblamehistory | |
| smatch.h | diffblobblamehistory | |
| smatch_capped.c | [new file with mode: 0644] | blob |