gcc/testsuite/gnat.dg/specs/lto3_pkg1.adb


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

package body Lto3_Pkg1 is

  function Is_Fixed return Boolean is
  begin
    return True;
  end Is_Fixed;

  function Do_Item (I : Natural) return Variable_Data_Fixed_T is
    It : Variable_Data_Fixed_T;
  begin
    return It;
  end Do_Item;

  My_Db : Db.T;

  procedure Run is
    Kitem : Variable_Data_Fixed_T;
    I : Natural;
  begin
    Kitem := Db.Get (My_Db);
    Kitem := Do_Item (I);
  end Run;

end Lto3_Pkg1;