1 /* PR middle-end/94412 */
2 
3 typedef unsigned V __attribute__ ((__vector_size__ (sizeof (unsigned) * 2)));
4 
5 void
foo(V * v,V * w)6 foo (V *v, V *w)
7 {
8   *w = -*v / 11;
9 }
10 
11 void
bar(V * v,V * w)12 bar (V *v, V *w)
13 {
14   *w = -18 / -*v;
15 }
16 
17 int
main()18 main ()
19 {
20   V a = (V) { 1, 0 };
21   V b = (V) { 3, __INT_MAX__ };
22   V c, d;
23   foo (&a, &c);
24   bar (&b, &d);
25   if (c[0] != -1U / 11 || c[1] != 0 || d[0] != 0 || d[1] != -18U / -__INT_MAX__)
26     __builtin_abort ();
27   return 0;
28 }
29