1 2 3 4 5 6
-- { dg-do compile } -- { dg-options "-gnata" } package body Predicate7 is procedure Foo is null; end;