Paul Eggert wrote: > This false alarm is because the program was built without GCC_LINT being > defined.
Find attached a log built with -DGCC_LINT. > If you build with -DGCC_LINT the false alarm should go away. Indeed, the diffseq.h warning goes away. Bruno
fanalyze-log.xz
Description: application/xz