diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-08-22 12:13:14 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-08-22 12:13:14 +0000 |
| commit | 372ac9de68e711c44b935eb7348faf75623acd20 (patch) | |
| tree | cdb8b5b456fe8e12f7e903b0952abeeeea6633c0 /gcc/ada/exp_attr.adb | |
| parent | d673df1adfbdfa13b0dff3ce6df74e76153d62d4 (diff) | |
| download | gcc-372ac9de68e711c44b935eb7348faf75623acd20.tar.gz | |
2008-08-22 Robert Dewar <dewar@adacore.com>
* exp_attr.adb:
(Expand_N_Attribute_Reference): No validity checking on OUT parameter of
Read or Input attribute.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139443 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_attr.adb')
| -rw-r--r-- | gcc/ada/exp_attr.adb | 6 |
1 files changed, 5 insertions, 1 deletions
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; |