1  int a, b, *c = &a;
       2  unsigned short d;
       3  
       4  int
       5  main ()
       6  {
       7    unsigned int e = a;
       8    *c = 1;
       9    if (!b)
      10      {
      11        d = e;
      12        *c = d | e;
      13      }
      14  
      15    if (a != 0)
      16      __builtin_abort ();
      17  
      18    return 0;
      19  }