]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Fix spurious -Wstringop-overflow with link time optimization
authorEric Botcazou <ebotcazou@adacore.com>
Thu, 12 Oct 2023 12:26:46 +0000 (14:26 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 7 Nov 2023 09:15:05 +0000 (10:15 +0100)
It comes from an incomplete optimization performed by LTO that is caused by
an obsolete transformation done in Gigi, which is redundant with the common
uniquization of constant CONSTRUCTORs now performed during gimplification.

gcc/ada/

* gcc-interface/trans.cc (gnat_gimplify_expr) <CALL_EXPR>: Delete.

gcc/ada/gcc-interface/trans.cc

index 89f0a07c824e36ab4c30fe0043eece66d801c08a..c7d91628f80c388c88d88c62bf0fad4d47cd6992 100644 (file)
@@ -8950,30 +8950,6 @@ gnat_gimplify_expr (tree *expr_p, gimple_seq *pre_p,
          }
       break;
 
-    case CALL_EXPR:
-      /* If we are passing a constant fat pointer CONSTRUCTOR, make sure it is
-        put into static memory; this performs a restricted version of constant
-        propagation on fat pointers in calls.  But do not do it for strings to
-        avoid blocking concatenation in the caller when it is inlined.  */
-      for (int i = 0; i < call_expr_nargs (expr); i++)
-       {
-         tree arg = CALL_EXPR_ARG (expr, i);
-
-         if (TREE_CODE (arg) == CONSTRUCTOR
-             && TREE_CONSTANT (arg)
-             && TYPE_IS_FAT_POINTER_P (TREE_TYPE (arg)))
-           {
-             tree t = CONSTRUCTOR_ELT (arg, 0)->value;
-             if (TREE_CODE (t) == NOP_EXPR)
-               t = TREE_OPERAND (t, 0);
-             if (TREE_CODE (t) == ADDR_EXPR)
-               t = TREE_OPERAND (t, 0);
-             if (TREE_CODE (t) != STRING_CST)
-               CALL_EXPR_ARG (expr, i) = tree_output_constant_def (arg);
-           }
-       }
-      break;
-
     case DECL_EXPR:
       op = DECL_EXPR_DECL (expr);