| commit | 041ba8138e372869c676288f9b0378ad34af6f7e | |
| author | Dan Carpenter <error27@gmail.com> | |
| Tue, 5 Jan 2010 21:51:04 +0000 (5 23:51 +0200) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Tue, 5 Jan 2010 21:51:04 +0000 (5 23:51 +0200) | ||
| tree | 43c07239c0e16c8013a0b65bbe831df8a7bc0421 | treesnapshot (tar.gz zip) |
| parent | be0b92ebf81168e1f4187004d6424dc9bb944d22 | commitdiff |
check_overflow: separate the two types of states
It turns out that there were two kinds of states we were tracking. The
size of the array and the array offset max.
I don't think this would have caused any bugs because the array is not
going to be used as an offset. But anyway, it's easier to understand
this way.
Signed-off-by: Dan Carpenter <error27@gmail.com>
It turns out that there were two kinds of states we were tracking. The
size of the array and the array offset max.
I don't think this would have caused any bugs because the array is not
going to be used as an offset. But anyway, it's easier to understand
this way.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| check_overflow.c | diffblobblamehistory | |
| smatch.c | diffblobblamehistory |