gcc-4.9/gcc/testsuite/gcc.dg/torture/pr26898-2.c


1
2
3
4
5
6
7
8
9
10
11
12

/* { dg-do run } */

#include <limits.h>

int a = 0, b = INT_MAX - 1;
extern void abort(void);
int main()
{
  if (a - 1 > b + 1)
    abort();
  return 0;
}