https://gcc.gnu.org/bugzilla/show_bug.cgi?id=31130
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Known to work| |8.1.0 Summary|[7/8 Regression] VRP no |[7 Regression] VRP no |longer derives range for |longer derives range for |division after negation |division after negation --- Comment #31 from Richard Biener <rguenth at gcc dot gnu.org> --- Yeah, should be fixed with the removal of -fno-strict-overflow.