[Bug middle-end/118216] New: -Wmaybe-uninitialized false positive with -O1 or above

[xry111 at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118216

            Bug ID: 118216
           Summary: -Wmaybe-uninitialized false positive with -O1 or above
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: xry111 at gcc dot gnu.org
  Target Milestone: ---

Created attachment 59985
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=59985&action=edit
preprocessed test case

My binutils patch has triggered a maybe-uninitialized warning while it's
obvious that the reported line is only executed when the variable is
initialized:

https://sourceware.org/pipermail/binutils/2024-December/138263.html

Preprocessed source attached (with -std=c23, but the same false positive still
exists when compiling the original source with other -std= settings).