1typedef int jmp_buf[10];
2struct S
3{
4  int i;
5  jmp_buf buf;
6};
7
8void setjmp (jmp_buf);
9void foo (int *);
10__attribute__ ((__noreturn__, __nonnull__)) void bar (struct S *);
11
12void
13baz (struct S *p)
14{
15  bar (p);
16  setjmp (p->buf);
17  foo (&p->i);
18}
19