summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/discr9.ads
blob: 5edde81bff8d55244312ced115bc234647bea693 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
package Discr9 is

   type IArr is Array (Natural range <>) of Integer;
   type CArr is Array (Natural range <>) of Character;

   type Var_R (D1 : Boolean; D2 : Boolean) is record
      case D1 is
	 when True =>
	    L : IArr (1..4);
	    M1, M2 : CArr (1..16);
	 when False =>
	    null;
      end case;
   end record;

   type R (D1 : Boolean; D2 : Boolean) is record
      Field : Var_R (D1, D2);
   end record;

   procedure Proc (From : in R; To : out R);

end Discr9;