gcc/testsuite/gnat.dg/discr8.ads


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

with Discr8_Pkg1; use Discr8_Pkg1;

package Discr8 is

  type Tag_T is (Tag_One, Tag_Two);

  type Local_T (Tag : Tag_T := Tag_One) is
    record
      case Tag is
        when Tag_One =>
          A : T;
          B : Integer;
        when Tag_Two =>
          null;
      end case;
    end record;

  procedure Make (C : out Local_T);

end Discr8;