summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/array9.adb
blob: 4a13876187241ab86a5f11e4622575d5217b11d2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
-- { dg-do run }

procedure Array9 is

  V1 : String(1..10) := "1234567890";
  V2 : String(1..-1) := "";

  procedure Compare (S : String) is
  begin
    if S'Size /= 8*S'Length then
      raise Program_Error;
    end if;
  end;

begin
  Compare ("");
  Compare ("1234");
  Compare (V1);
  Compare (V2);
end;