https://gcc.gnu.org/bugzilla/show_bug.cgi?id=41953
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed|2023-07-11 00:00:00 |2025-1-31
--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
The issue is that memory-based diagnostic does not warn when there's any
path to an initialization. We could eventually improve this by seeding
virtual operands as "initialized" or "uninitialized" and then using the
PHI predicate machinery to do the maybe-uninit diagnostic part. At the cost
of more false positives, of course.
walk_aliased_vdefs would annotate VDEFs from may-defs and
warn_uninitialized_phi to emit diagnostics.
