[Bug tree-optimization/114253] [13/14 regression] False positive maybe-uninitialized with std::optional and ternary

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

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[13/14/15/16 regression]    |[13/14 regression] False
                   |False positive              |positive
                   |maybe-uninitialized with    |maybe-uninitialized with
                   |std::optional and ternary   |std::optional and ternary

--- Comment #11 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #4)
> VIEW_CONVERT_EXPR<bool>(pid$4_26)
> 
> Where I have seen this before ...

I have a fix for this.

Again the original testcase was fixed in GCC 15 so marking as such.