1  /* { dg-do run } */
       2  /* { dg-require-effective-target int32plus } */
       3  
       4  int main ()
       5  {
       6    int a = 2;
       7    int b = 1;
       8  
       9    int t = -1 * ( -0x40000000 * a / ( -0x20000000 + b ) )  / -1;
      10  
      11    if (t != 4) __builtin_abort();
      12  
      13    return 0;
      14  }