/* { dg-do compile } */
/* { dg-options "-O2 -Wall" } */

#include <setjmp.h>

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);
}