]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd93ef7) | patch
ada: Fix Valid_Scalars attribute applied to types from limited with
authorEric Botcazou <ebotcazou@adacore.com>
Sun, 2 Jul 2023 08:07:55 +0000 (10:07 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 18 Jul 2023 13:11:46 +0000 (15:11 +0200)
commitf31a63438347c628a64257cb909a400cbd5388e3
treecd2df5ff26147bbac88f8e61df6482aadc54a4a6tree
parentbd93ef7f1a178079c6cdaccdf953f79a3365b028commit | diff
ada: Fix Valid_Scalars attribute applied to types from limited with

The attribute is wrongly computed as always True because, unlike for e.g.
private types, Validated_View does not look through the limited view.

gcc/ada/

* sem_util.ads (Validated_View): Document enhanced behavior.
* sem_util.adb (Validated_View): Return the nonlimited view, if any,
of types coming from a limited with.
gcc/ada/sem_util.adb diff | blob | blame | history
gcc/ada/sem_util.ads diff | blob | blame | history
GNU Compiler Collection
This page took 0.0613669999999999 seconds and 5 git commands to generate.