| commit | 2775cbb4bd14b80e9af4c6503432ba32d9d439c1 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Mon, 13 Apr 2009 18:18:00 +0000 (13 21:18 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Mon, 13 Apr 2009 18:18:00 +0000 (13 21:18 +0300) | ||
| tree | 38d7319c5a81a1074e18816dc3fa2b13c3f01052 | treesnapshot (tar.gz zip) |
| parent | d6e0b8241bffae4e38519f68702cd728659aa96e | commitdiff |
Improve handling of for loops.
If we have a loop like this:
for (i = 0; i < 10 ; i++) { ...
So long as no one changes i inside the loop or breaks, then i will be 10
at the end. Before smatch used to say that it would be between 10 and max.
Signed-off-by: Dan Carpenter <error27@gmail.com>
If we have a loop like this:
for (i = 0; i < 10 ; i++) { ...
So long as no one changes i inside the loop or breaks, then i will be 10
at the end. Before smatch used to say that it would be between 10 and max.
Signed-off-by: Dan Carpenter <error27@gmail.com>