projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2015a57) | patch
[Ada] Pass base type to Set_Has_Own_Invariants
authorBob Duff <duff@adacore.com>
Thu, 22 Oct 2020 21:49:07 +0000 (17:49 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 26 Nov 2020 08:39:46 +0000 (03:39 -0500)
commitccd05f6c8fd4c90e6c4cd1f683991fe498aef74c
treeff1f3e87d6c54434077ae33c2f0531e492df0fb6tree
parent2015a575b773104f277329a9759c63b10ab09966commit | diff
[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.
gcc/ada/freeze.adb diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history
gcc/ada/sem_util.adb diff | blob | history