1  /* { dg-options "-fno-lax-vector-conversions -Wno-psabi" } */
       2  /* { dg-message "use '-flax-vector-conversions' to permit conversions" "" { target *-*-* } 0 } */
       3  
       4  typedef int v4si __attribute__((vector_size(16)));
       5  typedef short v8hi __attribute__((vector_size(16)));
       6  
       7  struct s { v8hi x; v4si y; };
       8  union u1 { v8hi x; v4si y; };
       9  union u2 { v4si s; v8hi y; };
      10  
      11  void
      12  foo (v4si i, v8hi h)
      13  {
      14    struct s x1 = { i, i }; // { dg-error "incompatible types when initializing type '__vector" }
      15    struct s x2 = { h, h }; // { dg-error "incompatible types" }
      16    struct s x3 = { i, h }; // { dg-error "incompatible types" }
      17    struct s x4 = { h, i };
      18  
      19    union u1 y1 = { i }; // { dg-error "incompatible types" }
      20    union u1 y2 = { h };
      21    union u2 y3 = { i };
      22    union u2 y4 = { h }; // { dg-error "incompatible types" }
      23  
      24    v4si z1[] = { i, i };
      25    v4si z2[] = { i, h }; // { dg-error "incompatible types" }
      26    v4si z3[] = { h, i }; // { dg-error "incompatible types" }
      27    v4si z4[] = { h, h }; // { dg-error "incompatible types" }
      28    v8hi z5[] = { i, i }; // { dg-error "incompatible types" }
      29    v8hi z6[] = { i, h }; // { dg-error "incompatible types" }
      30    v8hi z7[] = { h, i }; // { dg-error "incompatible types" }
      31    v8hi z8[] = { h, h };
      32  }