1--  { dg-do compile }
2--  { dg-options "-gnatN" }
3
4with Inline16_Types; use Inline16_Types;
5with Inline16_Gen;
6
7procedure 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;
24begin
25   null;
26end Inline16;
27