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

     1  int a[2] = { 2, 0 };
     2  
     3  void foo(int *sp, int cnt)
     4  {
     5    int *p, *top;
     6  
     7    top = sp; sp -= cnt;
     8  
     9    for(p = sp; p <= top; p++)
    10      if (*p < 2) exit(0);
    11  }
    12  
    13  int main()
    14  {
    15    foo(a + 1, 1);
    16    abort();
    17  }