pr36300-1.c

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

/* { dg-do run } */
/* { dg-options "-O2 -fwrapv" } */

extern void abort (void);

#define VALUE ((int)((long long)U1 * (long long)3) + 2)

int main(void)
{
  int U1;
  long long Y, Y2;
  int t;

  U1 = -2147483647-1;

  Y = ((long long)(VALUE * VALUE) * 3);

  t = VALUE;
  Y2 = ((long long)(t * t) * 3);

  if (Y != Y2)
    abort ();
  return 0;
}