diffseq: avoid spurious gcc warnings