]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 864411e) | 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)
committerEric Botcazou <ebotcazou@adacore.com>
Wed, 27 Sep 2023 08:16:29 +0000 (10:16 +0200)
commite68906c444e6488960908c89c26ebdba67b6f2cb
treebd2153b07b7a2b25c5f5dfc278cfd17476755709tree
parent864411ef7ce8f4e1a1f931fb8474d10412c0636dcommit | 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.069026 seconds and 6 git commands to generate.