xref: /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gnat.dg/elim2.adb

--  { dg-do run }

with elim1;
procedure elim2 is
begin
   null;
end;