+
−/* { dg-do compile } */
+
−/* { dg-options "-O -Wuninitialized" } */
+
−
+
−int  *p, *q;
+
−
+
−int foo (int b)
+
−{
+
−  int i, j = 0;
+
−  int *x;
+
−  p = &i;
+
−  q = &j;
+
−  if (b)
+
−    x = p;  /* { dg-warning "i. may be used uninitialized" } */
+
−  else
+
−    x = q;
+
−  return *x;
+
−}
+
−