| commit | 95e2844ef8fa68f7abd45646bae8b4362614bf9c | [log] [tgz] |
|---|---|---|
| author | Yannick Moy <moy@adacore.com> | Tue Jun 07 11:00:56 2022 +0200 |
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | Tue Jul 05 08:28:19 2022 +0000 |
| tree | af091baf2c52c72fbc27dcaee2ee42ddec47dc6a | |
| parent | dba077902daf195da0e5bbac33a1f34bc6b20367 [diff] |
[Ada] Fix spurious error on object renaming with ghost type Renaming of an object of ghost type leads to a spurious error. Now fixed. gcc/ada/ * ghost.adb (Is_OK_Ghost_Context): Detect ghost type inside object renaming.