From 914fa35a7f7db76211ca259606578193773a254e Mon Sep 17 00:00:00 2001 From: Andrew MacLeod Date: Mon, 31 Jul 2023 10:08:51 -0400 Subject: [PATCH] fur_list should not use the range vector for non-ssa operands. gcc/ PR tree-optimization/110582 * gimple-range-fold.cc (fur_list::get_operand): Do not use the range vector for non-ssa names. gcc/testsuite/ * gcc.dg/pr110582.c: New. --- gcc/gimple-range-fold.cc | 3 ++- gcc/testsuite/gcc.dg/pr110582.c | 18 ++++++++++++++++++ 2 files changed, 20 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.dg/pr110582.c diff --git a/gcc/gimple-range-fold.cc b/gcc/gimple-range-fold.cc index d07246008f0..ab2d996c4eb 100644 --- a/gcc/gimple-range-fold.cc +++ b/gcc/gimple-range-fold.cc @@ -262,7 +262,8 @@ fur_list::fur_list (unsigned num, vrange **list, range_query *q) bool fur_list::get_operand (vrange &r, tree expr) { - if (m_index >= m_limit) + // Do not use the vector for non-ssa-names, or if it has been emptied. + if (TREE_CODE (expr) != SSA_NAME || m_index >= m_limit) return m_query->range_of_expr (r, expr); r = *m_list[m_index++]; gcc_checking_assert (range_compatible_p (TREE_TYPE (expr), r.type ())); diff --git a/gcc/testsuite/gcc.dg/pr110582.c b/gcc/testsuite/gcc.dg/pr110582.c new file mode 100644 index 00000000000..ae0650d3ae7 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr110582.c @@ -0,0 +1,18 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-vrp2" } */ + +int a, b; +int main() { + char c = a = 0; + for (; c != -3; c++) { + int d = 2; + d ^= 2 && a; + b = a == 0 ? d : d / a; + a = b; + } + for (; (1 + 95 << 24) + b + 1 + 686658714L + b - 2297271457;) + ; +} + +/* { dg-final { scan-tree-dump-not "Folding predicate" "vrp2" } } */ + -- 2.40.1