gcc/testsuite/gcc.dg/pr93054.c

/* { dg-do compile } */

__attribute__ ((returns_twice)) int
bp (int);

__attribute__ ((noreturn)) int
cb (void)
{
  return bp (cb ()); /* { dg-warning "declared .noreturn." } */
}