diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-09-03 03:38:40 -0400 |
|---|---|---|
| committer | Arnaud Charlet <charlet@adacore.com> | 2020-09-03 04:15:03 -0400 |
| commit | eb6ea9e54f1f275fd6ec3c61662243ca0165bd64 (patch) | |
| tree | 26ac38333bb327c5b10e857c997a58d2a583c191 /libcpp/errors.c | |
| parent | 433734126996b6fc4fc99b594421510f928a7bb9 (diff) | |
| download | gcc-eb6ea9e54f1f275fd6ec3c61662243ca0165bd64.zip gcc-eb6ea9e54f1f275fd6ec3c61662243ca0165bd64.tar.gz gcc-eb6ea9e54f1f275fd6ec3c61662243ca0165bd64.tar.bz2 | |
Look at fullest view when checking for static types in unnesting
When seeing if any bound involved in a type is an uplevel reference,
we must look at the fullest view of a type, since that's what the
backends will do. Similarly for private types. We introduce
Get_Fullest_View for that purpose.
* sem_util.ads, sem_util.adb (Get_Fullest_View): New procedure.
* exp_unst.adb (Check Static_Type): Do all processing on fullest
view of specified type.
Diffstat (limited to 'libcpp/errors.c')
0 files changed, 0 insertions, 0 deletions