gcc/testsuite/gnat.dg/array9.adb

   1 -- { dg-do run }
   2
   3 procedure Array9 is
   4
   5   V1 : String(1..10) := "1234567890";
   6   V2 : String(1..-1) := "";
   7
   8   procedure Compare (S : String) is
   9   begin
  10     if S'Size /= 8*S'Length then
  11       raise Program_Error;
  12     end if;
  13   end;
  14
  15 begin
  16   Compare ("");
  17   Compare ("1234");
  18   Compare (V1);
  19   Compare (V2);
  20 end;