1  /* PR middle-end/46499 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O -fno-tree-ccp -fno-tree-dominator-opts" } */
       4  
       5  extern void abort (void);
       6  
       7  static inline int
       8  foo (void)
       9  {
      10    return 0;
      11  }
      12  
      13  int
      14  main ()
      15  {
      16    if ((foo () == 1) & (foo () == 1))
      17      abort ();
      18    return 0;
      19  }