[multiple changes]

2013-04-12  Ed Schonberg  <schonberg@adacore.com>

	* 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  <dewar@adacore.com>

	* gnatbind.adb: Minor reformatting.

From-SVN: r197914

gcc/ada/ChangeLog

+2013-04-12  Ed Schonberg  <schonberg@adacore.com>
+
+	* 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  <dewar@adacore.com>
+
+	* gnatbind.adb: Minor reformatting.
+
 2013-04-12  Bob Duff  <duff@adacore.com>
 
 	* sem_attr.adb (Analyze_Access_Attribute): Treat P'Access like a

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
 

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;