pr26898-2.c

来自「用于进行gcc测试」· C语言 代码 · 共 13 行

/* { 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;
}