[clang-tools-extra] [clang-tidy] Avoid assert failure on non-identifier names in `readability-container-size-empty` (PR #181557)
via cfe-commits
cfe-commits at lists.llvm.org
Sun Feb 15 09:12:05 PST 2026
https://github.com/zeyi2 created https://github.com/llvm/llvm-project/pull/181557
Closes https://github.com/llvm/llvm-project/issues/181552
>From 1f1cdcd7d2ec19abd33ded8748dd53237a017120 Mon Sep 17 00:00:00 2001
From: mtx <mitchell.xu2 at gmail.com>
Date: Mon, 16 Feb 2026 00:37:36 +0800
Subject: [PATCH] [clang-tidy] Avoid crash on non-identifier names in
readability-container-size-empty
---
.../readability/ContainerSizeEmptyCheck.cpp | 12 ++++++++----
clang-tools-extra/docs/ReleaseNotes.rst | 4 ++++
.../checkers/readability/container-size-empty.cpp | 15 +++++++++++++++
3 files changed, 27 insertions(+), 4 deletions(-)
diff --git a/clang-tools-extra/clang-tidy/readability/ContainerSizeEmptyCheck.cpp b/clang-tools-extra/clang-tidy/readability/ContainerSizeEmptyCheck.cpp
index 073fdce5018bf..f171cd0f44af4 100644
--- a/clang-tools-extra/clang-tidy/readability/ContainerSizeEmptyCheck.cpp
+++ b/clang-tools-extra/clang-tidy/readability/ContainerSizeEmptyCheck.cpp
@@ -116,11 +116,15 @@ AST_POLYMORPHIC_MATCHER_P(
matchMemberName,
AST_POLYMORPHIC_SUPPORTED_TYPES(MemberExpr, CXXDependentScopeMemberExpr),
std::string, MemberName) {
- if (const auto *E = dyn_cast<MemberExpr>(&Node))
- return E->getMemberDecl()->getName() == MemberName;
+ if (const auto *E = dyn_cast<MemberExpr>(&Node)) {
+ const IdentifierInfo *II = E->getMemberDecl()->getIdentifier();
+ return II && II->getName() == MemberName;
+ }
- if (const auto *E = dyn_cast<CXXDependentScopeMemberExpr>(&Node))
- return E->getMember().getAsString() == MemberName;
+ if (const auto *E = dyn_cast<CXXDependentScopeMemberExpr>(&Node)) {
+ const IdentifierInfo *II = E->getMember().getAsIdentifierInfo();
+ return II && II->getName() == MemberName;
+ }
return false;
}
diff --git a/clang-tools-extra/docs/ReleaseNotes.rst b/clang-tools-extra/docs/ReleaseNotes.rst
index 5c0060877a67f..0d39b4111d3a8 100644
--- a/clang-tools-extra/docs/ReleaseNotes.rst
+++ b/clang-tools-extra/docs/ReleaseNotes.rst
@@ -218,6 +218,10 @@ Changes in existing checks
<clang-tidy/checks/performance/move-const-arg>` check by avoiding false
positives on trivially copyable types with a non-public copy constructor.
+- Improved :doc:`readability-container-size-empty
+ <clang-tidy/checks/readability/container-size-empty>` check by fixing a crash
+ when a member expression has a non-identifier name.
+
- Improved :doc:`readability-enum-initial-value
<clang-tidy/checks/readability/enum-initial-value>` check: the warning message
now uses separate note diagnostics for each uninitialized enumerator, making
diff --git a/clang-tools-extra/test/clang-tidy/checkers/readability/container-size-empty.cpp b/clang-tools-extra/test/clang-tidy/checkers/readability/container-size-empty.cpp
index 7844275c3a960..aacb74306edc7 100644
--- a/clang-tools-extra/test/clang-tidy/checkers/readability/container-size-empty.cpp
+++ b/clang-tools-extra/test/clang-tidy/checkers/readability/container-size-empty.cpp
@@ -985,3 +985,18 @@ class ReportInContainerNonEmptyMethodCompare {
}
}
};
+
+namespace GH181552 {
+struct DestructorContainer {
+ unsigned long size() const;
+ bool empty() const;
+ ~DestructorContainer();
+};
+
+struct DestructorUser {
+ DestructorContainer Indexes;
+ ~DestructorUser() {
+ Indexes.~DestructorContainer();
+ }
+};
+}
More information about the cfe-commits
mailing list