PR c++/91962 - ICE with reference binding and qualification conversion.
authorMarek Polacek <polacek@redhat.com>
Mon, 18 Nov 2019 16:39:24 +0000 (16:39 +0000)
committerMarek Polacek <mpolacek@gcc.gnu.org>
Mon, 18 Nov 2019 16:39:24 +0000 (16:39 +0000)
commit9d2b80ea51e42d5011badf2d654fb3fd93289fe3
tree83b6711f7a61324671daca7c4c1ed4d3f0784784
parentd8ea81183a92c71cd50550137fe0aa2725c98b3f
PR c++/91962 - ICE with reference binding and qualification conversion.

When fixing c++/91889 (r276251) I was assuming that we couldn't have a ck_qual
under a ck_ref_bind, and I was introducing it in the patch and so this
+   if (next_conversion (convs)->kind == ck_qual)
+     {
+       gcc_assert (same_type_p (TREE_TYPE (expr),
+                    next_conversion (convs)->type));
+       /* Strip the cast created by the ck_qual; cp_build_addr_expr
+          below expects an lvalue.  */
+       STRIP_NOPS (expr);
+     }
in convert_like_real was supposed to handle it.  But that assumption was wrong
as this test shows; here we have "(int *)f" where f is of type long int, and
we're converting it to "const int *const &", so we have both ck_ref_bind and
ck_qual.  That means that the new STRIP_NOPS strips an expression it shouldn't
have, and that then breaks when creating a TARGET_EXPR.  So we want to limit
the stripping to the new case only.  This I do by checking need_temporary_p,
which will be 0 in the new case.  Yes, we can set need_temporary_p when
binding a reference directly, but then we won't have a qualification
conversion.  It is possible to have a bit-field, convert it to a pointer,
and then convert that pointer to a more-qualified pointer, but in that case
we're not dealing with an lvalue, so gl_kind is 0, so we won't enter this
block in reference_binding:
 1747   if ((related_p || compatible_p) && gl_kind)

* call.c (convert_like_real) <case ck_ref_bind>: Check need_temporary_p.

* g++.dg/cpp0x/ref-bind7.C: New test.

From-SVN: r278416
gcc/cp/ChangeLog
gcc/cp/call.c
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/cpp0x/ref-bind7.C [new file with mode: 0644]