gcc/testsuite/gnat.dg/loop_optimization17_pkg.adb

package body Loop_Optimization17_Pkg is

  function F (V : Vector) return Vector is begin return V; end;

end Loop_Optimization17_Pkg;