From bf812c6ad83ec0b241bb3fecc7e68f883b6083df Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Thu, 10 Apr 2025 13:30:42 +0200 Subject: middle-end/119706 - allow POLY_INT_CST as is_gimple_mem_ref_addr We currently only INTEGER_CST, but not POLY_INT_CST, which leads to the situation that when the POLY_INT_CST is only indrectly present via a SSA def the IL is valid but when propagated it's not. That's unsustainable. PR middle-end/119706 * gimple-expr.cc (is_gimple_mem_ref_addr): Also allow POLY_INT_CST. --- gcc/gimple-expr.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gcc') diff --git a/gcc/gimple-expr.cc b/gcc/gimple-expr.cc index a670e46..c0367f4 100644 --- a/gcc/gimple-expr.cc +++ b/gcc/gimple-expr.cc @@ -884,7 +884,7 @@ bool is_gimple_mem_ref_addr (tree t) { return (is_gimple_reg (t) - || TREE_CODE (t) == INTEGER_CST + || poly_int_tree_p (t) || (TREE_CODE (t) == ADDR_EXPR && (CONSTANT_CLASS_P (TREE_OPERAND (t, 0)) || decl_address_invariant_p (TREE_OPERAND (t, 0))))); -- cgit v1.1