re PR c++/11283 (ICE in build_conditional_expr)

        PR c++/11283
        * call.c (build_conditional_expr): Ignore cv-qual differences for
        non-class types.

From-SVN: r70667

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index ec4f44458bd03b306d77e98a8eca534ac55a5667..7eaf150b76ac7b0d4c0f4f70d9027a4d019d536b 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2003-08-21  Jason Merrill  <jason@redhat.com>
+
+       PR c++/11283
+       * call.c (build_conditional_expr): Ignore cv-qual differences for
+       non-class types.
+
 2003-08-21  Mark Mitchell  <mark@codesourcery.com>
 
        PR c++/11551

diff --git a/gcc/cp/call.c b/gcc/cp/call.c
index a76d2ac022ab4154a9d348611d386f36b90f36be..4bda8da36fcc4a535f5dfcbd86b8c959ed09574e 100644 (file)
--- a/gcc/cp/call.c
+++ b/gcc/cp/call.c
@@ -3171,7 +3171,11 @@ build_conditional_expr (tree arg1, tree arg2, tree arg3)
        {
          arg2 = convert_like (conv2, arg2);
          arg2 = convert_from_reference (arg2);
-         if (!same_type_p (TREE_TYPE (arg2), arg3_type))
+         if (!same_type_p (TREE_TYPE (arg2), arg3_type)
+             && CLASS_TYPE_P (arg3_type))
+           /* The types need to match if we're converting to a class type.
+              If not, we don't care about cv-qual mismatches, since
+              non-class rvalues are not cv-qualified.  */
            abort ();
          arg2_type = TREE_TYPE (arg2);
        }
@@ -3179,7 +3183,8 @@ build_conditional_expr (tree arg1, tree arg2, tree arg3)
        {
          arg3 = convert_like (conv3, arg3);
          arg3 = convert_from_reference (arg3);
-         if (!same_type_p (TREE_TYPE (arg3), arg2_type))
+         if (!same_type_p (TREE_TYPE (arg3), arg2_type)
+             && CLASS_TYPE_P (arg2_type))
            abort ();
          arg3_type = TREE_TYPE (arg3);
        }

diff --git a/gcc/testsuite/g++.dg/conversion/cond6.C b/gcc/testsuite/g++.dg/conversion/cond6.C
new file mode 100644 (file)
index 0000000..8c05e1b
--- /dev/null
+++ b/gcc/testsuite/g++.dg/conversion/cond6.C
@@ -0,0 +1,18 @@
+// PR c++/11283
+// Converting "a" to the type of "i" produces "int" rather than "const
+// int", which was causing build_conditional_expr to abort.  But we don't
+// care about cv-quals on non-class rvalues.
+
+struct A
+{
+  operator int ();
+};
+
+extern A a;
+extern const int i;
+extern bool b;
+
+int f ()
+{
+  return b ? a : i;
+}