diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2019-07-10 09:02:31 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-10 09:02:31 +0000 |
| commit | d036b2b8c29f8d53787417a1c0b0ddf814ab8b6b (patch) | |
| tree | 87ae56b2250db88d653229ef552fee9af1050112 /gcc/ada/init.c | |
| parent | 6056bc735d81633bdefe3b696c917d3e4ea20049 (diff) | |
| download | gcc-d036b2b8c29f8d53787417a1c0b0ddf814ab8b6b.zip gcc-d036b2b8c29f8d53787417a1c0b0ddf814ab8b6b.tar.gz gcc-d036b2b8c29f8d53787417a1c0b0ddf814ab8b6b.tar.bz2 | |
[Ada] Spurious error on discriminant of incomplete type
This patch corrects the conformance verification of discriminants to
provide symmetry between the analysis of incomplete and full view
discriminants. As a result, types of discriminants always resolve to the
proper view.
2019-07-10 Hristian Kirtchev <kirtchev@adacore.com>
gcc/ada/
* sem_ch6.adb (Check_Discriminant_Conformance): Use Find_Type to
discover the type of a full view discriminant.
gcc/testsuite/
* gnat.dg/incomplete7.adb, gnat.dg/incomplete7.ads: New testcase.
From-SVN: r273347
Diffstat (limited to 'gcc/ada/init.c')
0 files changed, 0 insertions, 0 deletions