diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2018-05-23 10:23:02 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-23 10:23:02 +0000 |
| commit | ac450fb2ab71dfd5bc57ea60bc00cc749d7485af (patch) | |
| tree | 32492f4adda4534d18fcf83808558ded4ad908cf /libcpp/system.h | |
| parent | fd82aeff6d4338a3b9f280e423ec5236ae0fc510 (diff) | |
| download | gcc-ac450fb2ab71dfd5bc57ea60bc00cc749d7485af.zip gcc-ac450fb2ab71dfd5bc57ea60bc00cc749d7485af.tar.gz gcc-ac450fb2ab71dfd5bc57ea60bc00cc749d7485af.tar.bz2 | |
[Ada] Missing legality check on iterator over formal container
This patch adds a check on an iterator over a GNAT-specific formal container,
when the iterator specification includes a subtype indication that must be
compatible with the element type of the container.
2018-05-23 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* sem_ch5.adb (Analyze_Iterator_Specification): If a subtype indication
is present, verify its legality when the domain of iteration is a
GNAT-specific formal container, as is already done for arrays and
predefined containers.
gcc/testsuite/
* gnat.dg/iter1.adb, gnat.dg/iter1.ads: New testcase.
From-SVN: r260587
Diffstat (limited to 'libcpp/system.h')
0 files changed, 0 insertions, 0 deletions