diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2019-07-22 13:57:09 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-22 13:57:09 +0000 |
| commit | e7f4682af254be73f91ddbb543bc0bc3fcd27659 (patch) | |
| tree | 2941b1fc84b3f7262d5c60e646621c1d9818cbd7 /gcc/tree-cfg.c | |
| parent | fd90c808628cead705bb4521d9b8beea0edcf2bf (diff) | |
| download | gcc-e7f4682af254be73f91ddbb543bc0bc3fcd27659.zip gcc-e7f4682af254be73f91ddbb543bc0bc3fcd27659.tar.gz gcc-e7f4682af254be73f91ddbb543bc0bc3fcd27659.tar.bz2 | |
[Ada] Internal error on iterator for limited private discriminated type
This patch further extends the short-circuit, aka optimization, present
in the Check_Constrained_Object procedure used for renaming declarations
to all limited types, so as to prevent type mismatches downstream in
more cases.
2019-07-22 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* sem_ch8.adb (Check_Constrained_Object): Further extend the
special optimization to all limited types.
gcc/testsuite/
* gnat.dg/iter5.adb, gnat.dg/iter5_pkg.ads: New testcase.
From-SVN: r273677
Diffstat (limited to 'gcc/tree-cfg.c')
0 files changed, 0 insertions, 0 deletions