| commit | 8950360830f0d7f5f356ec447e8493be7b98c2cb | |
| author | Javier Miranda <miranda@adacore.com> | |
| Mon, 31 Jul 2023 11:10:33 +0000 (31 11:10 +0000) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Tue, 5 Sep 2023 11:05:11 +0000 (5 13:05 +0200) | ||
| tree | 3e54c0e91f42e3a9c2fb860e42ef872322f24cfc | treesnapshot (tar.gz zip) |
| parent | eb7c56a0340363422481e4bccd3f86ddda9f9a23 | commitdiff |
ada: Enforce subtype conformance of interface primitives
gcc/ada/
* sem_ch3.adb (Add_Internal_Interface_Entities): Add missing
subtype-conformance check on primitives implementing interface
primitives.
(Error_Posted_In_Formals): New subprogram.
gcc/ada/
* sem_ch3.adb (Add_Internal_Interface_Entities): Add missing
subtype-conformance check on primitives implementing interface
primitives.
(Error_Posted_In_Formals): New subprogram.
| gcc/ada/sem_ch3.adb | diffblobblamehistory |