1  /* PR middle-end/94412 */
       2  
       3  typedef unsigned V __attribute__ ((__vector_size__ (sizeof (unsigned) * 2)));
       4  
       5  void
       6  foo (V *v, V *w)
       7  {
       8    *w = -*v / 11;
       9  }
      10  
      11  void
      12  bar (V *v, V *w)
      13  {
      14    *w = -18 / -*v;
      15  }
      16  
      17  int
      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  }