[Ada] Handle IN iterator for class-wide derived object of iterator type
authorEd Schonberg <schonberg@adacore.com>
Tue, 15 Feb 2022 14:38:42 +0000 (15:38 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 13 May 2022 08:04:36 +0000 (08:04 +0000)
commit7b6fa643ef03f898a6e7284167fa6d064ba8b524
treea9bac34cad6d2fc74a02ffb2a431e7a5fabfe101
parent3fe35ab093de715e88fc837155954bbe74b326f3
[Ada] Handle IN iterator for class-wide derived object of iterator type

The compiler currently rejects iterating on an interface type derived
from an iterator type.

See Ada RM 5.5.1(6/3) and 5.5.2(3/3).

gcc/ada/

* sem_ch5.adb (Analyze_Iterator_Specification): Fix Typ in the
case of a class-wide derived iterator.
gcc/ada/sem_ch5.adb