summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/specs/varsize_return_pkg1.ads
blob: 792b7a5ce2c92387433a983d5109461b53a71151 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
-- { dg-excess-errors "no code generated" }

with Varsize_Return_Pkg2;

generic
  type Id_T is range <>;
package Varsize_Return_Pkg1 is
  
  type Variable_Data_T (Fixed : Boolean := False) is
    record
      case Fixed is
        when True =>
          Length : Natural;
        when False =>
          null;
      end case;
    end record;
  
  function Is_Fixed return Boolean;

  type Variable_Data_Fixed_T is new Variable_Data_T (Is_Fixed);
  
  package Db is new Varsize_Return_Pkg2 (Id_T => Id_T,
                                         Data_T => Variable_Data_Fixed_T);

end Varsize_Return_Pkg1;