1  /* { dg-do run } */
       2  /* { dg-options "-fstrict-overflow" } */
       3  
       4  int main ()
       5  {
       6    int a = 0;
       7    int b = __INT_MAX__;
       8    int t = (a - 2) > (b - 1);
       9    if (t != 0)
      10      __builtin_abort();
      11    return 0;
      12  }