http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50558
--- Comment #1 from Eugeniy Meshcheryakov <eugen at debian dot org> 2011-09-28 13:08:48 UTC --- Created attachment 25375 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25375 Invalid program correctly detected This is test program with definition of Data_Register moved to parent package. gnat correctly detects invalid program: % gnatmake test.adb gcc-4.6 -c test.adb test.adb:5:25: no value supplied for component "Reserved" gnatmake: "test.adb" compilation error