| commit | e2ec72df16d9f12df9bfaa48b94dbc40ab1a68dd | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 15 Mar 2017 10:01:07 +0000 (15 13:01 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 15 Mar 2017 10:01:29 +0000 (15 13:01 +0300) | ||
| tree | 437be52de6b0910e8dbcba6ec2dcab7560cc0599 | treesnapshot (tar.gz zip) |
| parent | 8311793c20dff8aa0dae7d1cbac3aaf6cb0581f4 | commitdiff |
extra: set hard max if a function is called with a single value
If we pass a literal or a known single value then that should be treated
as a hard max. This affects index overflow checking.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
If we pass a literal or a known single value then that should be treated
as a hard max. This affects index overflow checking.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_extra.c | diffblobblamehistory |