1  /* { dg-do run } */
       2  /* { dg-additional-options "-fstrict-aliasing" } */
       3  
       4  int a, c, *d = &c, **e = &d, *g = &a;
       5  static int ***b, **f = &d;
       6  
       7  int
       8  main ()
       9  {
      10    **f = 0;
      11    int ****h = 0;
      12    if (c) 
      13      {
      14        *h = &e; 
      15        ***b = 0;
      16      }
      17    *e = g;
      18  
      19    if (d != &a)
      20      __builtin_abort ();
      21  
      22    return 0;
      23  }