https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81782
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |rguenth at gcc dot gnu.org --- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- The issue is that there is a maybe uninitialized use given we fail to optimize the condition at -O0. We're only warning for maybe-uninit uses before optimization at -O0. I don't see a good way out here but to enhance this by at least constant propagating on the side.