maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[pseudo] Fix the type-parameter rule. 

The IDENTIFIER should be optional.

Differential Revision: https://reviews.llvm.org/D126998
This commit is contained in:
Haojian Wu 2022-06-03 22:01:36 +02:00
parent 90dab0473e
commit ecd7ff53b5
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
clang-tools-extra/pseudo/lib/cxx.bnf
View File

@ -645,7 +645,7 @@ constraint-logical-and-expression := primary-expression
constraint-logical-and-expression := constraint-logical-and-expression && primary-expression
template-parameter := type-parameter
template-parameter := parameter-declaration
type-parameter := type-parameter-key ..._opt IDENTIFIER
type-parameter := type-parameter-key ..._opt IDENTIFIER_opt
type-parameter := type-parameter-key IDENTIFIER_opt = type-id
type-parameter := type-constraint ..._opt IDENTIFIER_opt
type-parameter := type-constraint IDENTIFIER_opt = type-id

3
clang-tools-extra/pseudo/test/cxx/template-empty-type-parameter.cpp Normal file
View File

@ -0,0 +1,3 @@
// RUN: clang-pseudo -grammar=%cxx-bnf-file -source=%s --print-forest | FileCheck %s
template <typename> struct MatchParents;
// CHECK: template-parameter-list~TYPENAME := tok[2]