modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/vrp-5.c (about)

     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