xref: /dports/lang/gnat_util/gcc-6-20180516/gcc/testsuite/gnat.dg/elim2.adb

--  { dg-do run }

with elim1;
procedure elim2 is
begin
   null;
end;