/* PR tree-optimization/113297 */
/* { dg-do compile { target bitint } } */
/* { dg-require-stack-check "generic" } */
/* { dg-options "-std=c23 -O -fno-tree-fre --param=large-stack-frame=1024 -fstack-check=generic" } */

#if __BITINT_MAXWIDTH__ >= 513
typedef _BitInt(513) B;
#else
typedef int B;
#endif

static inline __attribute__((__always_inline__)) void
bar (B x)
{
  B y = x;
  if (y)
    __builtin_abort ();
}

void
foo (void)
{
  bar (0);
}