modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/pr24851.c (about)

     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