================
@@ -272,15 +278,29 @@ auto isOptionalNulloptConstructor() {
}
auto isOptionalInPlaceConstructor() {
- return cxxConstructExpr(hasArgument(0, hasType(inPlaceClass())),
+ return cxxConstructExpr(hasAnyArgument(hasType(inPlaceClass())),
hasOptionalOrDerivedType());
}
+// `optional(value, ...)`. Arguments after the value are ignored. Tag types are
+// excluded because they denote other constructions.
auto isOptionalValueOrConversionConstructor() {
return cxxConstructExpr(
unless(hasDeclaration(
cxxConstructorDecl(anyOf(isCopyConstructor(),
isMoveConstructor())))),
- argumentCountIs(1), hasArgument(0, unless(hasNulloptType())),
+ argumentCountAtLeast(1),
+ hasArgument(0, unless(anyOf(hasNulloptType(), hasType(inPlaceClass()),
+ hasAllocatorArgType()))),
+ hasOptionalOrDerivedType());
+}
+
+// `optional(allocator_arg_t, allocator, value, ...)`.
----------------
jvoung wrote:
Agreed, probably overkill right now to restrict the matcher.
https://github.com/llvm/llvm-project/pull/224969
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
