From f72d68bcbe42e265daf397e15a5b99d08c2bb46e Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Wed, 6 Feb 2013 11:54:20 +0300 Subject: [PATCH] propagate: fall out from get_implied_min() changes It used to be that if the min was s32min then get_implied_min() failed but now we've changed that. check_propaget.c needs to have its own check for sval_is_min() instead. Signed-off-by: Dan Carpenter --- check_propagate.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/check_propagate.c b/check_propagate.c index 7be5a76a..0e236ee3 100644 --- a/check_propagate.c +++ b/check_propagate.c @@ -53,7 +53,7 @@ static void match_return(struct expression *ret_value) return; if (!get_implied_max(last_return, &lret) || lret.value >= 0) return; - if (get_implied_min(last_return, &lret)) + if (get_implied_min(last_return, &lret) && !sval_is_min(lret)) return; name = expr_to_var(last_return); sm_msg("info: why not propagate '%s' from %s() instead of %s?", -- 2.11.4.GIT