diff options
| author | Gary Dismukes <dismukes@adacore.com> | 2021-12-17 18:41:01 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-01-11 13:24:46 +0000 |
| commit | a115e497e64731bada3b8aeab2f9444c638a145f (patch) | |
| tree | a2c91c819164614e7bfb19bf0bd4a5a114ec3680 /gcc/ada/inline.adb | |
| parent | e5be83512a66369ae77c9652d3a3073a14ff466a (diff) | |
| download | gcc-a115e497e64731bada3b8aeab2f9444c638a145f.zip gcc-a115e497e64731bada3b8aeab2f9444c638a145f.tar.gz gcc-a115e497e64731bada3b8aeab2f9444c638a145f.tar.bz2 | |
[Ada] Conformance error on protected subp with anonymous-access-to-tagged formal
gcc/ada/
* sem_disp.adb (Check_Controlling_Type): Add test for the case
where Subp is a subprogram associated with a protected
subprogram and return Empty, unless Tagged_Type is the
corresponding record type of the protected type.
Diffstat (limited to 'gcc/ada/inline.adb')
0 files changed, 0 insertions, 0 deletions