1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fstrict-overflow -fdump-tree-optimized" } */
       3  
       4  void foo(int a, int b)
       5  { for(;a!=b;a+=4); }
       6  
       7  void foo2(int a, int b)
       8  { for(;a<b;a+=4); }
       9  
      10  void foo3(int*a, int* b)
      11  { for(;a<b;a++); }
      12  
      13  void foo4(int*a, int*b)
      14  { for(;a!=b;a++); }
      15  
      16  /* { dg-final { scan-tree-dump-not "if" "optimized" } } */