| commit | 03c80e174bc059b50063da24cf89b67e692bc5d8 | |
| author | Ed Schonberg <schonberg@adacore.com> | |
| Mon, 21 Dec 2020 01:18:33 +0000 (20 20:18 -0500) | ||
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | |
| Mon, 3 May 2021 09:28:20 +0000 (3 05:28 -0400) | ||
| tree | 0954900d1c2c73bc1ac2c44bf8ab1dc1d85c25f4 | treesnapshot (tar.gz zip) |
| parent | 54b20ee0acf9aeffb71333df9cf07a1c9c6d7d58 | commitdiff |
[Ada] Compiler aborts on a constrained subtype of a predicated type
gcc/ada/
* sem_util.adb (Build_Constrained_Itype): Remove prior patch,
issue is better handled in Sem_Ch13.Build_Predicate_Functions.
* sem_ch13.adb (Build_Predicate_Functions): Do not build
predicate function for an Itype with a defined
Predicated_Parent, even if that designated parent does not yet
have a Predicate_Function. This can happen in instance bodies
nested within a generic unit.
gcc/ada/
* sem_util.adb (Build_Constrained_Itype): Remove prior patch,
issue is better handled in Sem_Ch13.Build_Predicate_Functions.
* sem_ch13.adb (Build_Predicate_Functions): Do not build
predicate function for an Itype with a defined
Predicated_Parent, even if that designated parent does not yet
have a Predicate_Function. This can happen in instance bodies
nested within a generic unit.
| gcc/ada/sem_ch13.adb | diffblobblamehistory | |
| gcc/ada/sem_util.adb | diffblobblamehistory |