[Bug tree-optimization/70455] spurious "assuming signed overflow does not occur when simplifying conditional to constant [-Wstrict-overflow]"

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70455

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
As repeatedly mentioned VRP should instead track a -fwrapv lattice as well and
warn if optimization results differ between them.