gcc/testsuite/gcc.c-torture/execute/pr24851.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

/* We used to handle pointer addition wrongly
   at the time of recombining to an ARRAY_REF
   in the case of
     p + -4B
   where -4B is represented as unsigned.  */

void abort(void);
int main()
{
  int a[10], *p, *q;
  q = &a[1];
  p = &q[-1];
  if (p >= &a[9])
    abort ();
  return 0;
}