gcc/testsuite/gnat.dg/inline17_pkg3.ads


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


package Inline17_Pkg3 is

   type SQL_Field is tagged null record;

   function "+" (Field : SQL_Field'Class) return Integer;

   type Ref is record
      Data : Integer;
   end record;

   function Unchecked_Get (Self : Ref) return Integer with Inline_Always;

   function Get (Self : Ref) return Integer is (Unchecked_Get (Self));

end Inline17_Pkg3;