Bug#643663: gnat: Illegal program not detected (record component with no supplied value) and invalid access to atomic variable

retitle 643663 Legal program rejected (record component with no supplied value) and invalid access to atomic variable thanks It seems that program in the attachment test.ada is actually legal. So the bug is that program in good.ada (also legal) is rejected and incorrect code is generated for acce

Bug#643663: gnat: Illegal program not detected (record component with no supplied value) and invalid access to atomic variable

Package: gnat-4.6 Version: 4.6.1-5 Severity: normal Tags: upstream Forwarded: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50558 I reported this bug to the gcc bugzilla. The following invalid program (component 'Reserved' does not have default value) compiles with no error (gcc 4.6.1 and 4.7.0 (sn