[clang] [LifetimeSafety] Detect use-after-invalidation for STL containers (PR #179093)

[Utkarsh Saxena via cfe-commits]

================
@@ -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",
----------------
usx95 wrote:

Added a TODO.

https://github.com/llvm/llvm-project/pull/179093