https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80403
--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 41195 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41195&action=edit gcc7-pr80403-2.patch Oops, thinko in the committed patch. COND_EXPR/VEC_COND_EXPR op0's type doesn't have to be the same as the result type (which needs to be equal to op1 and op2's type). Will test this and commit as obvious if it passes.