summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/array12.adb
blob: 3748d5ec206b82583e8bea08962d5f6ce5045289 (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 Array12 is

  function N return Integer is
  begin
    return 0;
  end;

  subtype Element is String (1 .. N);
  type Ptr is access all Element;
  type Vector is array (Positive range <>) of aliased Element;

  V : Vector (1..2);

begin
  if Ptr'(V(1)'Access) = V(2)'Access then
    raise Program_Error;
  end if;
end;