-- { dg-do compile }
-- { dg-options "-gnatws -O2 -fdump-tree-optimized" }

with System; use System;
with System.CRTL; use System.CRTL;

function Opt60 (Size : size_t) return System.Address is
  Result : System.Address;
begin
  Result := malloc (Size);
  if Result = System.Null_Address then
    raise Program_Error;
  end if;
  return Result;
end;

-- { dg-final { scan-tree-dump "== 0B" "optimized" } }