Commit 75b7b7fd by Marek Polacek

c++: Fix wrong no post-decrement operator error in template [PR94190]

Now that convert_like creates an IMPLICIT_CONV_EXPR when it converts
something that involves a class in a template, we must be prepared to
handle it.  In this test, we have a class S and we're converting it
to long int& using a user-defined conversion since we're performing
-- on it.  So cp_build_unary_op/POSTDECREMENT_EXPR calls
build_expr_type_conversion which gets the IMPLICIT_CONV_EXPR.  Before
the convert_like change it got *S::operator long int &(&b) whose type
is long int but now it gets IMPLICIT_CONV_EXPR<long int&>(b) whose type
is a reference type.  But the !MAYBE_CLASS_TYPE_P switch doesn't handle
reference types and so we complain.

Fixed by calling convert_from_reference on the result of convert_like.

	PR c++/94190 - wrong no post-decrement operator error in template.
	* call.c (convert_like_real): Use convert_from_reference on the result.

	* g++.dg/conversion/op7.C: New test.
parent fddfd3ce
2020-03-24 Marek Polacek <polacek@redhat.com>
PR c++/94190 - wrong no post-decrement operator error in template.
* call.c (convert_like_real): Use convert_from_reference on the result.
2020-03-24 Jason Merrill <jason@redhat.com>
PR c++/94186
......
......@@ -7389,7 +7389,10 @@ convert_like_real (conversion *convs, tree expr, tree fn, int argnum,
if (processing_template_decl
&& convs->kind != ck_identity
&& (CLASS_TYPE_P (totype) || CLASS_TYPE_P (TREE_TYPE (expr))))
return build1 (IMPLICIT_CONV_EXPR, totype, expr);
{
expr = build1 (IMPLICIT_CONV_EXPR, totype, expr);
return convs->kind == ck_ref_bind ? expr : convert_from_reference (expr);
}
switch (convs->kind)
{
......
2020-03-24 Marek Polacek <polacek@redhat.com>
PR c++/94190 - wrong no post-decrement operator error in template.
* g++.dg/conversion/op7.C: New test.
2020-03-24 Christophe Lyon <christophe.lyon@linaro.org>
* gcc/arm/vfp-1.c: Use arm_fp__ok effective-target.
......
// PR c++/94190 - wrong no post-decrement operator error in template.
struct S { operator long & (); } b;
template<int> void
foo ()
{
b--;
++b;
--b;
b++;
!b;
~b;
+b;
-b;
}
void
bar ()
{
foo<0> ();
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment