From 93ac832f1846e4867aa6537f76f510fab8e3e87d Mon Sep 17 00:00:00 2001 From: Andrew MacLeod Date: Thu, 7 Oct 2021 10:12:29 -0400 Subject: Ranger : Do not process abnormal ssa-names. * gimple-range-fold.h (gimple_range_ssa_p): Don't process names that occur in abnormal phis. * gimple-range.cc (gimple_ranger::range_on_edge): Return false for abnormal and EH edges. * gimple-ssa-evrp.c (rvrp_folder::value_of_expr): Ditto. (rvrp_folder::value_on_edge): Ditto. (rvrp_folder::value_of_stmt): Ditto. (hybrid_folder::value_of_expr): Ditto for ranger queries. (hybrid_folder::value_on_edge): Ditto. (hybrid_folder::value_of_stmt): Ditto. * value-query.cc (gimple_range_global): Always return a range if the type is supported. --- gcc/gimple-range-fold.h | 1 + 1 file changed, 1 insertion(+) (limited to 'gcc/gimple-range-fold.h') diff --git a/gcc/gimple-range-fold.h b/gcc/gimple-range-fold.h index bc0874b..350e2c4 100644 --- a/gcc/gimple-range-fold.h +++ b/gcc/gimple-range-fold.h @@ -93,6 +93,7 @@ gimple_range_ssa_p (tree exp) { if (exp && TREE_CODE (exp) == SSA_NAME && !SSA_NAME_IS_VIRTUAL_OPERAND (exp) && + !SSA_NAME_OCCURS_IN_ABNORMAL_PHI (exp) && irange::supports_type_p (TREE_TYPE (exp))) return exp; return NULL_TREE; -- cgit v1.1