1 /* { dg-do compile } */
2 /* { dg-options "-O2 -Wall" } */
3 
4 #include <setjmp.h>
5 
6 struct node
7 {
8   struct node *next;
9   char *name;
10 } *list;
11 
12 struct node *list;
13 struct node *head (void);
14 
15 jmp_buf *bar (void);
16 
baz(void)17 int baz (void)
18 {
19   struct node *n;
20   int varseen = 0;
21 
22   list = head ();
23   for (n = list; n; n = n->next)
24     {
25       if (!varseen)
26 	varseen = 1;
27 
28       jmp_buf *buf = bar ();  /* { dg-bogus "may be used uninitialized" "" } */
29       setjmp (*buf);
30     }
31 
32   if (!varseen)
33     return 0;
34   return 1;
35 }
36