gcc/testsuite/gnat.dg/noinline2.ads

package Noinline2 is

  function F (A, B : Integer) return Integer;

end Noinline2;