1  /* { dg-do run } */
       2  /* { dg-require-effective-target int32plus } */
       3  
       4  unsigned a;
       5  int main()
       6  {
       7    unsigned b = 1;
       8    for (; b < 4; b++) {
       9        a = (a ^ 2000000000) * -b;
      10        if (b > a)
      11  	__builtin_abort ();
      12        a = 3000000000;
      13    }
      14    return 0;
      15  }