1  /* { dg-do compile } */
       2  /* { dg-options "-O3 -fdump-tree-evrp" } */
       3  
       4  
       5  void kill();
       6  
       7  static long a;
       8  static unsigned b;
       9  int test1 () {
      10      long c, e;
      11      c = b = a;
      12      e = c ? 2 / (c + 1) : 0;
      13      if (e && !b)
      14          kill ();
      15      a = 0;
      16  }
      17  
      18  /* { dg-final { scan-tree-dump-not "kill" "evrp" } }  */
      19