| commit | c009031cb6eb6ab6d5a1932b509a088970dac057 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Thu, 21 Aug 2008 14:40:19 +0000 (21 17:40 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Thu, 21 Aug 2008 14:40:19 +0000 (21 17:40 +0300) | ||
| tree | 72010e55349655921ce97b228e4745da0778eeb9 | treesnapshot (tar.gz zip) |
| parent | 3ca9e2bea6bf541c1dfa3c29dc0fcf123e308bf5 | commitdiff |
Handle while and for loops slightly better.
Before we treated: while (a) { ... } like an if (a) {...} else { ....
Now we just say that we know a is false but we don't overwrite the
other states.
Signed-off-by: Dan Carpenter <error27@gmail.com>
Before we treated: while (a) { ... } like an if (a) {...} else { ....
Now we just say that we know a is false but we don't overwrite the
other states.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch.h | diffblobblamehistory | |
| smatch_flow.c | diffblobblamehistory | |
| smatch_states.c | diffblobblamehistory |