1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-optimized" } */
       3  
       4  void eliminate_me();
       5  void f(int x,int y){
       6      if (y <= 0)
       7        __builtin_unreachable();
       8      x += y;
       9      if (x == -__INT_MAX__ - 1)
      10        eliminate_me ();
      11  }
      12  
      13  /* { dg-final { scan-tree-dump-not "eliminate_me" "optimized" } } */