diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2023-07-02 10:07:55 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-07-18 15:11:46 +0200 |
| commit | f31a63438347c628a64257cb909a400cbd5388e3 (patch) | |
| tree | cd2df5ff26147bbac88f8e61df6482aadc54a4a6 /libgcc | |
| parent | bd93ef7f1a178079c6cdaccdf953f79a3365b028 (diff) | |
| download | gcc-f31a63438347c628a64257cb909a400cbd5388e3.zip gcc-f31a63438347c628a64257cb909a400cbd5388e3.tar.gz gcc-f31a63438347c628a64257cb909a400cbd5388e3.tar.bz2 | |
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.
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions