diff options
| author | Justin Squirek <squirek@adacore.com> | 2019-07-04 08:06:40 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-04 08:06:40 +0000 |
| commit | e3a79ce3c18fc6e1df6176e506095c7f8bac30ab (patch) | |
| tree | ab2de7b37038c6ab18d0fd81e13bb870fe02a75f /gcc/tree-ssa-alias.c | |
| parent | bdbb2a405541671bb427f6ff2f463a98c62b0a46 (diff) | |
| download | gcc-e3a79ce3c18fc6e1df6176e506095c7f8bac30ab.zip gcc-e3a79ce3c18fc6e1df6176e506095c7f8bac30ab.tar.gz gcc-e3a79ce3c18fc6e1df6176e506095c7f8bac30ab.tar.bz2 | |
[Ada] Spurious error on incomplete tagged formal parameter
This patch fixes an issue whereby a check for competing controlling
formals led to a spurious dispatching error due to an incomplete type
being used within a subprogram specification.
2019-07-04 Justin Squirek <squirek@adacore.com>
gcc/ada/
* sem_disp.adb (Check_Controlling_Formals): Obtain the full view
before type comparison.
gcc/testsuite/
* gnat.dg/tagged2.adb, gnat.dg/tagged2.ads: New testcase.
From-SVN: r273063
Diffstat (limited to 'gcc/tree-ssa-alias.c')
0 files changed, 0 insertions, 0 deletions