https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64454
Marc Glisse <glisse at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #12 from Marc Glisse <glisse at gcc dot gnu.org> --- One last thing that would have been nice: in VRP, if the range of X is included in [10,14], X%5 can be simplified to X-10. But it is probably not worth the trouble.