[Bug middle-end/124283] Missing -Wmaybe-uninitialized warning with cleanup function

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Blocks|                            |24639
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2026-02-27
           Keywords|                            |diagnostic, false-negative
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
This is probably an interaction with CCP again - at the time we do
-Wmaybe-uninitialized we have optimized g into

int g (int r)
{
  _Bool _6;
  int _7;

  <bb 2> [local count: 1073741824]:
  __builtin_dwarf_cfa (0);
  _6 = r_4(D) == 0;
  _7 = (int) _6;
  f (0);
  return _7;


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=24639
[Bug 24639] [meta-bug] bug to track all Wuninitialized issues