view gcc/testsuite/gcc.c-torture/execute/pr90311.c @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 2b5abeee2509
children
line wrap: on
line source

/* PR rtl-optimization/90311 */

int a, b;

int
main ()
{
  unsigned long long x;
  unsigned int c;
  __builtin_add_overflow ((unsigned char) a, b, &c);
  b -= c < (unsigned char) a;
  x = b;
  if (x)
    __builtin_abort ();
  return 0;
}