Re: scratch_buffer and 'void *' pointer arithmetic

[Paul Eggert]

On 12/15/2017 07:12 PM, Bruno Haible wrote:
> Therefore I would suggest to change the type of the 'data' field to 'char *'
> in gnulib. I know that in glibc this is not needed, because glibc assumes GCC
> and GCC supports 'void *' arithmetic as an extension.
>
> Rationale: 'scratch_buffer' is a module of its own right in gnulib, and
> may get more uses, in order to avoid stack overflows.

I think I'd rather leave it alone. glibc is moving to a more-general 
module that addresses this problem in a better way, and I'd rather we 
spend our limited resources doing that than forking.