http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60319
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org --- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> --- Note that such bugs may occur generally when mixing -O[01] with -O[s23] ... for a similar case, -f[no-]strict-aliasing we get away with streaming get_alias_set () == 0. Thus I think we have to "conservatively" merge -fstrict-overflow, similar to how we treat -ffp-contract. I have a patch.