]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bed3041) | patch
ada: Compiler hangs on invalid postcondition
authorSteve Baird <baird@adacore.com>
Thu, 10 Aug 2023 23:21:34 +0000 (16:21 -0700)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 5 Sep 2023 11:05:13 +0000 (13:05 +0200)
commit9fc6f15bfe7ebfeef6ebbea48b2c551f79cd25bd
treec08bcda026eda51553b633cb7564d1675eeed999tree
parentbed30418f910df5ea605b7f5ee4b86a6ab7e9411commit | diff
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.
gcc/ada/sem_attr.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git