diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-04-23 14:46:27 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-18 05:08:36 -0400 |
| commit | 424ce99fb53c994ba56f99e4b5513dc19e897463 (patch) | |
| tree | ad2f329e78c545abf502e1e290e2b42ddd698e6c /gcc/tree-vect-stmts.c | |
| parent | 6c8e4f7e38ec5c8aae7b3d475462bf64e61eea99 (diff) | |
| download | gcc-424ce99fb53c994ba56f99e4b5513dc19e897463.zip gcc-424ce99fb53c994ba56f99e4b5513dc19e897463.tar.gz gcc-424ce99fb53c994ba56f99e4b5513dc19e897463.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/tree-vect-stmts.c')
0 files changed, 0 insertions, 0 deletions