[PATCH] D149981: [clang][AST][NFC] Factor out check for structural equivalence of names.
David Stone via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Fri May 5 12:26:22 PDT 2023
davidstone created this revision.
Herald added a subscriber: martong.
Herald added a project: All.
davidstone requested review of this revision.
Herald added a project: clang.
Herald added a subscriber: cfe-commits.
We have four places that we try to decide which name to use for the test for structural equivalence, and in each of those we evaluate `getTypedefNameForAnonDecl` twice. Pull out the check into a function to reduce duplication and evaluate things only once.
Repository:
rG LLVM Github Monorepo
https://reviews.llvm.org/D149981
Files:
clang/lib/AST/ASTStructuralEquivalence.cpp
Index: clang/lib/AST/ASTStructuralEquivalence.cpp
===================================================================
--- clang/lib/AST/ASTStructuralEquivalence.cpp
+++ clang/lib/AST/ASTStructuralEquivalence.cpp
@@ -1453,19 +1453,25 @@
return true;
}
+static bool NameIsStructurallyEquivalent(const TagDecl &D1, const TagDecl &D2) {
+ auto GetName = [](const TagDecl &D) -> const IdentifierInfo * {
+ if (const IdentifierInfo *Name = D.getIdentifier()) {
+ return Name;
+ }
+ if (const TypedefNameDecl *TypedefName = D.getTypedefNameForAnonDecl()) {
+ return TypedefName->getIdentifier();
+ }
+ return nullptr;
+ };
+ return IsStructurallyEquivalent(GetName(D1), GetName(D2));
+}
+
/// Determine structural equivalence of two records.
static bool IsStructurallyEquivalent(StructuralEquivalenceContext &Context,
RecordDecl *D1, RecordDecl *D2) {
-
- // Check for equivalent structure names.
- IdentifierInfo *Name1 = D1->getIdentifier();
- if (!Name1 && D1->getTypedefNameForAnonDecl())
- Name1 = D1->getTypedefNameForAnonDecl()->getIdentifier();
- IdentifierInfo *Name2 = D2->getIdentifier();
- if (!Name2 && D2->getTypedefNameForAnonDecl())
- Name2 = D2->getTypedefNameForAnonDecl()->getIdentifier();
- if (!IsStructurallyEquivalent(Name1, Name2))
+ if (!NameIsStructurallyEquivalent(*D1, *D2)) {
return false;
+ }
if (D1->isUnion() != D2->isUnion()) {
if (Context.Complain) {
@@ -1727,16 +1733,9 @@
/// Determine structural equivalence of two enums.
static bool IsStructurallyEquivalent(StructuralEquivalenceContext &Context,
EnumDecl *D1, EnumDecl *D2) {
-
- // Check for equivalent enum names.
- IdentifierInfo *Name1 = D1->getIdentifier();
- if (!Name1 && D1->getTypedefNameForAnonDecl())
- Name1 = D1->getTypedefNameForAnonDecl()->getIdentifier();
- IdentifierInfo *Name2 = D2->getIdentifier();
- if (!Name2 && D2->getTypedefNameForAnonDecl())
- Name2 = D2->getTypedefNameForAnonDecl()->getIdentifier();
- if (!IsStructurallyEquivalent(Name1, Name2))
+ if (!NameIsStructurallyEquivalent(*D1, *D2)) {
return false;
+ }
// Compare the definitions of these two enums. If either or both are
// incomplete (i.e. forward declared), we assume that they are equivalent.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D149981.519945.patch
Type: text/x-patch
Size: 2338 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20230505/dc2ae31a/attachment-0001.bin>
More information about the cfe-commits
mailing list