On Mon, Nov 28, 2022 at 02:19:45PM +0200, Eli Zaretskii wrote: > > Date: Mon, 28 Nov 2022 06:30:22 +0100 > > From: [...] > > Still it seems to me that Christopher has a point: the `if' doesn't > > seem reachable from any other path [...] > It will be "reachable" by the next call to this function. The code below > the 'if' updates the variable, in several places. You're right, of course. Note to self: don't read C code before first coffee had effect. Sorry for the noise. Cheers -- t