diff options
| author | Steve Baird <baird@adacore.com> | 2023-08-10 16:21:34 -0700 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-09-05 13:05:13 +0200 |
| commit | 9fc6f15bfe7ebfeef6ebbea48b2c551f79cd25bd (patch) | |
| tree | c08bcda026eda51553b633cb7564d1675eeed999 /gcc/ada/accessibility.adb | |
| parent | bed30418f910df5ea605b7f5ee4b86a6ab7e9411 (diff) | |
| download | gcc-9fc6f15bfe7ebfeef6ebbea48b2c551f79cd25bd.zip gcc-9fc6f15bfe7ebfeef6ebbea48b2c551f79cd25bd.tar.gz gcc-9fc6f15bfe7ebfeef6ebbea48b2c551f79cd25bd.tar.bz2 | |
ada: Compiler hangs on invalid postcondition
In some cases involving an illegal reference to F'Result in
the postcondition for a function not named F, the compiler would
hang instead of correctly diagnosing the error.
gcc/ada/
* sem_attr.adb (Denote_Same_Function): Handle the case where
Has_Homonym (Pref_Id) returns True but Homonym (Pref_Id) returns
an empty result.
Diffstat (limited to 'gcc/ada/accessibility.adb')
0 files changed, 0 insertions, 0 deletions