gcc/testsuite/gnat.dg/predicate12.adb

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

package body Predicate12 is
   procedure Dummy is null;
end Predicate12;