]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Fix spurious check on 'Put_Image for an array of characters
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 28 Jan 2025 11:23:33 +0000 (12:23 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 3 Nov 2025 14:15:17 +0000 (15:15 +0100)
gcc/ada/ChangeLog:

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

gcc/ada/exp_attr.adb

index 41a7703e52379231ce00db2b26e5a085e682da8b..086ef91928e01fb34ad49cfce2d2e177b17b972a 100644 (file)
@@ -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