projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ead7594) | patch
[Ada] ACATS 4.1J - B854003 - Subtype conformance check missed #2
authorArnaud Charlet <charlet@adacore.com>
Thu, 14 May 2020 12:33:15 +0000 (08:33 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 7 Jul 2020 09:26:59 +0000 (05:26 -0400)
commit8bda08f130cfc0d210386d484c68daa4e4140313
tree9391c9188f638598a1fcc367ba839d95003fb0cftree
parentead7594ff58a2f1d60982e0e706329abf5eaadd4commit | diff
[Ada] ACATS 4.1J - B854003 - Subtype conformance check missed #2

gcc/ada/

* sem_ch6.adb (Check_Formal_Subprogram_Conformance): New
subprogram to handle checking without systematically emitting an
error.
(Check_Conformance): Update call to
Check_Formal_Subprogram_Conformance and fix handling of Conforms
and Errmsg parameters.
gcc/ada/sem_ch6.adb diff | blob | history