gcc/testsuite/gnat.dg/vect11.ads

   1 package Vect11 is
   2
   3    -- Constrained array types are vectorizable
   4    type Sarray is array (1 .. 4) of Float;
   5    for Sarray'Alignment use 16;
   6
   7    function "+" (X, Y : Sarray) return Sarray;
   8    procedure Add (X, Y : Sarray; R : out Sarray);
   9    procedure Add (X, Y : not null access Sarray; R : not null access Sarray);
  10
  11 end Vect11;