PR tree-optimization/81303

[official-gcc.git] / gcc / testsuite / gnat.dg / vect5_pkg.ads

package Vect5_Pkg is

   function K return Positive;
   function N return Positive;

end Vect5_Pkg;