(root)/
gcc-13.2.0/
gcc/
testsuite/
gnat.dg/
vect7.adb
-- { dg-do compile }

package body Vect7 is

  procedure Assign is
    v1 : constant v4sf := (-1.0, -2.0, -3.0, -4.0);
    v2 : v4sf := v1;
    v3 : v4sf;
  begin
    v3 := vzero;
    v3 := vconst;
    v3 := v1;
    v3 := v2;
    v3 := (1.0, -2.0, 3.0, -4.0);
    v3 := (1.0, -2.0, 3.0, F);

    v2 := vzero;
  end;

end Vect7;