gcc/testsuite/gnat.dg/inline16.adb

   1 --  { dg-do compile }
   2 --  { dg-options "-gnatN" }
   3
   4 with Inline16_Types; use Inline16_Types;
   5 with Inline16_Gen;
   6
   7 procedure Inline16 is
   8    type TYPE1 is record
   9       f1 : NvU32;
  10       f2 : NvU32;
  11       f3 : NvU32;
  12    end record
  13       with Size => 96, Object_Size => 96;
  14
  15    package Gfw_Image_Read_Pkg1 is new Inline16_Gen (Payload_Type => TYPE1);
  16    use Gfw_Image_Read_Pkg1;
  17    procedure Get_Boot_Block_Info(Status : out Integer)
  18    is
  19       Ifr_Fixed_Min       : TYPE1;
  20    begin
  21       Gfw_Image_Read(Ifr_Fixed_Min);
  22       Status := 13;
  23    end Get_Boot_Block_Info;
  24 begin
  25    null;
  26 end Inline16;