| commit | ecb753588e1d73e0d19a40f19b8ed3406f242c66 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Thu, 4 Mar 2010 08:33:51 +0000 (4 11:33 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Thu, 4 Mar 2010 08:33:51 +0000 (4 11:33 +0300) | ||
| tree | 249fe5bbf5f6a5ac7d42d1e5add5fa094b9b9c84 | treesnapshot (tar.gz zip) |
| parent | 72514f53cec1b1097f3ad88600fb87dd3c40ce6a | commitdiff |
smatch_flow: handling pre loops
We need to handle the canonical loops before we parse the pre condition.
Otherwise we have already done the decrement in "while (i--) {..." and
it is impossible to say whether i was known or just had a known upper
limit at the start.
Signed-off-by: Dan Carpenter <error27@gmail.com>
We need to handle the canonical loops before we parse the pre condition.
Otherwise we have already done the decrement in "while (i--) {..." and
it is impossible to say whether i was known or just had a known upper
limit at the start.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_extra.c | diffblobblamehistory | |
| smatch_extra.h | diffblobblamehistory | |
| smatch_flow.c | diffblobblamehistory |