blob: 227288d368f8703cea316dea1c63d839081b2563 [file] [log] [blame]
-- { dg-do run }
-- { dg-options "-gnatws" }
with System.Storage_Elements;
with Array40_Pkg; use Array40_Pkg;
procedure Array40 is
use System;
use System.Storage_Elements;
begin
if A(1)'Size /= 40 then
raise Program_Error;
end if;
if (A(2)'Address - A(1)'Address) * System.Storage_Unit /= 40 then
raise Program_Error;
end if;
end;