gcc-4.9/gcc/testsuite/gnat.dg/renaming1.adb


1
2
3
4
5
6
7
8
9
10
11
12
13

-- { dg-do compile}
-- { dg-options "-gnatwa" }

with Text_IO;
use Text_IO;
package body renaming1 is
   procedure Fo (A : Text_IO.File_Access) is
   begin
      if A = Text_IO.Standard_Output then
         null;
      end if;
   end Fo;
end;