[Bug tree-optimization/80635] [8/9/10 regression] std::optional and bogus -Wmaybe-uninitialized warning

[jason at gcc dot gnu.org]

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

--- Comment #45 from Jason Merrill <jason at gcc dot gnu.org> ---
(In reply to Jeffrey A. Law from comment #44)
> I suspect in the context where SRA creates the V_C_E we don't have enough
> information to know that the range of the input object is constrained
> enough.  We base the decision solely on the types.

We SRA a bool field into a QItype variable and then think we need a VCE to get
back to bool.  Could the SRA variable have type bool?