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

   1 /* PR libgcc/114762 */
   2 /* { dg-do run { target bitint } } */
   3 /* { dg-options "-std=c23" } */
   4 /* { dg-skip-if "" { ! run_expensive_tests }  { "*" } { "-O0" "-O2" } } */
   5 /* { dg-skip-if "" { ! run_expensive_tests } { "-flto" } { "" } } */
   6
   7 #if __BITINT_MAXWIDTH__ >= 255
   8 __attribute__((__noipa__)) signed _BitInt(255)
   9 foo (signed _BitInt(255) a, signed _BitInt(65) b)
  10 {
  11   return a / b;
  12 }
  13 #endif
  14
  15 int
  16 main ()
  17 {
  18 #if __BITINT_MAXWIDTH__ >= 255
  19   if (foo (1, -0xffffffffffffffffwb - 1wb))
  20     __builtin_abort ();
  21 #endif
  22 }