testsuite/gnat.dg/inline18.adb

--  { dg-do compile }
--  { dg-options "-O -gnatn" }

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