gcc/testsuite/gcc.dg/uninit-pr61112.c

   1 /* PR tree-optimization/61112 - repeated conditional triggers false-positive
   2    -Wmaybe-uninitialized warning
   3    { dg-do compile }
   4    { dg-options "-O2 -Wall" } */
   5
   6 int p;
   7
   8 void foo_c0 (int x, int y, int z)
   9 {
  10   int w;
  11   if (x)
  12     w = z;
  13   if (y)
  14     w = __LINE__;
  15
  16   if (x || y)
  17     p = w;          // { dg-bogus "-Wmaybe-uninitialized" }
  18 }
  19
  20
  21 void foo_c5_1_1 (int x, int y, int z, int a)
  22 {
  23   int w;
  24   if (x)
  25     w = z;
  26   if (y)
  27     w = __LINE__;
  28   if (a)
  29     w = __LINE__;
  30
  31   if (x || y || a)
  32     p = w;
  33 }
  34
  35 void foo_c5_1_2 (int x, int y, int z, int a)
  36 {
  37   int w;
  38   if (x)
  39     w = z;
  40   if (y)
  41     w = __LINE__;
  42   if (a)
  43     w = __LINE__;
  44
  45   if (x || a || y)
  46     p = w;
  47 }
  48
  49 void foo_c5_1_3 (int x, int y, int z, int a)
  50 {
  51   int w;
  52   if (x)
  53     w = z;
  54   if (y)
  55     w = __LINE__;
  56   if (a)
  57     w = __LINE__;
  58
  59   if (a || x || y)
  60     p = w;
  61 }
  62
  63 void foo_c5_2 (int x, int y, int z, int a)
  64 {
  65   int w;
  66   if (x)
  67     w = __LINE__;
  68   if (y)
  69     w = z;
  70   if (a)
  71     w = __LINE__;
  72
  73   if (x || y || a)
  74     p = w;          // { dg-bogus "-Wmaybe-uninitialized" }
  75 }
  76
  77 void foo_c5_3 (int x, int y, int z, int a)
  78 {
  79   int w;
  80   if (x)
  81     w = __LINE__;
  82   if (y)
  83     w = __LINE__;
  84   if (a)
  85     w = z;
  86
  87   if (x || y || a)
  88     p = w;          // { dg-bogus "-Wmaybe-uninitialized" }
  89 }