From 30c4316408bdf37260bdcf736655c315a8a88328 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Sun, 15 Apr 2012 00:53:38 +0300 Subject: [PATCH] math: simplify implied_condition_true/false() We can also remove a couple lines from implied_condition_true/false() now that expression statements are handled in get_value(). Signed-off-by: Dan Carpenter --- smatch_math.c | 9 --------- 1 file changed, 9 deletions(-) diff --git a/smatch_math.c b/smatch_math.c index 1eae2dfc..4c2e5b3d 100644 --- a/smatch_math.c +++ b/smatch_math.c @@ -507,9 +507,7 @@ static int do_comparison(struct expression *expr) int implied_condition_true(struct expression *expr) { - struct statement *stmt; long long tmp; - long long val; if (!expr) return 0; @@ -539,9 +537,6 @@ int implied_condition_true(struct expression *expr) return 1; break; } - stmt = get_expression_statement(expr); - if (last_stmt_val(stmt, &val) && val == 1) - return 1; break; default: if (implied_not_equal(expr, 0) == 1) @@ -553,7 +548,6 @@ int implied_condition_true(struct expression *expr) int implied_condition_false(struct expression *expr) { - struct statement *stmt; struct expression *tmp; long long val; @@ -573,9 +567,6 @@ int implied_condition_false(struct expression *expr) return 1; break; } - stmt = get_expression_statement(expr); - if (last_stmt_val(stmt, &val) && val == 0) - return 1; tmp = strip_expr(expr); if (tmp != expr) return implied_condition_false(tmp); -- 2.11.4.GIT