fold-const.c (fold): Don't require strict type equality...

	* fold-const.c (fold) <COND_EXPR>: Don't require strict type
	equality, instead just prevent replacing a COND_EXPR of non-void
	type by one of its operands of void type.

From-SVN: r75239

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a101019..20ca93e 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2003-12-30  Roger Sayle  <roger@eyesopen.com>
+
+       * fold-const.c (fold) <COND_EXPR>: Don't require strict type
+       equality, instead just prevent replacing a COND_EXPR of non-void
+       type by one of its operands of void type.
+
 2003-12-30  Andreas Schwab  <schwab@suse.de>
 
        * doc/c-tree.texi: Fix @item vs. @itemx.

diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index 5565932..7a939c4 100644 (file)
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -7869,7 +7869,8 @@ fold (tree expr)
          /* Only optimize constant conditions when the selected branch
             has the same type as the COND_EXPR.  This avoids optimizing
             away "c ? x : throw", where the throw has a void type.  */
-         if (TREE_TYPE (tem) == TREE_TYPE (t))
+         if (! VOID_TYPE_P (TREE_TYPE (tem))
+             || VOID_TYPE_P (TREE_TYPE (t)))
            return pedantic_non_lvalue (tem);
          return t;
        }