gcc/testsuite/gcc.dg/pr57149.c

   1 /* PR tree-optimization/57149 */
   2 /* { dg-do compile } */
   3 /* { dg-options "-Os -Wuninitialized" } */
   4
   5 struct A { struct A *a, *b; };
   6 struct D { struct A e; };
   7 struct E { unsigned char f; struct { struct A e; } g; };
   8 struct F { struct E i[32]; };
   9
  10 extern int fn0 (void);
  11 extern int fn1 (struct E *, struct D *);
  12
  13 static inline __attribute__ ((always_inline)) int
  14 fn2 (const struct A *x)
  15 {
  16   return x->a == x;
  17 }
  18
  19 static int
  20 fn3 (struct E *x)
  21 {
  22   struct D *l, *m;
  23   int retval = retval;
  24   if (fn2 (&x->g.e))
  25     return 0;
  26   for (l = (struct D *) x->g.e.a, m = (struct D *) l->e.a;
  27        &l->e != &x->g.e;
  28        l = m, m = (struct D *) m->e.a)
  29     retval = fn1 (x, l);
  30   return retval;
  31 }
  32
  33 void
  34 fn4 (struct F *x, unsigned k)
  35 {
  36   unsigned i;
  37   for (i = 0; i < k; i++)
  38     {
  39       struct E *y = &x->i[i];
  40       int err = -22;
  41       err = fn3 (y);
  42       if (y->f == 0)
  43         {
  44           if (err > 0)
  45             err = fn0 ();
  46           if (err < 0)  /* { dg-bogus "may be used uninitialized in this function" } */
  47             fn0 ();
  48         }
  49     }
  50 }