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 /gcc/tree.h | |
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 'gcc/tree.h')
0 files changed, 0 insertions, 0 deletions