1  /* { dg-do compile } */
       2  /* { dg-options "-O1 -fdump-tree-optimized-raw" } */
       3  
       4  // 'a' should disappear, but we are not there yet
       5  
       6  int* f(int* a, int* b, int* c){
       7      __PTRDIFF_TYPE__ d = b - a;
       8      d += 1;
       9      return a + d;
      10  }
      11  
      12  /* { dg-final { scan-tree-dump-not "div" "optimized" } } */