20 lines
534 B
Ada
20 lines
534 B
Ada
-- { 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;
|