1  /* PR c/61240 */
       2  /* { dg-do compile } */
       3  
       4  typedef __PTRDIFF_TYPE__ ptrdiff_t;
       5  
       6  ptrdiff_t
       7  foo (ptrdiff_t a[4])
       8  {
       9    int i[4];
      10    int *p = i + 2;
      11    static ptrdiff_t b = p - (p - 1);	/* { dg-bogus "integer overflow in expression" } */
      12    static ptrdiff_t c = (p - 1) - p;	/* { dg-bogus "integer overflow in expression" } */
      13    static ptrdiff_t d = (p - 2) - (p - 1);/* { dg-bogus "integer overflow in expression" } */
      14    static ptrdiff_t e = (p - 1) - (p - 2);/* { dg-bogus "integer overflow in expression" } */
      15    a[0] = p - (p - 1);			/* { dg-bogus "integer overflow in expression" } */
      16    a[1] = (p - 1) - p;			/* { dg-bogus "integer overflow in expression" } */
      17    a[2] = (p - 2) - (p - 1);		/* { dg-bogus "integer overflow in expression" } */
      18    a[3] = (p - 1) - (p - 2);		/* { dg-bogus "integer overflow in expression" } */
      19    return b + c + d + e;
      20  }