[Bug ada/50558] Legal program rejected (record component with no supplied value) and invalid access to atomic variable

[eugen at debian dot org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50558

--- Comment #3 from Eugeniy Meshcheryakov <eugen at debian dot org> 2011-09-28 15:58:00 UTC ---
After reading Ada 2005 rationale I think that the program in attachment 25374
is valid (components with no default values should be left undefined) and the
other one is invalid (but I cannot find confirmation in RM, in any case one of
the programs is invalid). Then gnat produces incorrect code for atomic variable
in valid code.