summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/discr8.ads
blob: 80dd2f652ce34f57dc6d1119741aacbeb216b38c (plain)
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;