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/doc/share/ada_pygments.py | |
| 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/doc/share/ada_pygments.py')
0 files changed, 0 insertions, 0 deletions