| commit | bb7951ebe8d9430cec09f26caa185940b70e577e | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 8 Dec 2011 07:17:36 +0000 (8 10:17 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 8 Dec 2011 07:17:36 +0000 (8 10:17 +0300) | ||
| tree | b200c51540143177bf4b4caf7f4f399bf336a94f | treesnapshot (tar.gz zip) |
| parent | 4de69d64eee513630a03714a8ef33a6c67cf7ac7 | commitdiff |
debug: add __smatch_implied_min/max()
You can put this into the code you are compiling to see what Smatch thinks
is the implied min and max values for a variable or equation.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
You can put this into the code you are compiling to see what Smatch thinks
is the implied min and max values for a variable or equation.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| check_debug.c | diffblobblamehistory | |
| check_debug.h | diffblobblamehistory |