// Test that attribute noreturn is not part of the mangled name.
// { dg-options -fabi-version=0 }

void baz (const char *fmt, ...);

// { dg-final { scan-assembler "_Z3barPFvPKczE" } }
void bar (void (*baz) (const char *fmt, ...)
			   __attribute__ ((noreturn, format (printf, 1, 2))));

void
foo ()
{
  bar (&baz);
}