/* PR tree-optimization/113421 */
/* { dg-do run { target bitint } } */
/* { dg-options "-std=c23 -pedantic-errors" } */
/* { dg-skip-if "" { ! run_expensive_tests }  { "*" } { "-O0" "-O2" } } */
/* { dg-skip-if "" { ! run_expensive_tests } { "-flto" } { "" } } */

#if __BITINT_MAXWIDTH__ >= 1024
unsigned _BitInt(1024) a = -5wb;

__attribute__((noipa)) void
foo (unsigned _BitInt(1024) x)
{
  a *= x;
}
#else
int a = 30;

void
foo (int)
{
}
#endif

int
main ()
{
  foo (-6wb);
  if (a != 30wb)
    __builtin_abort ();
  return 0;
}