test/ud.c

   1 int g;
   2
   3 int f(int a, int b)
   4 {
   5   int x, y, z, z2, z3, z4, z5, z6;
   6
   7   x = a; /* okay */
   8   x = y; /* bad */
   9   y = b; /* okay */
  10   z = z; /* bad */
  11   z = g; /* okay */
  12
  13   if (z == g)
  14       z2 = 3;
  15   else
  16       z2 = 4;
  17
  18   x = z2; /* okay */
  19
  20   if (z == g)
  21     z3 = 3;
  22   else
  23     z4 = 4;
  24
  25   x = z3; /* bad */
  26   x = z4; /* bad */
  27
  28   if (z == g)
  29     z6 = 4;
  30
  31   x = z6; /* bad */
  32
  33   if (z == g)
  34     {
  35       int i, j;
  36
  37       i = x;  /* okay */
  38       i = j;  /* bad */
  39       z2 = i; /* okay */
  40       z3 = i; /* okay */
  41     }
  42   else
  43     {
  44       int i, j;
  45
  46       {
  47         int m;
  48
  49         j = i;  /* bad */
  50         i = z5; /* bad */
  51         z3 = j; /* okay */
  52         m = x;
  53       }
  54     }
  55
  56   x = z5; /* bad */
  57   x = z3; /* okay */
  58
  59   if (x == z3)
  60     {
  61       z4 = 7;
  62     }
  63
  64   x = z4; /* < not reported> */
  65   return 5;
  66 }
  67
  68
  69