1  /* { dg-do compile } */
       2  /* { dg-options "-O -fstrict-aliasing -fdump-tree-optimized" } */
       3  
       4  extern void foo(void);
       5  static int a, *b = &a, c, *d = &c;
       6  int main()
       7  {
       8    int **e = &d;
       9    if (!((unsigned)((*e = d) == 0) - (*b = 1)))
      10      foo();
      11    return 0;
      12  }
      13  
      14  /* { dg-final { scan-tree-dump-not "foo" "optimized" } } */