From: Piotr Trojanek <trojanek@adacore.com>
Date: Tue, 28 Jan 2025 11:23:33 +0000 (+0100)
Subject: ada: Fix spurious check on 'Put_Image for an array of characters
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=1c484bd921bd10caf4cb922638fda01eff575626;p=thirdparty%2Fgcc.git

ada: Fix spurious check on 'Put_Image for an array of characters

gcc/ada/ChangeLog:

	* exp_attr.adb (Rewrite_Attribute_Proc_Call)<Attribute_Put_Image>:
	Fix call to Analyze.
---

diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb
index 41a7703e523..086ef91928e 100644
--- a/gcc/ada/exp_attr.adb
+++ b/gcc/ada/exp_attr.adb
@@ -6304,7 +6304,7 @@ package body Exp_Attr is
                                     /= RTU_Entity (Interfaces_C))
             then
                Rewrite (N, Build_String_Put_Image_Call (N));
-               Analyze (N);
+               Analyze (N, Suppress => All_Checks);
                return;
 
             elsif Is_Array_Type (U_Type) then