gcc/testsuite/gnat.dg/unroll2.ads

   1 package Unroll2 is
   2
   3    type Sarray is array (1 .. 4) of Float;
   4
   5    function "+" (X, Y : Sarray) return Sarray;
   6    procedure Add (X, Y : Sarray; R : out Sarray);
   7
   8 end Unroll2;