aboutsummaryrefslogtreecommitdiff
path: root/gcc/cp/class.c
diff options
context:
space:
mode:
authorPatrick Palka <ppalka@redhat.com>2021-11-09 09:09:43 -0500
committerPatrick Palka <ppalka@redhat.com>2021-11-09 09:09:43 -0500
commita22d910305a5232694ff48ead37a7f53e46b7202 (patch)
treeec777e3f0d7206738003e4d6877153ef38463b46 /gcc/cp/class.c
parenta19f09cb03d7f69377e6d12162e5d6df78a82849 (diff)
downloadgcc-a22d910305a5232694ff48ead37a7f53e46b7202.zip
gcc-a22d910305a5232694ff48ead37a7f53e46b7202.tar.gz
gcc-a22d910305a5232694ff48ead37a7f53e46b7202.tar.bz2
c++: bogus error w/ tentative type parse of concept-id [PR98394]
Here when tentatively parsing the if condition as a declaration, we try to treat C<1> as the start of a constrained placeholder type, which we quickly reject because C doesn't accept a type as its first argument. But since we're parsing tentatively, we shouldn't emit an error in this case. In passing, also fix PR85846 by only overriding 'tentative' to false when given a concept-name, and not also when given a concept-id that has an empty argument list. PR c++/98394 PR c++/85846 gcc/cp/ChangeLog: * parser.c (cp_parser_placeholder_type_specifier): Declare static. Don't override tentative to false when tmpl is a concept-id with empty argument list. Don't emit a "does not constrain a type" error when tentative. gcc/testsuite/ChangeLog: * g++.dg/cpp2a/concepts-pr98394.C: New test. * g++.dg/cpp2a/concepts-pr85846.C: New test.
Diffstat (limited to 'gcc/cp/class.c')
0 files changed, 0 insertions, 0 deletions