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