gcc/testsuite/gcc.dg/pr96377-1.c

   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 }