clang 24.0.0git
DeclarationName.cpp
Go to the documentation of this file.
1//===- DeclarationName.cpp - Declaration names implementation -------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file implements the DeclarationName and DeclarationNameTable
10// classes.
11//
12//===----------------------------------------------------------------------===//
13
16#include "clang/AST/Decl.h"
17#include "clang/AST/DeclBase.h"
18#include "clang/AST/DeclCXX.h"
22#include "clang/AST/Type.h"
23#include "clang/AST/TypeLoc.h"
26#include "clang/Basic/LLVM.h"
30#include "llvm/ADT/FoldingSet.h"
31#include "llvm/Support/Compiler.h"
32#include "llvm/Support/ErrorHandling.h"
33#include "llvm/Support/raw_ostream.h"
34#include <algorithm>
35#include <cassert>
36#include <string>
37
38using namespace clang;
39
40static int compareInt(unsigned A, unsigned B) {
41 return (A < B ? -1 : (A > B ? 1 : 0));
42}
43
44int DeclarationName::compare(DeclarationName LHS, DeclarationName RHS) {
45 if (LHS.getNameKind() != RHS.getNameKind())
46 return (LHS.getNameKind() < RHS.getNameKind() ? -1 : 1);
47
48 switch (LHS.getNameKind()) {
50 IdentifierInfo *LII = LHS.castAsIdentifierInfo();
51 IdentifierInfo *RII = RHS.castAsIdentifierInfo();
52 if (!LII)
53 return RII ? -1 : 0;
54 if (!RII)
55 return 1;
56
57 return LII->getName().compare(RII->getName());
58 }
59
63 Selector LHSSelector = LHS.getObjCSelector();
64 Selector RHSSelector = RHS.getObjCSelector();
65 // getNumArgs for ZeroArgSelector returns 0, but we still need to compare.
68 return LHSSelector.getAsIdentifierInfo()->getName().compare(
69 RHSSelector.getAsIdentifierInfo()->getName());
70 }
71 unsigned LN = LHSSelector.getNumArgs(), RN = RHSSelector.getNumArgs();
72 for (unsigned I = 0, N = std::min(LN, RN); I != N; ++I) {
73 if (int Compare = LHSSelector.getNameForSlot(I).compare(
74 RHSSelector.getNameForSlot(I)))
75 return Compare;
76 }
77
78 return compareInt(LN, RN);
79 }
80
85 return -1;
87 return 1;
88 return 0;
89
91 // We never want to compare deduction guide names for templates from
92 // different scopes, so just compare the template-name.
95
99
101 return LHS.getCXXLiteralIdentifier()->getName().compare(
103
105 return 0;
106 }
107
108 llvm_unreachable("Invalid DeclarationName Kind!");
109}
110
112 raw_ostream &OS,
113 PrintingPolicy Policy) {
114 // We know we're printing C++ here. Ensure we print types properly.
115 Policy.adjustForCPlusPlus();
116 Policy.SuppressScope = true;
117
118 if (const RecordType *ClassRec = ClassType->getAsCanonical<RecordType>()) {
119 ClassRec->getDecl()->printName(OS, Policy);
120 return;
121 }
123 if (auto *InjTy = ClassType->getAsCanonical<InjectedClassNameType>()) {
124 InjTy->getDecl()->printName(OS, Policy);
125 return;
126 }
127 }
128 ClassType.print(OS, Policy);
129}
130
131void DeclarationName::print(raw_ostream &OS,
132 const PrintingPolicy &Policy) const {
133 switch (getNameKind()) {
135 if (const IdentifierInfo *II = getAsIdentifierInfo()) {
136 StringRef Name = II->getName();
137 // If this is a mangled OpenMP variant name we strip off the mangling for
138 // printing. It should not be visible to the user at all.
139 if (II->isMangledOpenMPVariantName()) {
140 std::pair<StringRef, StringRef> NameContextPair =
142 OS << NameContextPair.first << "["
143 << OMPTraitInfo(NameContextPair.second) << "]";
144 } else {
145 OS << Name;
146 }
147 }
148 return;
149
154 return;
155
158
160 OS << '~';
162
164 OS << "<deduction guide for ";
166 OS << '>';
167 return;
168
170 const char *OpName = getOperatorSpelling(getCXXOverloadedOperator());
171 assert(OpName && "not an overloaded operator");
172
173 OS << "operator";
174 if (OpName[0] >= 'a' && OpName[0] <= 'z')
175 OS << ' ';
176 OS << OpName;
177 return;
178 }
179
181 OS << "operator\"\"" << getCXXLiteralIdentifier()->getName();
182 return;
183
185 OS << "operator ";
187 if (const RecordType *Rec = Type->getAs<RecordType>()) {
188 OS << *Rec->getDecl();
189 return;
190 }
191 // We know we're printing C++ here, ensure we print 'bool' properly.
192 PrintingPolicy CXXPolicy = Policy;
193 CXXPolicy.adjustForCPlusPlus();
194 Type.print(OS, CXXPolicy);
195 return;
196 }
198 OS << "<using-directive>";
199 return;
200 }
201
202 llvm_unreachable("Unexpected declaration name kind");
203}
204
205namespace clang {
206
207raw_ostream &operator<<(raw_ostream &OS, DeclarationName N) {
208 LangOptions LO;
209 N.print(OS, PrintingPolicy(LO));
210 return OS;
211}
212
213} // namespace clang
214
217 if (!T.isNull() && T->isDependentType())
218 return true;
219
220 // A class-scope deduction guide in a dependent context has a dependent name.
221 auto *TD = getCXXDeductionGuideTemplate();
222 if (TD && TD->getDeclContext()->isDependentContext())
223 return true;
224
225 return false;
226}
227
228std::string DeclarationName::getAsString() const {
229 std::string Result;
230 llvm::raw_string_ostream OS(Result);
231 OS << *this;
232 return Result;
233}
234
235void *DeclarationName::getFETokenInfoSlow() const {
236 switch (getNameKind()) {
237 case Identifier:
238 llvm_unreachable("case Identifier already handled by getFETokenInfo!");
242 return castAsCXXSpecialNameExtra()->FETokenInfo;
243 case CXXOperatorName:
244 return castAsCXXOperatorIdName()->FETokenInfo;
246 return castAsCXXDeductionGuideNameExtra()->FETokenInfo;
248 return castAsCXXLiteralOperatorIdName()->FETokenInfo;
249 default:
250 llvm_unreachable("DeclarationName has no FETokenInfo!");
251 }
252}
253
254void DeclarationName::setFETokenInfoSlow(void *T) {
255 switch (getNameKind()) {
256 case Identifier:
257 llvm_unreachable("case Identifier already handled by setFETokenInfo!");
261 castAsCXXSpecialNameExtra()->FETokenInfo = T;
262 break;
263 case CXXOperatorName:
264 castAsCXXOperatorIdName()->FETokenInfo = T;
265 break;
267 castAsCXXDeductionGuideNameExtra()->FETokenInfo = T;
268 break;
270 castAsCXXLiteralOperatorIdName()->FETokenInfo = T;
271 break;
272 default:
273 llvm_unreachable("DeclarationName has no FETokenInfo!");
274 }
275}
276
277LLVM_DUMP_METHOD void DeclarationName::dump() const {
278 llvm::errs() << *this << '\n';
279}
280
282 // Initialize the overloaded operator names.
283 for (unsigned Op = 0; Op < NUM_OVERLOADED_OPERATORS; ++Op)
284 CXXOperatorNames[Op].Kind = static_cast<OverloadedOperatorKind>(Op);
285}
286
289 Template = cast<TemplateDecl>(Template->getCanonicalDecl());
290
291 llvm::FoldingSetNodeID ID;
292 ID.AddPointer(Template);
293
294 llvm::FoldingSetInsertToken Token;
295 if (auto *Name = CXXDeductionGuideNames.lookup(ID, Token))
296 return DeclarationName(Name);
297
298 auto *Name = new (Ctx) detail::CXXDeductionGuideNameExtra(Template);
299 CXXDeductionGuideNames.insert(Name, Token);
300 return DeclarationName(Name);
301}
302
304 // The type of constructors is unqualified.
305 Ty = Ty.getUnqualifiedType();
306 // Do we already have this C++ constructor name ?
307 llvm::FoldingSetNodeID ID;
308 ID.AddPointer(Ty.getAsOpaquePtr());
309 llvm::FoldingSetInsertToken Token;
310 if (auto *Name = CXXConstructorNames.lookup(ID, Token))
311 return {Name, DeclarationName::StoredCXXConstructorName};
312
313 // We have to create it.
314 auto *SpecialName = new (Ctx) detail::CXXSpecialNameExtra(Ty);
315 CXXConstructorNames.insert(SpecialName, Token);
316 return {SpecialName, DeclarationName::StoredCXXConstructorName};
317}
318
320 // The type of destructors is unqualified.
321 Ty = Ty.getUnqualifiedType();
322 // Do we already have this C++ destructor name ?
323 llvm::FoldingSetNodeID ID;
324 ID.AddPointer(Ty.getAsOpaquePtr());
325 llvm::FoldingSetInsertToken Token;
326 if (auto *Name = CXXDestructorNames.lookup(ID, Token))
327 return {Name, DeclarationName::StoredCXXDestructorName};
328
329 // We have to create it.
330 auto *SpecialName = new (Ctx) detail::CXXSpecialNameExtra(Ty);
331 CXXDestructorNames.insert(SpecialName, Token);
332 return {SpecialName, DeclarationName::StoredCXXDestructorName};
333}
334
337 // Do we already have this C++ conversion function name ?
338 llvm::FoldingSetNodeID ID;
339 ID.AddPointer(Ty.getAsOpaquePtr());
340 llvm::FoldingSetInsertToken Token;
341 if (auto *Name = CXXConversionFunctionNames.lookup(ID, Token))
342 return {Name, DeclarationName::StoredCXXConversionFunctionName};
343
344 // We have to create it.
345 auto *SpecialName = new (Ctx) detail::CXXSpecialNameExtra(Ty);
346 CXXConversionFunctionNames.insert(SpecialName, Token);
347 return {SpecialName, DeclarationName::StoredCXXConversionFunctionName};
348}
349
352 CanQualType Ty) {
353 switch (Kind) {
355 return getCXXConstructorName(Ty);
357 return getCXXDestructorName(Ty);
360 default:
361 llvm_unreachable("Invalid kind in getCXXSpecialName!");
362 }
363}
364
367 llvm::FoldingSetNodeID ID;
368 ID.AddPointer(II);
369
370 llvm::FoldingSetInsertToken Token;
371 if (auto *Name = CXXLiteralOperatorNames.lookup(ID, Token))
372 return DeclarationName(Name);
373
374 auto *LiteralName = new (Ctx) detail::CXXLiteralOperatorIdName(II);
375 CXXLiteralOperatorNames.insert(LiteralName, Token);
376 return DeclarationName(LiteralName);
377}
378
380 switch (Name.getNameKind()) {
383 break;
387 setNamedTypeLoc(nullptr);
388 break;
390 setCXXOperatorNameRange(SourceRange());
391 break;
393 setCXXLiteralOperatorNameLoc(SourceLocation());
394 break;
398 // FIXME: ?
399 break;
401 break;
402 }
403}
404
406 switch (Name.getNameKind()) {
415 return false;
416
420 if (TypeSourceInfo *TInfo = LocInfo.getNamedTypeInfo())
421 return TInfo->getType()->containsUnexpandedParameterPack();
422
423 return Name.getCXXNameType()->containsUnexpandedParameterPack();
424 }
425 llvm_unreachable("All name kinds handled.");
426}
427
429 switch (Name.getNameKind()) {
438 return false;
439
443 if (TypeSourceInfo *TInfo = LocInfo.getNamedTypeInfo())
444 return TInfo->getType()->isInstantiationDependentType();
445
446 return Name.getCXXNameType()->isInstantiationDependentType();
447 }
448 llvm_unreachable("All name kinds handled.");
449}
450
452 std::string Result;
453 llvm::raw_string_ostream OS(Result);
454 OS << *this;
455 return Result;
456}
457
458raw_ostream &clang::operator<<(raw_ostream &OS, DeclarationNameInfo DNInfo) {
459 LangOptions LO;
460 DNInfo.printName(OS, PrintingPolicy(LangOptions()));
461 return OS;
462}
463
464void DeclarationNameInfo::printName(raw_ostream &OS, PrintingPolicy Policy) const {
465 switch (Name.getNameKind()) {
474 Name.print(OS, Policy);
475 return;
476
480 if (TypeSourceInfo *TInfo = LocInfo.getNamedTypeInfo()) {
481 if (Name.getNameKind() == DeclarationName::CXXDestructorName)
482 OS << '~';
483 else if (Name.getNameKind() == DeclarationName::CXXConversionFunctionName)
484 OS << "operator ";
485 LangOptions LO;
486 Policy.adjustForCPlusPlus();
487 Policy.SuppressScope = true;
488 OS << TInfo->getType().getAsString(Policy);
489 } else
490 Name.print(OS, Policy);
491 return;
492 }
493 llvm_unreachable("Unexpected declaration name kind");
494}
495
496SourceLocation DeclarationNameInfo::getEndLocPrivate() const {
497 switch (Name.getNameKind()) {
500 return NameLoc;
501
503 return LocInfo.getCXXOperatorNameEndLoc();
504
506 return LocInfo.getCXXLiteralOperatorNameLoc();
507
511 if (TypeSourceInfo *TInfo = LocInfo.getNamedTypeInfo())
512 return TInfo->getTypeLoc().getEndLoc();
513 else
514 return NameLoc;
515
516 // DNInfo work in progress: FIXME.
521 return NameLoc;
522 }
523 llvm_unreachable("Unexpected declaration name kind");
524}
Defines the clang::ASTContext interface.
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
Defines the C++ template declaration subclasses.
static void printCXXConstructorDestructorName(QualType ClassType, raw_ostream &OS, PrintingPolicy Policy)
static int compareInt(unsigned A, unsigned B)
Defines the clang::IdentifierInfo, clang::IdentifierTable, and clang::Selector interfaces.
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.
Defines the clang::LangOptions interface.
This file defines OpenMP AST classes for clauses.
Defines an enumeration for C++ overloaded operators.
Defines the clang::SourceLocation class and associated facilities.
Defines the clang::TypeLoc interface and its subclasses.
Allows QualTypes to be sorted and hence used in maps and sets.
C Language Family Type Representation.
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition ASTContext.h:239
void * getAsOpaquePtr() const
Retrieve the internal representation of this canonical type.
CanQual< T > getUnqualifiedType() const
Retrieve the unqualified form of this type.
SourceLocation getCXXLiteralOperatorNameLoc() const
Return the location of the literal operator name (without the operator keyword).
TypeSourceInfo * getNamedTypeInfo() const
Returns the source type info.
SourceLocation getCXXOperatorNameEndLoc() const
Return the end location of the getCXXOperatorNameRange() range.
DeclarationNameTable(const ASTContext &C)
DeclarationName getCXXConversionFunctionName(CanQualType Ty)
Returns the name of a C++ conversion function for the given Type.
DeclarationName getCXXDestructorName(CanQualType Ty)
Returns the name of a C++ destructor for the given Type.
DeclarationName getCXXSpecialName(DeclarationName::NameKind Kind, CanQualType Ty)
Returns a declaration name for special kind of C++ name, e.g., for a constructor, destructor,...
DeclarationName getCXXDeductionGuideName(TemplateDecl *TD)
Returns the name of a C++ deduction guide for the given template.
DeclarationName getCXXConstructorName(CanQualType Ty)
Returns the name of a C++ constructor for the given Type.
DeclarationName getCXXLiteralOperatorName(const IdentifierInfo *II)
Get the name of the literal operator function with II as the identifier.
The name of a declaration.
static int compare(DeclarationName LHS, DeclarationName RHS)
IdentifierInfo * getAsIdentifierInfo() const
Retrieve the IdentifierInfo * stored in this declaration name, or null if this declaration name isn't...
bool isDependentName() const
Determines whether the name itself is dependent, e.g., because it involves a C++ type that is itself ...
TemplateDecl * getCXXDeductionGuideTemplate() const
If this name is the name of a C++ deduction guide, return the template associated with that name.
void print(raw_ostream &OS, const PrintingPolicy &Policy) const
std::string getAsString() const
Retrieve the human-readable string for this name.
const IdentifierInfo * getCXXLiteralIdentifier() const
If this name is the name of a literal operator, retrieve the identifier associated with it.
OverloadedOperatorKind getCXXOverloadedOperator() const
If this name is the name of an overloadable operator in C++ (e.g., operator+), retrieve the kind of o...
NameKind
The kind of the name stored in this DeclarationName.
QualType getCXXNameType() const
If this name is one of the C++ names (of a constructor, destructor, or conversion function),...
Selector getObjCSelector() const
Get the Objective-C selector stored in this declaration name.
NameKind getNameKind() const
Determine what kind of name this is.
One of these records is kept for each identifier that is lexed.
StringRef getName() const
Return the actual identifier string.
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
Definition Decl.h:341
A (possibly-)qualified type.
Definition TypeBase.h:938
void print(raw_ostream &OS, const PrintingPolicy &Policy, const Twine &PlaceHolder=Twine(), unsigned Indentation=0) const
Smart pointer class that efficiently represents Objective-C method names.
StringRef getNameForSlot(unsigned argIndex) const
Retrieve the name at a given position in the selector.
void print(llvm::raw_ostream &OS) const
Prints the full selector name (e.g. "foo:bar:").
unsigned getNumArgs() const
Encodes a location in the source.
A trivial tuple used to represent a source range.
The base class of all kinds of template declarations (e.g., class, function, etc.).
Token - This structure provides full information about a lexed token.
Definition Token.h:36
A container of type source information.
Definition TypeBase.h:8389
The base class of the type hierarchy.
Definition TypeBase.h:1879
const T * getAsCanonical() const
If this type is canonically the specified type, return its canonical type cast to that specified type...
Definition TypeBase.h:2998
const T * getAs() const
Member-template getAs<specific type>'.
Definition TypeBase.h:9254
Contains extra information for the name of a C++ deduction guide.
Contains the actual identifier that makes up the name of a C++ literal operator.
CXXSpecialNameExtra records the type associated with one of the "special" kinds of declaration names ...
Top level wrappers for InstallAPI frontend operations.
CanQual< Type > CanQualType
Represents a canonical, potentially-qualified type.
OverloadedOperatorKind
Enumeration specifying the different kinds of C++ overloaded operators.
@ NUM_OVERLOADED_OPERATORS
static constexpr StringRef getOpenMPVariantManglingSeparatorStr()
OpenMP variants are mangled early based on their OpenMP context selector.
Definition Decl.h:5520
@ Result
The result type of a method or function.
Definition TypeBase.h:906
const FunctionProtoType * T
@ Template
We are parsing a template declaration.
Definition Parser.h:81
const StreamingDiagnostic & operator<<(const StreamingDiagnostic &DB, const ConceptReference *C)
Insertion operator for diagnostics.
const char * getOperatorSpelling(OverloadedOperatorKind Operator)
Retrieve the spelling of the given overloaded operator, without the preceding "operator" keyword.
U cast(CodeGen::Address addr)
Definition Address.h:327
DeclarationNameInfo - A collector data type for bundling together a DeclarationName and the correspon...
bool isInstantiationDependent() const
Determine whether this name involves a template parameter.
void printName(raw_ostream &OS, PrintingPolicy Policy) const
printName - Print the human-readable name to a stream.
std::string getAsString() const
getAsString - Retrieve the human-readable string for this name.
bool containsUnexpandedParameterPack() const
Determine whether this name contains an unexpanded parameter pack.
Describes how types, statements, expressions, and declarations should be printed.
void adjustForCPlusPlus()
Adjust this printing policy for cases where it's known that we're printing C++ code (for instance,...
unsigned SuppressScope
Suppresses printing of scope specifiers.
unsigned SuppressTemplateArgsInCXXConstructors
When true, suppresses printing template arguments in names of C++ constructors.
Function object that provides a total ordering on QualType values.