================
@@ -255,4 +255,76 @@ template <typename T> static bool
isRecordWithAttr(QualType Type) {
bool isGslPointerType(QualType QT) { return isRecordWithAttr<PointerAttr>(QT);
}
bool isGslOwnerType(QualType QT) { return isRecordWithAttr<OwnerAttr>(QT); }
+bool isContainerInvalidationMethod(const CXXMethodDecl *MD) {
+ if (!MD)
+ return false;
+ const CXXRecordDecl *RD = MD->getParent();
+ if (!RD || !isInStlNamespace(RD))
+ return false;
+
+ StringRef ContainerName;
+ if (const auto *CTSD = dyn_cast<ClassTemplateSpecializationDecl>(RD))
+ ContainerName = CTSD->getSpecializedTemplate()->getName();
+ else if (RD->getIdentifier())
+ ContainerName = RD->getName();
+ else
+ return false;
+
+ static llvm::StringSet<> Containers = {
+ // Sequence
+ "vector", "basic_string", "deque", "list", "forward_list",
+ // Adaptors
+ "stack", "priority_queue", "queue",
----------------
Xazax-hun wrote:
In case of adaptors, if the underlying container is a `list` they might have
very different behaviors for invalidation.
https://github.com/llvm/llvm-project/pull/179093
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
