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

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50558 --- Comment #3 from Eugeniy Meshcheryakov 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

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

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50558 --- Comment #2 from Eugeniy Meshcheryakov 2011-09-28 13:51:43 UTC --- Output with -gnatG looks different for two programs. For good.ada: with pkg; procedure test is begin T1b : pkg__data_record := ( data => 255); pkg.pkg__data_regi

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

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50558 --- Comment #1 from Eugeniy Meshcheryakov 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 mov

[Bug ada/50558] New: Illegal program not detected (record component with no supplied value) and invalid access to atomic variable

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50558 Bug #: 50558 Summary: Illegal program not detected (record component with no supplied value) and invalid access to atomic variable Classification: Unclassified Product: gcc Versi

[Bug ada/47818] New: Pragma Assert is rejected with No_Implementation_Pragmas restriction.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47818 Summary: Pragma Assert is rejected with No_Implementation_Pragmas restriction. Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal Priority: P3