]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c2596d4) | patch
ada: Preanalyze classwide contracts as spec expressions
authorRonan Desplanques <desplanques@adacore.com>
Mon, 17 Oct 2022 10:00:09 +0000 (12:00 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 8 Nov 2022 08:34:59 +0000 (09:34 +0100)
commit788e5f06d4e804dcc9e255fa448ba0c3db1586c4
treec22a53c565ffd37dabff388459d5926c29ed7104tree | snapshot
parentc2596d4533389b8898516b444f8464a1720711afcommit | diff
ada: Preanalyze classwide contracts as spec expressions

Classwide contracts are "spec expressions" as defined in the
documentation in sem.ads. Before this patch, the instances of
classwide contracts that are destined to class conditions merging
were not preanalyzed as spec expressions. That caused preanalysis to
emit spurious errors in some cases.

gcc/ada/

* contracts.adb (Preanalyze_Condition): Use
Preanalyze_Spec_Expression.
gcc/ada/contracts.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git