gcc/testsuite/gcc.dg/bitint-94.c

/* PR middle-end/114084 */
/* { dg-do compile { target bitint } } */
/* { dg-options "-std=c23 -pedantic-errors" } */

typedef unsigned _BitInt(31) T;
T a, b;

void
foo (void)
{
  b = (T) ((a | (-1U >> 1)) >> 1 | (a | 5) << 4);
}