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

--  { dg-do compile }
--  { dg-options "-gnata" }

package body Predicate7 is
   procedure Foo is null;
end;