gcc/testsuite/c-c++-common/analyzer/pr93546.c

/* { dg-do compile } */
/* { dg-require-effective-target label_values } */

void
ch (int x1)
{
  ({ bx: &&bx; });
  while (x1 == 0) /* { dg-warning "infinite loop" } */
    {
    }
}