From 10215ba9d7848b858d3c2103807222675028225a Mon Sep 17 00:00:00 2001
From: Piotr Trojanek <trojanek@adacore.com>
Date: Wed, 7 Apr 2021 10:16:55 +0200
Subject: [PATCH] [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.
---
 gcc/ada/exp_attr.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
-- 
2.7.4