| commit | d6e0b8241bffae4e38519f68702cd728659aa96e | |
| author | Dan Carpenter <error27@gmail.com> | |
| Sun, 12 Apr 2009 19:24:47 +0000 (12 22:24 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Sun, 12 Apr 2009 19:24:47 +0000 (12 22:24 +0300) | ||
| tree | 17e5f4c6c618f28cc219847f4bb4b5cfbf04043c | treesnapshot (tar.gz zip) |
| parent | 0663b12faf46e5f42570ab5bf26b7f18a4e95326 | commitdiff |
Handle once through loops differently
With loops where we know that we're at least passing through one time,
we know that we'll hit the condition again. The nullify_path just
gets rid of all the true paths.
Signed-off-by: Dan Carpenter <error27@gmail.com>
With loops where we know that we're at least passing through one time,
we know that we'll hit the condition again. The nullify_path just
gets rid of all the true paths.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_flow.c | diffblobblamehistory |