gcc/testsuite/gnat.dg/array12.adb

   1 -- { dg-do run }
   2
   3 procedure Array12 is
   4
   5   function N return Integer is
   6   begin
   7     return 0;
   8   end;
   9
  10   subtype Element is String (1 .. N);
  11   type Ptr is access all Element;
  12   type Vector is array (Positive range <>) of aliased Element;
  13
  14   V : Vector (1..2);
  15
  16 begin
  17   if Ptr'(V(1)'Access) = V(2)'Access then
  18     raise Program_Error;
  19   end if;
  20 end;