From: Piotr Trojanek <troja...@adacore.com> Attributes 'Input and 'Read are similar, but only the 'Read denotes a subprogram with parameter of mode OUT where operand validity checks need to be suppressed.
Cleanup related to fix for attributes 'Has_Same_Storage and 'Overlaps_Storage. gcc/ada/ * exp_attr.adb (Expand_N_Attribute_Reference): Remove useless skipping for attribute Input. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/exp_attr.adb | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb index 1ef30656496..25f16276c5e 100644 --- a/gcc/ada/exp_attr.adb +++ b/gcc/ada/exp_attr.adb @@ -2002,8 +2002,8 @@ package body Exp_Attr is -- -- Skip check for output parameters of an Asm instruction (since their -- valuesare not set till after the attribute has been elaborated), - -- for the arguments of a 'Read or 'Input attribute reference (since - -- the scalar argument is an OUT scalar) and for the arguments of a + -- for the arguments of a 'Read attribute reference (since the + -- scalar argument is an OUT scalar) and for the arguments of a -- 'Has_Same_Storage or 'Overlaps_Storage attribute reference (which not -- considered to be reads of their prefixes and expressions, see Ada RM -- 13.3(73.10/3)). @@ -2011,7 +2011,6 @@ package body Exp_Attr is if Validity_Checks_On and then Validity_Check_Operands and then Id /= Attribute_Asm_Output and then Id /= Attribute_Read - and then Id /= Attribute_Input and then Id /= Attribute_Has_Same_Storage and then Id /= Attribute_Overlaps_Storage then -- 2.34.1