1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fno-ipa-icf -fwrapv-pointer -fdump-tree-optimized" } */
       3  
       4  _Bool
       5  f1 (char *a, char *b)
       6  {
       7    return (a + 16 <= b) || (b + 16 <= a);
       8  }
       9  
      10  _Bool
      11  f2 (char *a, char *b)
      12  {
      13    return (a + 15 < b) || (b + 15 < a);
      14  }
      15  
      16  _Bool
      17  f3 (char *a, char *b)
      18  {
      19    return (a + 16 <= b) | (b + 16 <= a);
      20  }
      21  
      22  _Bool
      23  f4 (char *a, char *b)
      24  {
      25    return (a + 15 < b) | (b + 15 < a);
      26  }
      27  
      28  /* { dg-final { scan-tree-dump-not { = [^\n]* - [^\n]*;} "optimized" } } */
      29  /* { dg-final { scan-tree-dump-times { = [^\n]* \+ [^\n]*;} 8 "optimized" } } */
      30  /* { dg-final { scan-tree-dump-times { \+ 15} 4 "optimized" } } */
      31  /* { dg-final { scan-tree-dump-times { \+ 16} 4 "optimized" } } */