diff options
| author | Javier Miranda <miranda@adacore.com> | 2022-08-15 18:31:50 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-06 09:14:22 +0200 |
| commit | 1c245f7273f170f3236f30562a72567be648c300 (patch) | |
| tree | c0ff15d6470daf168664dfcd016581323d52e0cd /gcc/ada/gcc-interface/utils.cc | |
| parent | c889b2e8acc706b2c9fe6559c0094ce7785c3583 (diff) | |
| download | gcc-1c245f7273f170f3236f30562a72567be648c300.zip gcc-1c245f7273f170f3236f30562a72567be648c300.tar.gz gcc-1c245f7273f170f3236f30562a72567be648c300.tar.bz2 | |
[Ada] Report error in non-legal class-wide conditions
gcc/ada/
* sem_prag.adb
(Analyze_Pre_Post_Condition_In_Decl_Part): Improve check to report
an error in non-legal class-wide conditions.
Diffstat (limited to 'gcc/ada/gcc-interface/utils.cc')
0 files changed, 0 insertions, 0 deletions