https://gcc.gnu.org/g:1c484bd921bd10caf4cb922638fda01eff575626
commit r16-4988-g1c484bd921bd10caf4cb922638fda01eff575626 Author: Piotr Trojanek <[email protected]> Date: Tue Jan 28 12:23:33 2025 +0100 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: --- gcc/ada/exp_attr.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb index 41a7703e5237..086ef91928e0 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
