| commit | 659af7adb74b2c85e6641d87dcf883f8c2ae7630 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Wed, 24 Feb 2010 09:26:22 +0000 (24 12:26 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Wed, 24 Feb 2010 09:26:22 +0000 (24 12:26 +0300) | ||
| tree | 5107a4c13ac5a1d59aee5ddfdfd30836b88804f5 | treesnapshot (tar.gz zip) |
| parent | 4fceb5393274a9d134aa70a905ef806e63a6a091 | commitdiff |
for loops: add a special case for "for(i = 0; i < 10; i++)"
This only handles the most basic for loop possible.
In the old code smatch thought that i was 0 inside the loop, because that's
what it was on the first loop through.
Signed-off-by: Dan Carpenter <error27@gmail.com>
This only handles the most basic for loop possible.
In the old code smatch thought that i was 0 inside the loop, because that's
what it was on the first loop through.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_extra.c | diffblobblamehistory | |
| smatch_extra.h | diffblobblamehistory | |
| smatch_flow.c | diffblobblamehistory | |
| validation/sm_loops1.c | [new file with mode: 0644] | blob |