1 // Test for buggy mangling of attribute noreturn in abi<=4
2 // { dg-options -fabi-version=4 }
4 void baz (const char *fmt, ...);
6 // { dg-final { scan-assembler "_Z3barPVFvPKczE" } }
7 void bar (void (*baz) (const char *fmt, ...)
8 __attribute__ ((noreturn, format (printf, 1, 2))));