| commit | 373921dc7b2ada3960b5fbb99cb4cf543ff4ffa0 | |
| author | Justin Squirek <squirek@adacore.com> | |
| Thu, 21 Dec 2023 18:35:22 +0000 (21 18:35 +0000) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Mon, 6 May 2024 09:11:29 +0000 (6 11:11 +0200) | ||
| tree | b9ebb33b95c31cd060e26af37c75a239439c48be | treesnapshot (tar.gz zip) |
| parent | 0b7c0811ced8c98b4bebd1bc89f2272216000900 | commitdiff |
ada: Spurious reference warning on qualified expression
Incremental improvement/clean up.
gcc/ada/
* sem_warn.adb (Within_Postcondition): Renamed to
Within_Contract_Or_Predicate.
Incremental improvement/clean up.
gcc/ada/
* sem_warn.adb (Within_Postcondition): Renamed to
Within_Contract_Or_Predicate.
| gcc/ada/sem_warn.adb | diffblobblamehistory |