From 70ac639ba190fdf78942803cc64e5f5be259d527 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Sun, 22 Feb 2009 23:07:21 +0300 Subject: [PATCH] Fix handling of continue inside do while statements. Signed-off-by: Dan Carpenter --- smatch_flow.c | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/smatch_flow.c b/smatch_flow.c index f9336be1..abb19909 100644 --- a/smatch_flow.c +++ b/smatch_flow.c @@ -183,16 +183,14 @@ static void handle_post_loop(struct statement *stmt) __push_continues(); __push_breaks(); split_statements(stmt->iterator_statement); - - __split_whole_condition(stmt->iterator_post_condition); - __use_false_states(); - if (is_forever_loop(stmt)) { __pop_continues(); __use_breaks(); } else { __merge_continues(); + __split_whole_condition(stmt->iterator_post_condition); + __use_false_states(); __merge_breaks(); } __pop_false_only_stack(); -- 2.11.4.GIT