https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52904
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |xfail Status|RESOLVED |REOPENED Resolution|WORKSFORME |--- --- Comment #13 from Richard Biener <rguenth at gcc dot gnu.org> --- Re-opening because I am fixing a bug that makes the diagnostic re-appear (it was "fixed" by a bug that caused us to meet [0, +INF] and [1, +INF(OVF)] as [0, +INF] rather than [0, +INF(OVF)]).