exp_attr.adb (Rewrite_Stream_Proc_Call): When rewriting a stream attribute into…

exp_attr.adb (Rewrite_Stream_Proc_Call): When rewriting a stream attribute into a call of the corresponding suprogram...

2009-07-13  Ed Schonberg  <schonberg@adacore.com>

	* exp_attr.adb (Rewrite_Stream_Proc_Call): When rewriting a stream
	attribute into a call of the corresponding suprogram, create extra
	formals for the subprogram, because it may be a renaming whose
	analysis does not create extra formals.

From-SVN: r149564

gcc/ada/ChangeLog

+2009-07-13  Ed Schonberg  <schonberg@adacore.com>
+
+	* exp_attr.adb (Rewrite_Stream_Proc_Call): When rewriting a stream
+	attribute into a call of the corresponding suprogram, create extra
+	formals for the subprogram, because it may be a renaming whose
+	analysis does not create extra formals.
+
 2009-07-13  Emmanuel Briot  <briot@adacore.com>
 
 	* gnatcmd.adb, prj-proc.adb, prj-proc.ads, make.adb, prj-part.adb,

gcc/ada/exp_attr.adb

@@ -593,6 +593,14 @@ package body Exp_Attr is
             end if;
          end if;
 
+         --  The stream operation to call maybe a renaming created by
+         --  an attribute definition clause, and may not be frozen yet.
+         --  Ensure that it has the necessary extra formals.
+
+         if not Is_Frozen (Pname) then
+            Create_Extra_Formals (Pname);
+         end if;
+
          --  And now rewrite the call
 
          Rewrite (N,