/* { dg-do compile } */ /* { dg-options "-O2 -Wall" } */ /* { dg-require-effective-target indirect_jumps } */ #include jmp_buf buf; void foo (int); void bar (int) __attribute__((leaf)); void enumerate_locals (int indent) { foo (0); while (indent--) { int local_indent = 8 + (8 * indent); if (local_indent != 8) { setjmp (buf); bar (local_indent); /* { dg-bogus "may be used uninitialized" "" } */ } } foo (1); }