1  /* { dg-do compile } */
       2  /* { dg-options "-O3 -fdump-tree-evrp" } */
       3  
       4  void foo();
       5  static char a, c;
       6  static int d, e;
       7  static short b(short f, short g) { return f * g; }
       8  int main() {
       9    short h = 4;
      10    for (; d;)
      11      if (h)
      12        if(e) {
      13          if (!b(a & 1 | h, 3))
      14            c = 0;
      15          h = 1;
      16        }
      17    if (c)
      18      foo();
      19  }
      20  
      21  /* { dg-final { scan-tree-dump-not "c = 0" "evrp" } } */