From: Piotr Trojanek <trojanek@adacore.com>
Date: Wed, 7 Apr 2021 08:16:55 +0000 (+0200)
Subject: [Ada] Consistently use Validated_View for Valid_Scalars on records
X-Git-Tag: upstream/12.2.0~6824
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=10215ba9d7848b858d3c2103807222675028225a;p=platform%2Fupstream%2Fgcc.git

[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.
---

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;