diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2023-09-28 15:53:36 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-12-19 15:27:51 +0100 |
| commit | a3626f49d64c8b81aadae61ae4fad7d4d0f9d6b8 (patch) | |
| tree | 86cc40e61a3f52f7f70d00cd9d349c1c1cdc385b /gcc/btfout.cc | |
| parent | 257a2fca4f9fdf2f506b6d5a63109fb38baacce3 (diff) | |
| download | gcc-a3626f49d64c8b81aadae61ae4fad7d4d0f9d6b8.zip gcc-a3626f49d64c8b81aadae61ae4fad7d4d0f9d6b8.tar.gz gcc-a3626f49d64c8b81aadae61ae4fad7d4d0f9d6b8.tar.bz2 | |
ada: Fix internal error on call with parameter of predicated subtype
The problem is that the predicated subtype does not inherit all the required
attributes of a string subtype with a static predicate.
gcc/ada/
* sem_ch3.adb (Analyze_Subtype_Declaration): Remove a short-circuit
for subtypes without aspects when it comes to predicates.
* sem_util.adb (Inherit_Predicate_Flags): Deal with private subtypes
whose full view is an Itype.
Diffstat (limited to 'gcc/btfout.cc')
0 files changed, 0 insertions, 0 deletions