From: Arnaud Charlet Date: Fri, 12 Apr 2013 13:31:37 +0000 (+0200) Subject: [multiple changes] X-Git-Tag: releases/gcc-4.9.0~6461 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=beaa97abbff424d43e37b2efee127499386ad0ad;p=thirdparty%2Fgcc.git [multiple changes] 2013-04-12 Ed Schonberg * sem_attr.adb (Check_Stream_Attribute): If restriction No_Default_Stream_Attributes is active, it is illegal to use a predefined elementary type stream attribute either by itself, or more importantly as part of the attribute subprogram for a composite type. However, if the broader restriction No_Streams is active, then stream operations are not generated, and there is no error. 2013-04-12 Robert Dewar * gnatbind.adb: Minor reformatting. From-SVN: r197914 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 9c04df5c2932..4e3e9f21dcc0 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,17 @@ +2013-04-12 Ed Schonberg + + * sem_attr.adb (Check_Stream_Attribute): If restriction + No_Default_Stream_Attributes is active, it is illegal to use a + predefined elementary type stream attribute either by itself, + or more importantly as part of the attribute subprogram for a + composite type. However, if the broader restriction No_Streams + is active, then stream operations are not generated, and there + is no error. + +2013-04-12 Robert Dewar + + * gnatbind.adb: Minor reformatting. + 2013-04-12 Bob Duff * sem_attr.adb (Analyze_Access_Attribute): Treat P'Access like a diff --git a/gcc/ada/gnatbind.adb b/gcc/ada/gnatbind.adb index b332b13b85a5..63e7c142ceee 100644 --- a/gcc/ada/gnatbind.adb +++ b/gcc/ada/gnatbind.adb @@ -176,6 +176,9 @@ procedure Gnatbind is Max_Storage_At_Blocking => True, -- Not checkable at compile time + -- The following three should not be partition-wide, so the + -- following tests are junk to be removed eventually ??? + No_Specification_Of_Aspect => True, -- Requires a parameter value, not a count diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 770be4e811f4..a71cdd1bb8eb 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -1746,9 +1746,13 @@ package body Sem_Attr is -- AI05-0057: if restriction No_Default_Stream_Attributes is active, -- it is illegal to use a predefined elementary type stream attribute -- either by itself, or more importantly as part of the attribute - -- subprogram for a composite type. + -- subprogram for a composite type. However, if the broader + -- restriction No_Streams is active, stream operations are not + -- generated, and there is no error. - if Restriction_Active (No_Default_Stream_Attributes) then + if Restriction_Active (No_Default_Stream_Attributes) + and then not Restriction_Active (No_Streams) + then declare T : Entity_Id;