gcc/testsuite/gnat.dg/inline17_pkg3.ads

   1
   2 package Inline17_Pkg3 is
   3
   4    type SQL_Field is tagged null record;
   5
   6    function "+" (Field : SQL_Field'Class) return Integer;
   7
   8    type Ref is record
   9       Data : Integer;
  10    end record;
  11
  12    function Unchecked_Get (Self : Ref) return Integer with Inline_Always;
  13
  14    function Get (Self : Ref) return Integer is (Unchecked_Get (Self));
  15
  16 end Inline17_Pkg3;