This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/37146] [4.4 Regression] Invalid types with COND_EXPR
- From: "jakub at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 10 Sep 2008 15:21:46 -0000
- Subject: [Bug c++/37146] [4.4 Regression] Invalid types with COND_EXPR
- References: <bug-37146-12710@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla 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