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

     1  /* PR middle-end/26561 */
     2  
     3  extern void abort(void);
     4  
     5  int always_one_1 (int a)
     6  {
     7    if (a/100 >= -999999999)
     8      return 1;
     9    else
    10      return 0;
    11  }
    12  
    13  int always_one_2 (int a)
    14  {
    15    if (a/100 < -999999999)
    16      return 0;
    17    else
    18      return 1;
    19  }
    20  
    21  int main(void)
    22  {
    23    if (always_one_1 (0) != 1)
    24      abort ();
    25  
    26    if (always_one_2 (0) != 1)
    27      abort ();
    28  
    29    return 0;
    30  }
    31