Function incr_grows

src/seq.c:415–432

The nonempty char array P represents a valid non-negative decimal integer. ENDP points just after the last char in P. Adjust the array to describe the next-larger integer and return whether this grows the array by one on the left. */

   Adjust the array to describe the next-larger integer and return
   whether this grows the array by one on the left.  */
static bool
incr_grows (char *p, char *endp)
{
  do
    {
      endp--;
      if (*endp < '9')
        {
          (*endp)++;
          return false;
        }
      *endp = '0';
    }
  while (p < endp);

  p[-1] = '1';
  return true;
}

/* Compare A and B with lengths A_LEN and B_LEN.  A and B are integers
   represented by nonempty arrays of digits without redundant leading '0'.