------- 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 at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |sam at gcc dot gnu dot org Status|NEW |RESOLVED Resolution| |FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15616