[Bug tree-optimization/80548] -Wmaybe-uninitialized false positive when an assignment is added

[vincent-gcc at vinc17 dot net via Gcc-bugs]

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

--- Comment #8 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> ---
Indeed, compared to GCC 12.2.0, the trunk no longer warns on the simple
testcase I provided. However, I cannot see any change of the warnings on my
original file (to myself: tmd/binary32/hrcases.c), except concerning the order
of the warnings (on this file, I get 2 spurious -Wmaybe-uninitialized warnings,
and they are now reversed). I'll try to provide another simple testcase.

I'm wondering whether this bug is really fixed or it just happens to have
disappeared on the testcase just because of a side effect of some other change
in GCC and a small change addition to the testcase would make it reappear.