diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2022-07-22 16:10:25 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-05 09:21:04 +0200 |
| commit | bd8405bfbe069763f7de0091c51f9c3000a966d5 (patch) | |
| tree | 92f8fc530a1507e76c465ec977bb53126140fae9 /libcpp | |
| parent | f3561c06465c9f4110bd483f35b97201825eec44 (diff) | |
| download | gcc-bd8405bfbe069763f7de0091c51f9c3000a966d5.zip gcc-bd8405bfbe069763f7de0091c51f9c3000a966d5.tar.gz gcc-bd8405bfbe069763f7de0091c51f9c3000a966d5.tar.bz2 | |
[Ada] Fix bogus discriminant check failure for type with predicate
This reorders the processing in Freeze_Entity_Checks so that building the
predicate functions, which first requires building discriminated checking
functions for record types with a variant part, is done after processing
and checking this variant part.
gcc/ada/
* sem_ch13.adb (Freeze_Entity_Checks): Build predicate functions
only after checking the variant part of a record type, if any.
Diffstat (limited to 'libcpp')
0 files changed, 0 insertions, 0 deletions