| commit | 47d775759e14a76240f05511bd841c3d65111f68 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Sun, 22 Feb 2009 16:35:35 +0000 (22 19:35 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Sun, 22 Feb 2009 16:35:35 +0000 (22 19:35 +0300) | ||
| tree | 8c4359e53781d3cd73e70148dcec4e6ccba98dba | treesnapshot (tar.gz zip) |
| parent | 2b644c93808a428d9def9c960a95686307e8629b | commitdiff |
Handle the iterators correctly.
Obviously we should handle the i++ after we merge the continues. The old
way also changed all our states to &undefined if the for loop ended in a
goto.
for (i = 0; i < foo; i++) {
if (x)
continue;
goto done;
}
The above loop would set everything to undefined.
Signed-off-by: Dan Carpenter <error27@gmail.com>
Obviously we should handle the i++ after we merge the continues. The old
way also changed all our states to &undefined if the for loop ended in a
goto.
for (i = 0; i < foo; i++) {
if (x)
continue;
goto done;
}
The above loop would set everything to undefined.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_flow.c | diffblobblamehistory |