| commit | 52a700e7ae895ea687e418ffb20bf91e623954b6 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Fri, 15 Aug 2008 20:56:48 +0000 (15 23:56 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Fri, 15 Aug 2008 20:56:48 +0000 (15 23:56 +0300) | ||
| tree | 1e0724c7b9e3c836cec25748b5069c673cf45a23 | treesnapshot (tar.gz zip) |
| parent | d54357c01f404ce48330209aa05e54535875949c | commitdiff |
Identify for(;;) type loops as forever loops. This nullifies the path if
BUG_ON() is called.
Signed-off-by: Dan Carpenter <error27@gmail.com>
BUG_ON() is called.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_flow.c | diffblobblamehistory |