procedure P is
   type Vec is array (Integer range <>) of Integer;
   subtype Vec_10_Sub is Vec (0 .. 10);

   procedure Nothing  (X : Vec_10_Sub) is
   begin
      null;
   end Nothing;

   function F return Integer with Global => null is
   begin
      return 1;
   end F;

   A : Vec (F .. 10) := (others => 0);
begin
   Nothing (A);  --  @LENGTH_CHECK:FAIL
end P;
