1  /* We used to handle pointer addition wrongly
       2     at the time of recombining to an ARRAY_REF
       3     in the case of
       4       p + -4B
       5     where -4B is represented as unsigned.  */
       6  
       7  void abort(void);
       8  int main()
       9  {
      10    int a[10], *p, *q;
      11    q = &a[1];
      12    p = &q[-1];
      13    if (p >= &a[9])
      14      abort ();
      15    return 0;
      16  }
      17