blob: bb79dff862f5c90e4e62af4e65d89ad8cccc722b [file] [log] [blame]
-- { dg-do run }
with System; use System;
procedure Addr15 is
function Get_Bound (Param : Integer) return Integer is (Param);
type Alpha_Typ is array (1 .. Get_Bound (1)) of Integer;
type Beta_Typ is array (1 .. Get_Bound (0)) of Integer;
Alpha : Alpha_Typ;
Beta : aliased Beta_Typ;
begin
if Alpha'Address = Beta'Address then
raise Program_Error;
end if;
end;