https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87544
--- Comment #15 from Jonathan Wakely <redi at gcc dot gnu.org> --- Thanks Martin and Marc for the explanations. The warning sounds a lot more definite than "there is some possible execution where the value is too large". The phrasing of the warning makes it look like that's the only possible value. I'll try to take a look at the redundant checking.
