diff options
| author | Patrick Palka <ppalka@redhat.com> | 2020-04-21 10:56:57 -0400 |
|---|---|---|
| committer | Patrick Palka <ppalka@redhat.com> | 2020-04-21 10:56:57 -0400 |
| commit | 08d6ec14e654292340ccc6aa5612bbd91d4d57e8 (patch) | |
| tree | a0ebe0da9ad73b875f0ec24408d16429fe71ebe2 /libgcc | |
| parent | 6c0ab626113ef20ee2986cb8a102b5394aeb888a (diff) | |
| download | gcc-08d6ec14e654292340ccc6aa5612bbd91d4d57e8.zip gcc-08d6ec14e654292340ccc6aa5612bbd91d4d57e8.tar.gz gcc-08d6ec14e654292340ccc6aa5612bbd91d4d57e8.tar.bz2 | |
c++: Dependent conversion operator in concept [PR94597]
When building the parameter mapping for an atomic constraint,
find_template_parameters does not spot the template parameter within the
conversion-type-id of a dependent conversion operator, which later leads to an
ICE during substitution when looking up the missing template argument for this
unnoticed template parameter.
gcc/cp/ChangeLog:
PR c++/94597
* pt.c (any_template_parm_r) <case IDENTIFIER_NODE>: New case. If this
is a conversion operator, visit its TREE_TYPE.
gcc/testsuite/ChangeLog:
PR c++/94597
* g++.dg/cpp2a/concepts-conv2.C: New test.
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions