-- { dg-do compile } -- { dg-options "-O -gnatn -Winline -cargs --param max-inline-insns-single=50 -margs" } with Ada.Containers.Vectors; with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; with Ada.Text_IO; procedure Warn32 is type Selected_Block_T is record Contents : Unbounded_String; File_Name : Unbounded_String; end record; pragma Warnings (Off, "-Winline"); package Selected_Block_List is new Ada.Containers.Vectors (Natural, Selected_Block_T); begin Ada.Text_Io.Put_Line ("Hello World!"); end;