projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 898edf7) | patch
[Ada] Accept arrays and scalars as type views that can be validated
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 8 Apr 2021 07:42:28 +0000 (09:42 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 29 Jun 2021 14:23:47 +0000 (14:23 +0000)
commit7aaf662001871e1c3a87fdd9b662329c6a2e8d60
tree420e5e0b2903bac94168dee717946be808f6001btree | snapshot
parent898edf758e03a6cc31219405a667c75b67a726cacommit | diff
[Ada] Accept arrays and scalars as type views that can be validated

gcc/ada/

* exp_attr.adb (Build_Array_VS_Func): Restore uses of
Validated_View.
(Build_Record_VS_Func): Likewise.
(Expand_N_Attribute_Reference): Likewise.
* sem_util.adb (Validated_View): Behave as an identity function
for arrays and scalars.
gcc/ada/exp_attr.adb diff | blob | history
gcc/ada/sem_util.adb diff | blob | history
Domain: System / Toolchain;