------- Comment #7 from jakub at gcc dot gnu dot org 2008-09-10 15:21 ------- If the whole testcase is supposed to be valid, we could have COND_EXPRs with mismatching types in the FE and fix them up only during cp_genericize_r. The ugly thing is that we'd violate: Operand 1 must have the same type as the entire expression, unless it unconditionally throws an exception, in which case it should have VOID_TYPE. The same constraints apply to operand 2. The condition in operand 0 must be of integral type. constraints when in the FE.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37146
