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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

-- { dg-do compile }

package body Discr35 is

   procedure Proc1 is
     R : Rec2 := Null_Rec2;
   begin
     null;
   end;

   procedure Proc2 is
     R : Rec2;
   begin
     R := Null_Rec2;
   end;

end Discr35;