gcc/testsuite/gnat.dg/opt35_pkg.ads

package Opt35_Pkg is

  pragma Pure;

  E : Exception;

  function F (I : Integer) return Integer;

end Opt35_Pkg;