1  /* { dg-do run } */
       2  
       3  typedef struct
       4  {
       5    unsigned a, b;
       6  } T2;
       7  
       8  
       9  __attribute__((__noinline__, __noclone__))
      10  void foo2 (T2 *t, int x)
      11  {
      12    if (x != t->a)
      13      {
      14        t->a = x;
      15    
      16        if (x && x == t->b)
      17  	t->a = 20;
      18      }
      19  }
      20  
      21  
      22  T2 t;
      23  
      24  int main (void)
      25  {
      26    t.a = 1;
      27    t.b = 1234;
      28  
      29    foo2 (&t, 1234);
      30  
      31    if (t.a != 20)
      32      __builtin_abort();
      33  
      34    __builtin_exit (0);
      35  
      36    return 0;
      37  }