Update stale comments of the demangler, NFC (llvm#91740)

hokein · web-flow · commit 023cdfcc1a5b · 2024-05-10T17:30:05.000+02:00
To reflect what the actual code does.
diff --git a/libcxxabi/src/demangle/ItaniumDemangle.h b/libcxxabi/src/demangle/ItaniumDemangle.h
@@ -5715,6 +5715,7 @@ Node *AbstractManglingParser<Derived, Alloc>::parseTemplateParam() {
 }
 
 // <template-param-decl> ::= Ty                          # type parameter
+//                       ::= Tk <concept name> [<template-args>] # constrained type parameter
 //                       ::= Tn <type>                   # non-type parameter
 //                       ::= Tt <template-param-decl>* E # template parameter
 //                       ::= Tp <template-param-decl>    # parameter pack
@@ -5846,7 +5847,7 @@ Node *AbstractManglingParser<Derived, Alloc>::parseTemplateArg() {
   }
 }
 
-// <template-args> ::= I <template-arg>* E
+// <template-args> ::= I <template-arg>* [Q <requires-clause expr>] E
 //     extension, the abi says <template-arg>+
 template <typename Derived, typename Alloc>
 Node *
diff --git a/llvm/include/llvm/Demangle/ItaniumDemangle.h b/llvm/include/llvm/Demangle/ItaniumDemangle.h
@@ -5714,6 +5714,7 @@ Node *AbstractManglingParser<Derived, Alloc>::parseTemplateParam() {
 }
 
 // <template-param-decl> ::= Ty                          # type parameter
+//                       ::= Tk <concept name> [<template-args>] # constrained type parameter
 //                       ::= Tn <type>                   # non-type parameter
 //                       ::= Tt <template-param-decl>* E # template parameter
 //                       ::= Tp <template-param-decl>    # parameter pack
@@ -5845,7 +5846,7 @@ Node *AbstractManglingParser<Derived, Alloc>::parseTemplateArg() {
   }
 }
 
-// <template-args> ::= I <template-arg>* E
+// <template-args> ::= I <template-arg>* [Q <requires-clause expr>] E
 //     extension, the abi says <template-arg>+
 template <typename Derived, typename Alloc>
 Node *

Original file line number	Diff line number	Diff line change
`@@ -5715,6 +5715,7 @@ Node *AbstractManglingParser<Derived, Alloc>::parseTemplateParam() {`
`5715`	`5715`	`}`
`5716`	`5716`
`5717`	`5717`	`// <template-param-decl> ::= Ty # type parameter`
	`5718`	`+// ::= Tk <concept name> [<template-args>] # constrained type parameter`
`5718`	`5719`	`// ::= Tn <type> # non-type parameter`
`5719`	`5720`	`// ::= Tt <template-param-decl>* E # template parameter`
`5720`	`5721`	`// ::= Tp <template-param-decl> # parameter pack`
`@@ -5846,7 +5847,7 @@ Node *AbstractManglingParser<Derived, Alloc>::parseTemplateArg() {`
`5846`	`5847`	`}`
`5847`	`5848`	`}`
`5848`	`5849`
`5849`		`-// <template-args> ::= I <template-arg>* E`
	`5850`	`+// <template-args> ::= I <template-arg>* [Q <requires-clause expr>] E`
`5850`	`5851`	`// extension, the abi says <template-arg>+`
`5851`	`5852`	`template <typename Derived, typename Alloc>`
`5852`	`5853`	`Node *`
Original file line number	Diff line number	Diff line change
`@@ -5714,6 +5714,7 @@ Node *AbstractManglingParser<Derived, Alloc>::parseTemplateParam() {`
`5714`	`5714`	`}`
`5715`	`5715`
`5716`	`5716`	`// <template-param-decl> ::= Ty # type parameter`
	`5717`	`+// ::= Tk <concept name> [<template-args>] # constrained type parameter`
`5717`	`5718`	`// ::= Tn <type> # non-type parameter`
`5718`	`5719`	`// ::= Tt <template-param-decl>* E # template parameter`
`5719`	`5720`	`// ::= Tp <template-param-decl> # parameter pack`
`@@ -5845,7 +5846,7 @@ Node *AbstractManglingParser<Derived, Alloc>::parseTemplateArg() {`
`5845`	`5846`	`}`
`5846`	`5847`	`}`
`5847`	`5848`
`5848`		`-// <template-args> ::= I <template-arg>* E`
	`5849`	`+// <template-args> ::= I <template-arg>* [Q <requires-clause expr>] E`
`5849`	`5850`	`// extension, the abi says <template-arg>+`
`5850`	`5851`	`template <typename Derived, typename Alloc>`
`5851`	`5852`	`Node *`