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

     1  __attribute__ ((__noinline__))
     2  char *sf(char *s, char *s0)
     3  {
     4    asm ("");
     5    while (*--s == '9')
     6      if (s == s0)
     7        {
     8  	*s = '0';
     9  	break;
    10        }
    11    ++*s++;
    12    return s;
    13  }
    14  
    15  int main()
    16  {
    17    char s[] = "999999";
    18    char *x = sf (s+2, s);
    19    if (x != s+1 || __builtin_strcmp (s, "199999") != 0)
    20      __builtin_abort ();
    21    return 0;
    22  }