gcc/testsuite/gcc.dg/pr57287-2.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -Wall" } */
   3
   4 #include <setjmp.h>
   5
   6 struct node
   7 {
   8   struct node *next;
   9   char *name;
  10 } *list;
  11
  12 struct node *list;
  13 struct node *head (void);
  14
  15 jmp_buf *bar (void);
  16
  17 int baz (void)
  18 {
  19   struct node *n;
  20   int varseen = 0;
  21
  22   list = head ();
  23   for (n = list; n; n = n->next)
  24     {
  25       if (!varseen)
  26         varseen = 1;
  27
  28       jmp_buf *buf = bar ();  /* { dg-bogus "may be used uninitialized" "" } */
  29       setjmp (*buf);
  30     }
  31
  32   if (!varseen)
  33     return 0;
  34   return 1;
  35 }