1  /* { dg-require-effective-target int32plus } */
       2  extern void exit (int);
       3  extern void abort ();
       4  
       5  void test(unsigned int a, unsigned int b)
       6  {
       7    if (a < 5)
       8      abort();
       9    if (b < 5)
      10      abort();
      11    if (a + b != 0U)
      12      abort();
      13  }
      14  
      15  int main(int argc, char *argv[])
      16  {
      17    unsigned int x = 0x80000000;
      18    test(x, x);
      19    exit (0);
      20  }
      21  
      22  
      23