Re: diffseq: Silence gcc warning

[Paul Eggert]

On 2023-05-27 02:39, Bruno Haible wrote:
>    $ ../configure CC=gcc CXX=g++ CPPFLAGS=-Wall 2>&1 | tee log1

Oh, that enables warnings (i.e., it looks for lint), but it is not 
compiling with -DGCC_LINT. In general we don't need to support that 
combination, any more than we need to support lint checking with random 
compilers.

This probably explains why you saw the problem with diffutils but I 
didn't. Possibly you built diffutils with -Wall only. I configure 
diffutils with --enable-gcc-warnings, which does more checking than 
-Wall does, and also defines GCC_LINT. (Perhaps someday gettext could do 
something similar, but that'd be a bigger project.)

It's not worth changing diffseq.h back since the change is innocuous. 
But I hope we don't need to do much more of this sort of makework.