diff options
| author | Bob Duff <duff@adacore.com> | 2020-10-22 17:49:07 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-26 03:39:46 -0500 |
| commit | ccd05f6c8fd4c90e6c4cd1f683991fe498aef74c (patch) | |
| tree | ff1f3e87d6c54434077ae33c2f0531e492df0fb6 /gcc/ada/sem_util.adb | |
| parent | 2015a575b773104f277329a9759c63b10ab09966 (diff) | |
| download | gcc-ccd05f6c8fd4c90e6c4cd1f683991fe498aef74c.zip gcc-ccd05f6c8fd4c90e6c4cd1f683991fe498aef74c.tar.gz gcc-ccd05f6c8fd4c90e6c4cd1f683991fe498aef74c.tar.bz2 | |
[Ada] Pass base type to Set_Has_Own_Invariants
gcc/ada/
* freeze.adb (Freeze_Array_Type): Remove propagation of
Has_Own_Invariants to the first subtype. This is a no-op,
because the current (incorrect) version of Has_Own_Invariants
calls Base_Type.
* sem_prag.adb, sem_util.adb: Pass the base type to
Set_Has_Own_Invariants.
Diffstat (limited to 'gcc/ada/sem_util.adb')
| -rw-r--r-- | gcc/ada/sem_util.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 4f2df8e..6875e47 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -26262,7 +26262,7 @@ package body Sem_Util is end if; if Has_Own_Invariants (From_Typ) then - Set_Has_Own_Invariants (Typ); + Set_Has_Own_Invariants (Base_Type (Typ)); end if; if Present (Full_IP) and then No (Invariant_Procedure (Typ)) then |