[Ada] Consistently use Validated_View for Valid_Scalars on records

Pierre-Marie de Rodat derodat@adacore.com
Wed Jun 30 09:30:45 GMT 2021

Expansion of attribute Valid_Scalars was meant to use Get_Fullest_View
for arrays and Validated_View for records. However, this was not done
consistently and for records we were mixing Get_Fullest_View with

Tested on x86_64-pc-linux-gnu, committed on trunk


	* exp_attr.adb (Expand_N_Attribute_Reference): Explicitly use
	Validated_View for record objects.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch.diff
Type: text/x-diff
Size: 504 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20210630/53fc552d/attachment.bin>

More information about the Gcc-patches mailing list