From: Dan Carpenter Date: Wed, 6 Feb 2013 08:54:20 +0000 (+0300) Subject: propagate: fall out from get_implied_min() changes X-Git-Tag: 1.57~9 X-Git-Url: https://repo.or.cz/w/smatch.git/commitdiff_plain/f72d68bcbe42e265daf397e15a5b99d08c2bb46e 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 --- 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?",