(root)/
gcc-13.2.0/
gcc/
testsuite/
gnat.dg/
storage_size1.adb
--  { dg-do compile }

with Ada.Text_IO; with Ada.Integer_Text_IO;

procedure Storage_Size1 is

  package O renames Ada.Text_IO;
  package T renames Ada.Integer_Text_IO;

  type Struct is record first, second: Integer; end record;

  type SP is access Struct
      with Storage_Size => 64 * Struct'Max_Size_In_Storage_Elements;

begin

  T.Put(SP'Storage_Size); O.New_Line(1);

end Storage_Size1;