gcc/testsuite/gnat.dg/specs/discr4.ads

   1 -- { dg-do compile }
   2 -- { dg-options "-O" }
   3
   4 with Discr4_Pkg; use Discr4_Pkg;
   5
   6 package Discr4 is
   7
   8    type Data is record
   9       Val : Rec;
  10       Set : Boolean;
  11    end record;
  12
  13    type Pair is record
  14       Lower, Upper : Data;
  15    end record;
  16
  17    function Build (L, U : Rec) return Pair is ((L, True), (U, False));
  18
  19    C1 : constant Pair := Build (Rec_One, Rec_Three);
  20
  21    C2 : constant Pair := Build (Get (0), Rec_Three);
  22
  23 end Discr4;