https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79257
--- Comment #8 from Martin Sebor <msebor at gcc dot gnu.org> --- (In reply to Pierre Chapuis from comment #5) That's a different bug, the same one as the root cause behind the false positive in bug 78969, comment 4. The range information available outside the VRP pass via get_range_info() is available (unlike in the test case in comment #0) but it's off by one. It probably deserves a separate bug report, distinct from both this bug and pr78969, and this one can be resolved as a duplicate of the latter.
