gcc/testsuite/gcc.dg/torture/bitint-58.c

   1 /* PR tree-optimization/113849 */
   2 /* { dg-do run { target bitint } } */
   3 /* { dg-options "-std=c23 -pedantic-errors" } */
   4 /* { dg-skip-if "" { ! run_expensive_tests }  { "*" } { "-O0" "-O2" } } */
   5 /* { dg-skip-if "" { ! run_expensive_tests } { "-flto" } { "" } } */
   6
   7 signed char c;
   8 unsigned _BitInt(512) b;
   9
  10 __attribute__((noipa)) void
  11 foo (unsigned _BitInt(511) a, int *x)
  12 {
  13   int z = (a << 510) <= b;
  14   *x = z + c;
  15 }
  16
  17 int
  18 main ()
  19 {
  20   int x;
  21   foo (2, &x);
  22   if (x != 1)
  23     __builtin_abort ();
  24   return 0;
  25 }