diff options
| author | Javier Miranda <miranda@adacore.com> | 2023-01-26 19:39:31 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-16 10:30:58 +0200 |
| commit | 072861beb9bcc6cbf2e16aafe6b0aae049d60989 (patch) | |
| tree | c99c7a17fabf6cc49fbbadc192cbdc9dc132dd39 /gotools | |
| parent | b979a474167624bf658fd30a23e99f087d7c6e0a (diff) | |
| download | gcc-072861beb9bcc6cbf2e16aafe6b0aae049d60989.zip gcc-072861beb9bcc6cbf2e16aafe6b0aae049d60989.tar.gz gcc-072861beb9bcc6cbf2e16aafe6b0aae049d60989.tar.bz2 | |
ada: Spurious error analyzing 'old or 'result in class-wide conditions
gcc/ada/
* sem_attr.adb
(Analyze_Attribute_Old_Result): When preanalyzing a class-wide
condition, search in the scopes stack for the subprogram that has
the condition. This is required because returning the current
scope causes reporting spurious errors when the occurrence of the
attribute is found, for example, in a quantified expression.
Diffstat (limited to 'gotools')
0 files changed, 0 insertions, 0 deletions