gcc/testsuite/gnat.dg/unroll2.ads

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