https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83239
--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> --- It is strongly related to the other PRs. IMO, all warnings like maybe-uninitialized should move from Wall to Wextra, but that's going to be a hard sell. In the mean time, we fail to find some VRP optimizations that might help with the warning. _1 = _186 + 18446744073709551614; if (_1 > _186) _186: [3, +INF] Possibly because we haven't turned it into ADD_OVERFLOW yet (or because we are missing a specific transform, or because we have one in match.pd but don't call it, or because !single_use, I didn't check), we don't fold that to false.
