c++: explicit() ignored on deduction guide [PR100065]
authorMarek Polacek <polacek@redhat.com>
Mon, 7 Jun 2021 20:06:00 +0000 (16:06 -0400)
committerMarek Polacek <polacek@redhat.com>
Tue, 8 Jun 2021 22:29:32 +0000 (18:29 -0400)
commit1afa4facb9348cac0349ff9c30066aa25a3608f7
tree49a1e1942da2b82988682d1c7bf823be5d311d21
parentc4574d23cb07340918793a5a98ae7bb2988b3791
c++: explicit() ignored on deduction guide [PR100065]

When we have explicit() with a value-dependent argument, we can't
evaluate it at parsing time, so cp_parser_function_specifier_opt stashes
the argument into the decl-specifiers and grokdeclarator then stores it
into explicit_specifier_map, which is then used when substituting the
function decl.  grokdeclarator stores it for constructors and conversion
functions, but we also need to do it for deduction guides, otherwise
we'll forget that we've seen an explicit-specifier as in the attached
test.

PR c++/100065

gcc/cp/ChangeLog:

* decl.c (grokdeclarator): Store a value-dependent
explicit-specifier even for deduction guides.

gcc/testsuite/ChangeLog:

* g++.dg/cpp2a/explicit18.C: New test.
gcc/cp/decl.c
gcc/testsuite/g++.dg/cpp2a/explicit18.C [new file with mode: 0644]