[Bug c++/37146] [4.4 Regression] Invalid types with COND_EXPR

[jakub at gcc dot gnu dot org]

------- 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