gcc/testsuite/gnat.dg/slice6.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-gnatws" }
   3
   4 with Slice6_Pkg; use Slice6_Pkg;
   5
   6 procedure Slice6 is
   7
   8   procedure Send (V_LENGTH : SHORT_INTEGER) is
   9
  10     V : Integer;
  11
  12     V_BLOCK : T_BLOCK (1 .. 4096);
  13     for V_BLOCK use at V'Address;
  14
  15     V_MSG : T_MSG ;
  16
  17   begin
  18     V_MSG := (V_LENGTH, 1, V_BLOCK (1 .. V_LENGTH));
  19   end;
  20
  21 begin
  22   null;
  23 end;