1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -Wall" } */
       3  
       4  typedef struct
       5  {
       6    int p1;
       7    int p2;
       8    int p3;
       9  } P;
      10  struct S
      11  {
      12    int field;
      13  };
      14  extern int v2;
      15  extern void foo (struct S *map);
      16  static struct S var;
      17  const P *pv;
      18  int ps;
      19  void
      20  f (void)
      21  {
      22    if (pv != 0)
      23      for (const P *ph = pv; ph < &pv[ps]; ++ph)
      24        switch (ph->p1)
      25  	{
      26  	case 1:
      27  	v2 = ph->p2;
      28  	break;
      29  	case 2:
      30  	var.field = ph->p3;
      31  	break;
      32  	}
      33    if (var.field != 0) /* { dg-bogus "uninitialized" } */
      34      foo (&var);
      35  }