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?
