[gcc r12-11230] middle-end/119706 - allow POLY_INT_CST as is_gimple_mem_ref_addr

[Richard Biener via Gcc-cvs]

https://gcc.gnu.org/g:75f255c11f7e5a5099ad909606e21ec6bf9b82cc

commit r12-11230-g75f255c11f7e5a5099ad909606e21ec6bf9b82cc
Author: Richard Biener <rguent...@suse.de>
Date:   Thu Apr 10 13:30:42 2025 +0200

    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.
    
    (cherry picked from commit bf812c6ad83ec0b241bb3fecc7e68f883b6083df)

Diff:
---
 gcc/gimple-expr.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gcc/gimple-expr.cc b/gcc/gimple-expr.cc
index 5faaf43eaf50..2ebcdac74136 100644
--- a/gcc/gimple-expr.cc
+++ b/gcc/gimple-expr.cc
@@ -843,7 +843,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)))));