X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Fada%2Fexp_attr.adb;fp=gcc%2Fada%2Fexp_attr.adb;h=04e7a0bdbe2d4ceadfb6448f47b86b2aeaca8e5a;hb=372ac9de68e711c44b935eb7348faf75623acd20;hp=f511178fa00054953a2bce5e50095f2b0b8696e6;hpb=d673df1adfbdfa13b0dff3ce6df74e76153d62d4;p=pf3gnuchains%2Fgcc-fork.git

diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb
index f511178fa00..04e7a0bdbe2 100644
--- a/gcc/ada/exp_attr.adb
+++ b/gcc/ada/exp_attr.adb
@@ -607,10 +607,14 @@ package body Exp_Attr is
    begin
       --  Do required validity checking, if enabled. Do not apply check to
       --  output parameters of an Asm instruction, since the value of this
-      --  is not set till after the attribute has been elaborated.
+      --  is not set till after the attribute has been elaborated, and do
+      --  not apply the check to the arguments of a 'Read or 'Input attribute
+      --  reference since the scalar argument is an OUT scalar.
 
       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
       then
          declare
             Expr : Node_Id;