| commit | 7a66bb4dc65bc0ccb11c43305557d921e6643f87 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Mon, 23 Nov 2009 15:51:01 +0000 (23 17:51 +0200) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Mon, 23 Nov 2009 15:51:01 +0000 (23 17:51 +0200) | ||
| tree | 53938e299d6f247dcb836cf797071415592e5862 | treesnapshot (tar.gz zip) |
| parent | d63e8e1f9ead7c6a4ae292e93b9998e0cd30737b | commitdiff |
Improve handling: do {} while (--continue >= 0)
In the old version of the code we just used to say that "--continue"
was not a variable so we couldn't learn anything from that
condition. In the new version we can say that after the loop
continue is any number lower than zero.
Signed-off-by: Dan Carpenter <error27@gmail.com>
In the old version of the code we just used to say that "--continue"
was not a variable so we couldn't learn anything from that
condition. In the new version we can say that after the loop
continue is any number lower than zero.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_conditions.c | diffblobblamehistory | |
| smatch_extra.c | diffblobblamehistory |