From: Eric Botcazou <ebotcazou@adacore.com>
Date: Mon, 23 May 2022 23:39:08 +0000 (+0200)
Subject: [Ada] Do not give warnings for compiler-generated entities by default
X-Git-Tag: basepoints/gcc-14~5674
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=889db59e6e77abf5253c8355d6a5ccbdfe42d3ec;p=thirdparty%2Fgcc.git

[Ada] Do not give warnings for compiler-generated entities by default

gcc/ada/

	* gcc-interface/trans.cc (gnat_gimplify_expr) <SAVE_EXPR>: New case.
---

diff --git a/gcc/ada/gcc-interface/trans.cc b/gcc/ada/gcc-interface/trans.cc
index f0602b824b0..758df38c1c8 100644
--- a/gcc/ada/gcc-interface/trans.cc
+++ b/gcc/ada/gcc-interface/trans.cc
@@ -8731,6 +8731,17 @@ gnat_gimplify_expr (tree *expr_p, gimple_seq *pre_p,
       gimplify_and_add (TREE_OPERAND (expr, 0), pre_p);
       return GS_OK;
 
+    case SAVE_EXPR:
+      op = TREE_OPERAND (expr, 0);
+
+      /* Propagate TREE_NO_WARNING from expression to temporary by using the
+	 SAVE_EXPR itself as an intermediate step.  See gimplify_save_expr.  */
+      if (SAVE_EXPR_RESOLVED_P (expr))
+	TREE_NO_WARNING (op) = TREE_NO_WARNING (expr);
+      else
+	TREE_NO_WARNING (expr) = TREE_NO_WARNING (op);
+      break;
+
     case UNCONSTRAINED_ARRAY_REF:
       /* We should only do this if we are just elaborating for side effects,
 	 but we can't know that yet.  */