// Test that attribute noreturn is not part of the mangled name.// { dg-options -fabi-version=0 }voidbaz(constchar*fmt,...);// { dg-final { scan-assembler "_Z3barPFvPKczE" } }voidbar(void(*baz)(constchar*fmt,...)__attribute__((noreturn,format(printf,1,2))));voidfoo(){bar(&baz);}