Ben Hutchings reports that gcc 4 gives an optimiser warning because