git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

c++: pointer to auto member function [PR120757] 

Here r13-1210 correctly changed &A<int>::foo to not be considered
type-dependent, but tsubst_expr of the OFFSET_REF got confused trying to
tsubst a type that involved auto.  Fixed by getting the type from the
member rather than tsubst.

	PR c++/120757

gcc/cp/ChangeLog:

	* pt.cc (tsubst_expr) [OFFSET_REF]: Don't tsubst the type.

gcc/testsuite/ChangeLog:

	* g++.dg/cpp1y/auto-fn66.C: New test.

(cherry picked from commit ea6ef13d0f)
This commit is contained in:
Jason Merrill 2025-08-19 23:15:20 -04:00
parent 363edb309d
commit fb9d8d1230
2 changed files with 26 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/cp/pt.cc
View File

@ -22221,12 +22221,16 @@ tsubst_expr (tree t, tree args, tsubst_flags_t complain, tree in_decl)
case OFFSET_REF:
{
tree type = tsubst (TREE_TYPE (t), args, complain, in_decl);
/* We should only get here for an OFFSET_REF like A::m; a .* in a
template is represented as a DOTSTAR_EXPR. */
gcc_checking_assert
(same_type_p (TREE_TYPE (t), TREE_TYPE (TREE_OPERAND (t, 1))));
tree op0 = RECUR (TREE_OPERAND (t, 0));
tree op1 = RECUR (TREE_OPERAND (t, 1));
tree type = TREE_TYPE (op1);
r = build2 (OFFSET_REF, type, op0, op1);
PTRMEM_OK_P (r) = PTRMEM_OK_P (t);
if (!mark_used (TREE_OPERAND (r, 1), complain)
if (!mark_used (op1, complain)
&& !(complain & tf_error))
RETURN (error_mark_node);
RETURN (r);

20
gcc/testsuite/g++.dg/cpp1y/auto-fn66.C Normal file
View File

@ -0,0 +1,20 @@
// PR c++/120757
// { dg-do compile { target c++14 } }
template <typename> struct A
{
auto foo() {}
};
auto bar(void (A<int>::*)()) {}
template <int> auto baz()
{
bar(&A<int>::foo);
}
int main()
{
baz<0>();
return 0;
}