-- { 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; |