diff options
| author | Patrick Palka <ppalka@redhat.com> | 2023-07-15 09:47:36 -0400 |
|---|---|---|
| committer | Patrick Palka <ppalka@redhat.com> | 2023-07-15 09:47:36 -0400 |
| commit | 97ceaa110e1607ec8f4f1223200868e1642f3cc7 (patch) | |
| tree | cee282319c1cc4be2de2e84f99612a9f8b2d8aa0 /gcc | |
| parent | 18dac101678b8c0aed4bd995351e47f26cd54dec (diff) | |
| download | gcc-97ceaa110e1607ec8f4f1223200868e1642f3cc7.zip gcc-97ceaa110e1607ec8f4f1223200868e1642f3cc7.tar.gz gcc-97ceaa110e1607ec8f4f1223200868e1642f3cc7.tar.bz2 | |
c++: mangling template-id of unknown template [PR110524]
This fixes a crash when mangling an ADL-enabled call to a template-id
naming an unknown template (as per P0846R0).
PR c++/110524
gcc/cp/ChangeLog:
* mangle.cc (write_expression): Handle TEMPLATE_ID_EXPR
whose template is already an IDENTIFIER_NODE.
gcc/testsuite/ChangeLog:
* g++.dg/cpp2a/fn-template26.C: New test.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/cp/mangle.cc | 3 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp2a/fn-template26.C | 16 |
2 files changed, 18 insertions, 1 deletions
diff --git a/gcc/cp/mangle.cc b/gcc/cp/mangle.cc index 7dab4e6..bef0fda 100644 --- a/gcc/cp/mangle.cc +++ b/gcc/cp/mangle.cc @@ -3312,7 +3312,8 @@ write_expression (tree expr) else if (TREE_CODE (expr) == TEMPLATE_ID_EXPR) { tree fn = TREE_OPERAND (expr, 0); - fn = OVL_NAME (fn); + if (!identifier_p (fn)) + fn = OVL_NAME (fn); if (IDENTIFIER_ANY_OP_P (fn)) write_string ("on"); write_unqualified_id (fn); diff --git a/gcc/testsuite/g++.dg/cpp2a/fn-template26.C b/gcc/testsuite/g++.dg/cpp2a/fn-template26.C new file mode 100644 index 0000000..d4a17eb --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp2a/fn-template26.C @@ -0,0 +1,16 @@ +// PR c++/110524 +// { dg-do compile { target c++20 } } + +template<class T> +auto f(T t) -> decltype(g<T>(t)); + +namespace N { + struct A { }; + template<class T> void g(T); +}; + +int main() { + f(N::A{}); +} + +// { dg-final { scan-assembler "_Z1fIN1N1AEEDTcl1gIT_Efp_EES2_" } } |