--  { dg-do compile }

procedure Max_Align is
   type Block is record
      X : Integer;
   end record;
   for Block'Alignment use Standard'Maximum_Alignment;

   type Block_Access is access Block;
   Ptr : Block_Access := new Block;
begin
   null;
end;