projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c8e4f7) | patch
[Ada] ACATS 4.1J - B854003 - Subtype conformance check missed
authorArnaud Charlet <charlet@adacore.com>
Thu, 23 Apr 2020 18:46:27 +0000 (14:46 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 18 Jun 2020 09:08:36 +0000 (05:08 -0400)
commit424ce99fb53c994ba56f99e4b5513dc19e897463
treead2f329e78c545abf502e1e290e2b42ddd698e6ctree
parent6c8e4f7e38ec5c8aae7b3d475462bf64e61eea99commit | diff
[Ada] ACATS 4.1J - B854003 - Subtype conformance check missed

2020-06-18  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* sem_ch6.ads, sem_ch6.adb (Check_Formal_Conformance): New
subprogram.
(Check_Conformance): Move code to Check_Formal_Conformance.
* sem_ch8.adb (Analyze_Subprogram_Renaming): Check for formal
conformance when needed.
gcc/ada/sem_ch6.adb diff | blob | history
gcc/ada/sem_ch6.ads diff | blob | history
gcc/ada/sem_ch8.adb diff | blob | history