commit 21600f3a6f23390c25a73e1cbfcfc544b7133d53
author Marek Polacek <polacek@redhat.com> Tue Jun 25 17:42:01 2024 -0400
committer Marek Polacek <polacek@redhat.com> Thu Jan 09 14:47:33 2025 -0500
tree c7b9703f2246c9949e92785dd6bf9212f3c973ec
parent 3fe6135b62f190921db6dcae7bc2f9582ca4e7c2

c++: unresolved overload with comma op [PR115430]

This works:

  template<typename T>
  int Func(T);
  typedef int (*funcptrtype)(int);
  funcptrtype fp0 = &Func<int>;

but this doesn't:

  funcptrtype fp2 = (0, &Func<int>);

because we only call resolve_nondeduced_context on the LHS (via
convert_to_void) but not on the RHS, so cp_build_compound_expr's
type_unknown_p check issues an error.

	PR c++/115430

gcc/cp/ChangeLog:

	* typeck.cc (cp_build_compound_expr): Call resolve_nondeduced_context
	on RHS.

gcc/testsuite/ChangeLog:

	* g++.dg/cpp0x/noexcept41.C: Remove dg-error.
	* g++.dg/overload/addr3.C: New test.

(cherry picked from commit c847dcf94499da62e5a28921b404e6e561645d99)