| commit | bb9559db9abf7852bb89eef2e2c496ed8bc585e4 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 20 Dec 2013 09:43:11 +0000 (20 12:43 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 20 Dec 2013 09:43:11 +0000 (20 12:43 +0300) | ||
| tree | aeaca968d14b313ffcfc94e10caa48be8fdefb97 | treesnapshot (tar.gz zip) |
| parent | 1e2ecd6329c1a83dad469165482e1070b9eff2a3 | commitdiff |
extra: assume indexes are in bounds
Sometimes, we know the size of the array but we don't know the value of the
index. After this patch we assume that the index is valid. We only
assume this after we have had a chance to warn about the overflow, so it
shouldn't hide any bugs. If the index is used more than once though, the
second use doesn't generate a warning.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Sometimes, we know the size of the array but we don't know the value of the
index. After this patch we assume that the index is valid. We only
assume this after we have had a chance to warn about the overflow, so it
shouldn't hide any bugs. If the index is used more than once though, the
second use doesn't generate a warning.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_extra.c | diffblobblamehistory |