gcc/testsuite/gnat.dg/warn32.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

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