https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86380
--- Comment #4 from Colin Bartlett <colinwb at yahoo dot co.uk> --- >(In reply to Eric Botcazou from comment #3) > > I suspected that when compiled programs didn't show the error, but: > > > > 1. Is that documented anywhere? It might be useful if that was documented > > also in choose_multiplier? > > > > 2. Is that anyway any reason not to use the correct comparison, unless there > > is a good reason to use the wrong comparison? > > No and no. In that case I suggest that: (a) There's no need for any urgency at all for this as it won't affect anything. (b) But at an appropriate time in the future one of the following is done: (b1) The comparison is changed to the correct comparison, maybe with a comment that in previous versions ">=" was used which went wrong in the circumstances set out above but choose_multiplier was never called with those arguments. (b2) The comparison is left unchanged, but a comment is added that strictly speaking we should use ">" but as choose_multiplier should never be called with arguments for which ">" has a different effect to ">=" we can just use ">=". My (strong) preference is for (b1).