diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-04-07 10:16:55 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-06-29 14:23:45 +0000 |
| commit | 10215ba9d7848b858d3c2103807222675028225a (patch) | |
| tree | 7150e446a219fa118160986f4b342455b0723904 /gcc | |
| parent | 6df6055d5c666e669890ff8572df2353e341a534 (diff) | |
| download | gcc-10215ba9d7848b858d3c2103807222675028225a.zip gcc-10215ba9d7848b858d3c2103807222675028225a.tar.gz gcc-10215ba9d7848b858d3c2103807222675028225a.tar.bz2 | |
[Ada] Consistently use Validated_View for Valid_Scalars on records
gcc/ada/
* exp_attr.adb (Expand_N_Attribute_Reference): Explicitly use
Validated_View for record objects.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/exp_attr.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb index 400398d..d19ae1f 100644 --- a/gcc/ada/exp_attr.adb +++ b/gcc/ada/exp_attr.adb @@ -7460,7 +7460,7 @@ package body Exp_Attr is (Build_Record_VS_Func (Attr => N, Formal_Typ => Ptyp, - Rec_Typ => Val_Typ), + Rec_Typ => Validated_View (Ptyp)), Loc), Parameter_Associations => New_List (Pref)); end if; |