gcc/testsuite/gnat.dg/inline_scope.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-gnatN" }
   3
   4 with inline_scope_p;
   5 procedure 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;
  13 begin
  14    null;
  15 end;