1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-optimized-raw" } */
       3  
       4  int f(int a, int b, int c){
       5    if (c == 0) __builtin_unreachable();
       6    a *= c;
       7    b *= c;
       8    return a == b;
       9  }
      10  
      11  /* { dg-final { scan-tree-dump-not "bit_ior_expr" "optimized" } } */