/* { dg-do link } */
/* This used to cause a linker failure because GCC would output
assembler code referencing labels that it had not output. */
void *jmpbuf[6];
void
foo (void)
{
__builtin_setjmp (jmpbuf);
}
int
main (void)
return 0;