--- Comment #6 from sam at gcc dot gnu dot org 2007-11-26 20:52 ---
With mainline 4.1 20050619, invalid code is flagged:
test_246184.adb:9:17: not fully conformant with declaration at line 5
test_246184.adb:9:17: type of "x" does not match
Still fixed in GCC 4.3.0 SVN trunk.
--
sam
--- Additional Comments From charlet at gcc dot gnu dot org 2005-06-20
07:59 ---
So the "regression" is fixed on mainline. Changing subject and keyword.
Note that the ICE was apparently caused by a missing processing of the nested
procedure, probably middle-end rather than front-end rela
