| commit | 65dad1ea3aa80751842300d5c31b174912a61fa7 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 15 Mar 2019 07:23:48 +0000 (15 10:23 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 15 Mar 2019 07:23:48 +0000 (15 10:23 +0300) | ||
| tree | 96dedcac1247eed5b30448d4d43f2bd7a8b87dcd | treesnapshot (tar.gz zip) |
| parent | f87692452581cf3dd4554907345436c5e4dfa08e | commitdiff |
extra: don't store HARD_MAX for known parameters
If a parameter is a known value then HARD_MAX is already implied. There
is no need to record that.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
If a parameter is a known value then HARD_MAX is already implied. There
is no need to record that.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_extra.c | diffblobblamehistory |