Skip to content

Commit

Permalink
c++: unexpected ADDR_EXPR after overload set pruning [PR107461]
Browse files Browse the repository at this point in the history
Here the ahead-of-time overload set pruning in finish_call_expr is
unintentionally returning a CALL_EXPR whose (pruned) callee is wrapped
in an ADDR_EXPR, despite the original callee not being wrapped in an
ADDR_EXPR.  This ends up causing a bogus declaration mismatch error in
the below testcase because the call to min in #1 gets expressed as a
CALL_EXPR of ADDR_EXPR of FUNCTION_DECL, whereas the level-lowered call
to min in #2 gets expressed instead as a CALL_EXPR of FUNCTION_DECL.

This patch fixes this by stripping the spurious ADDR_EXPR appropriately.
Thus the first call to min now also gets expressed as a CALL_EXPR of
FUNCTION_DECL, matching the behavior before r12-6075-g2decd2cabe5a4f.

	PR c++/107461

gcc/cp/ChangeLog:

	* semantics.cc (finish_call_expr): Strip ADDR_EXPR from
	the selected callee during overload set pruning.

gcc/testsuite/ChangeLog:

	* g++.dg/template/call9.C: New test.
  • Loading branch information
Patrick Palka committed Feb 3, 2023
1 parent ed2b519 commit 59e0376
Show file tree
Hide file tree
Showing 2 changed files with 36 additions and 5 deletions.
15 changes: 10 additions & 5 deletions gcc/cp/semantics.cc
Original file line number Diff line number Diff line change
Expand Up @@ -2957,13 +2957,18 @@ finish_call_expr (tree fn, vec<tree, va_gc> **args, bool disallow_virtual,
if (TREE_CODE (result) == CALL_EXPR
&& really_overloaded_fn (orig_fn))
{
orig_fn = CALL_EXPR_FN (result);
if (TREE_CODE (orig_fn) == COMPONENT_REF)
tree sel_fn = CALL_EXPR_FN (result);
if (TREE_CODE (sel_fn) == COMPONENT_REF)
{
/* The non-dependent result of build_new_method_call. */
orig_fn = TREE_OPERAND (orig_fn, 1);
gcc_assert (BASELINK_P (orig_fn));
}
sel_fn = TREE_OPERAND (sel_fn, 1);
gcc_assert (BASELINK_P (sel_fn));
}
else if (TREE_CODE (sel_fn) == ADDR_EXPR)
/* Our original callee wasn't wrapped in an ADDR_EXPR,
so strip this ADDR_EXPR added by build_over_call. */
sel_fn = TREE_OPERAND (sel_fn, 0);
orig_fn = sel_fn;
}

result = build_call_vec (TREE_TYPE (result), orig_fn, orig_args);
Expand Down
26 changes: 26 additions & 0 deletions gcc/testsuite/g++.dg/template/call9.C
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@
// PR c++/107461
// { dg-do compile { target c++11 } }

template<class T>
constexpr T min(T t0, T t1) {
return t0 < t1 ? t0 : t1;
}

template<int MAX>
struct Matrix;

template<int MAXOP, int other_MAXOP>
Matrix<min(MAXOP, other_MAXOP)>
operator+(Matrix<MAXOP> const& lhs, Matrix<other_MAXOP> const& rhs); // #1

template<int MAX>
struct Matrix {
template<int MAXOP, int other_MAXOP>
friend Matrix<min(MAXOP, other_MAXOP)>
operator+(Matrix<MAXOP> const& lhs, Matrix<other_MAXOP> const& rhs); // #2
};

int main() {
Matrix<1> a;
a+a;
}

0 comments on commit 59e0376

Please sign in to comment.