gcc/testsuite/gcc.dg/pr57287.c

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