gcc/testsuite/gcc.dg/pr57287.c

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