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