https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93432
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- The one involving constants and PHIs. The (late) uninit warning is too late to catch this since we optimized the uninit use away. We probably diagnose it if you initialize z from a function parameter rather than a constant.