view gcc/testsuite/gnat.dg/storage_size1.adb @ 152:2b5abeee2509

update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
parents 1830386684a0
children
line wrap: on
line source

--  { 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;