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