diff options
| author | Ronan Desplanques <desplanques@adacore.com> | 2022-10-17 12:00:09 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-08 09:34:59 +0100 |
| commit | 788e5f06d4e804dcc9e255fa448ba0c3db1586c4 (patch) | |
| tree | c22a53c565ffd37dabff388459d5926c29ed7104 /libjava/java/util/LinkedHashMap.java | |
| parent | c2596d4533389b8898516b444f8464a1720711af (diff) | |
| download | gcc-788e5f06d4e804dcc9e255fa448ba0c3db1586c4.zip gcc-788e5f06d4e804dcc9e255fa448ba0c3db1586c4.tar.gz gcc-788e5f06d4e804dcc9e255fa448ba0c3db1586c4.tar.bz2 | |
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.
Diffstat (limited to 'libjava/java/util/LinkedHashMap.java')
0 files changed, 0 insertions, 0 deletions