From e6fd64005ecfeabe6664dc204aff6d9b1d3eb2ce Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Wed, 18 Feb 2009 11:50:05 +0300 Subject: [PATCH] "while ((1)) {" is a forever loop. Call strip_expr(). Signed-off-by: Dan Carpenter --- smatch_flow.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/smatch_flow.c b/smatch_flow.c index c9e03b95..1a158b02 100644 --- a/smatch_flow.c +++ b/smatch_flow.c @@ -121,7 +121,7 @@ static int is_forever_loop(struct statement *stmt) struct expression *expr; - expr = stmt->iterator_pre_condition; + expr = strip_expr(stmt->iterator_pre_condition); if (!expr) expr = stmt->iterator_post_condition; if (!expr) { -- 2.11.4.GIT