1  /* { dg-do compile } */
       2  /* { dg-options "-O1 -ftrapv" } */
       3  
       4  unsigned int
       5  foo (unsigned int *x, const unsigned int *y, int z, unsigned int w)
       6  {
       7    unsigned int a, b, c, s;
       8    int j;
       9    j = -z;
      10    x -= j;
      11    y -= j;
      12    a = 0;
      13    do
      14      {
      15        asm volatile ("" : "=d" (b), "=d" (c) : "r" (y[j]), "d" (w)); /* { dg-error "'asm' operand has impossible constraints" } */
      16        c += a;
      17        a = (c < a) + b;
      18        s = x[j];
      19        c = s + c;
      20        a += (c < s);
      21        x[j] = c;
      22      }
      23    while (++j != 0);
      24    return a;
      25  }