flow: merge continues before the iterator_post_statement of a forever loop
commit9c856f856f86ef9db847da228e16cd31a2c366d7
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 25 Apr 2014 15:15:42 +0000 (25 18:15 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 25 Apr 2014 15:15:42 +0000 (25 18:15 +0300)
treedc30522ad88e40dbcdaa6eb714bc2d8e5b46e564
parenta518e9abe63795317030ca5361de50fb8838cc22
flow: merge continues before the iterator_post_statement of a forever loop

The code in question looks like this:

for (x = 0; ; x++) {
if (something)
continue;
return;
}

This was causing some unreachable code warnings because it said "x++;" was
unreachable because we were discarding the the continues.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_flow.c