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

     1  /* PR sanitizer/81281 */
     2  
     3  void
     4  foo (unsigned p, unsigned a, unsigned b)
     5  {
     6    unsigned q = p + 7;
     7    if (a - (1U + __INT_MAX__) >= 2)
     8      __builtin_unreachable ();
     9    int d = p + b;
    10    int c = p + a;
    11    if (c - d != __INT_MAX__)
    12      __builtin_abort ();
    13  }
    14  
    15  void
    16  bar (unsigned p, unsigned a)
    17  {
    18    unsigned q = p + 7;
    19    if (a - (1U + __INT_MAX__) >= 2)
    20      __builtin_unreachable ();
    21    int c = p;
    22    int d = p + a;
    23    if (c - d != -__INT_MAX__ - 1)
    24      __builtin_abort ();
    25  }
    26  
    27  int
    28  main ()
    29  {
    30    foo (-1U, 1U + __INT_MAX__, 1U);
    31    bar (-1U, 1U + __INT_MAX__);
    32    return 0;
    33  }