1-- { dg-do run }
2-- { dg-options "-gnatws" }
3
4with System.Storage_Elements;
5with Array40_Pkg; use Array40_Pkg;
6
7procedure Array40 is
8
9  use System;
10  use System.Storage_Elements;
11
12begin
13  if A(1)'Size /= 40 then
14    raise Program_Error;
15  end if;
16
17  if (A(2)'Address - A(1)'Address) * System.Storage_Unit /= 40 then
18    raise Program_Error;
19  end if;
20
21end;
22