https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66163
--- Comment #14 from Martin Liška <marxin at gcc dot gnu.org> --- (In reply to Jan Hubicka from comment #13) > Great, do you have patch? > Honza Yes, I've suggested a patch here: https://bugzilla.mozilla.org/show_bug.cgi?id=1167119 Let's see if it will be accepted by Mozilla folks. Anyway, the GCC revision where you made VRP more aggressive works, but there's a different revision that causes a segfault. I will bisect it. Martin