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)11void 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