1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-forwprop1" } */ 
       3  
       4  typedef __INTPTR_TYPE__ ssize_t;
       5  typedef __PTRDIFF_TYPE__ ptrdiff_t;
       6  
       7  ptrdiff_t foo (char *a, ssize_t n, ssize_t m)
       8  {
       9    char *b1 = a + 8 * n;
      10    char *b2 = a + 8 * (n + 1);
      11  
      12    return (b1 + m) - (b2 + m);
      13  }
      14  
      15  /* { dg-final { scan-tree-dump-times "return -8;" 1 "forwprop1" } } */