1 /* { dg-do compile } */
2 /* { dg-options "-O2 -Wall" } */
3 
4 #include <setjmp.h>
5 
6 void bar (int);
7 
8 jmp_buf buf;
9 int v;
10 
11 void
foo(void)12 foo (void)
13 {
14   int i;
15   bar (0);
16   bar (1);
17   i = 5;
18   int j = setjmp (buf);
19   if (j == 0)
20     bar (2);
21   v = i;	/* { dg-bogus "may be used uninitialized in this function" } */
22 }
23