xref: /dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/gnat.dg/noinline2.ads

package Noinline2 is

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

end Noinline2;