1-- { dg-do compile }
2-- { dg-options "-gnatN" }
3
4with inline_scope_p;
5procedure inline_scope (X : Integer) is
6   type A is array (Integer range 1 .. 2) of Boolean;
7   S : A;
8   pragma Warnings (Off, S);
9   procedure Report_List  is
10   begin
11      inline_scope_p.Assert (S (1), Natural'Image (Natural (1)));
12   end Report_List;
13begin
14   null;
15end;
16