1 /* { dg-do compile } */
2 /* { dg-options "-O2 -Wall" } */
3 
4 #include <setjmp.h>
5 
6 jmp_buf buf;
7 
8 void foo (int);
9 void bar (int) __attribute__((leaf));
10 
enumerate_locals(int indent)11 void enumerate_locals (int indent)
12 {
13   foo (0);
14   while (indent--)
15     {
16       int local_indent = 8 + (8 * indent);
17       if (local_indent != 8)
18 	{
19 	  setjmp (buf);
20 	  bar (local_indent);  /* { dg-bogus "may be used uninitialized" "" } */
21 	}
22     }
23   foo (1);
24 }
25