[Bug c++/127891] New: Bogus analyzer diagnostic of uninitialized value for a `void`-returning function

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

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

            Bug ID: 127891
           Summary: Bogus analyzer diagnostic of uninitialized value for a
                    `void`-returning function
           Product: gcc
           Version: 16.2.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gdr at gcc dot gnu.org
  Target Milestone: ---

Created attachment 65839
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65839&action=edit
Repro showing the bogus diagnostics

The attached repro shows 2 bogus uninitialized value diagnostics for the return
value of `void`-returning functions.

Command line:
> g++ -fanalyzer -c 3.cx

This is GCC 17.0.0 (trunk).