blob: b75aa252175ac9a2a8e4584648bdfb0ba36c9735 [file] [log] [blame]
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +00001//===- USRGeneration.cpp - Routines for USR generation --------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Argyrios Kyrtzidis15a2fcc2013-08-17 00:40:41 +000010#include "clang/Index/USRGeneration.h"
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +000011#include "clang/AST/ASTContext.h"
12#include "clang/AST/DeclTemplate.h"
13#include "clang/AST/DeclVisitor.h"
Dmitri Gribenko237769e2014-03-28 22:21:26 +000014#include "clang/Lex/PreprocessingRecord.h"
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +000015#include "llvm/Support/Path.h"
16#include "llvm/Support/raw_ostream.h"
17
18using namespace clang;
Argyrios Kyrtzidis5234b492013-08-21 00:49:25 +000019using namespace clang::index;
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +000020
21//===----------------------------------------------------------------------===//
22// USR generation.
23//===----------------------------------------------------------------------===//
24
Dmitri Gribenko237769e2014-03-28 22:21:26 +000025/// \returns true on error.
26static bool printLoc(llvm::raw_ostream &OS, SourceLocation Loc,
27 const SourceManager &SM, bool IncludeOffset) {
28 if (Loc.isInvalid()) {
29 return true;
30 }
31 Loc = SM.getExpansionLoc(Loc);
32 const std::pair<FileID, unsigned> &Decomposed = SM.getDecomposedLoc(Loc);
33 const FileEntry *FE = SM.getFileEntryForID(Decomposed.first);
34 if (FE) {
35 OS << llvm::sys::path::filename(FE->getName());
36 } else {
37 // This case really isn't interesting.
38 return true;
39 }
40 if (IncludeOffset) {
41 // Use the offest into the FileID to represent the location. Using
42 // a line/column can cause us to look back at the original source file,
43 // which is expensive.
44 OS << '@' << Decomposed.second;
45 }
46 return false;
47}
48
Argyrios Kyrtzidis6e5ca5b2017-04-21 05:42:46 +000049static StringRef GetExternalSourceContainer(const NamedDecl *D) {
50 if (!D)
51 return StringRef();
Argyrios Kyrtzidis11d70482017-05-20 04:11:33 +000052 if (auto *attr = D->getExternalSourceSymbolAttr()) {
Argyrios Kyrtzidis6e5ca5b2017-04-21 05:42:46 +000053 return attr->getDefinedIn();
54 }
55 return StringRef();
56}
57
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +000058namespace {
59class USRGenerator : public ConstDeclVisitor<USRGenerator> {
60 SmallVectorImpl<char> &Buf;
61 llvm::raw_svector_ostream Out;
62 bool IgnoreResults;
63 ASTContext *Context;
64 bool generatedLoc;
Fangrui Song6907ce22018-07-30 19:24:48 +000065
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +000066 llvm::DenseMap<const Type *, unsigned> TypeSubstitutions;
Fangrui Song6907ce22018-07-30 19:24:48 +000067
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +000068public:
69 explicit USRGenerator(ASTContext *Ctx, SmallVectorImpl<char> &Buf)
70 : Buf(Buf),
71 Out(Buf),
72 IgnoreResults(false),
73 Context(Ctx),
74 generatedLoc(false)
75 {
76 // Add the USR space prefix.
Argyrios Kyrtzidis5234b492013-08-21 00:49:25 +000077 Out << getUSRSpacePrefix();
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +000078 }
79
80 bool ignoreResults() const { return IgnoreResults; }
81
82 // Visitation methods from generating USRs from AST elements.
83 void VisitDeclContext(const DeclContext *D);
84 void VisitFieldDecl(const FieldDecl *D);
85 void VisitFunctionDecl(const FunctionDecl *D);
86 void VisitNamedDecl(const NamedDecl *D);
87 void VisitNamespaceDecl(const NamespaceDecl *D);
88 void VisitNamespaceAliasDecl(const NamespaceAliasDecl *D);
89 void VisitFunctionTemplateDecl(const FunctionTemplateDecl *D);
90 void VisitClassTemplateDecl(const ClassTemplateDecl *D);
Argyrios Kyrtzidisf3634742017-04-21 22:27:06 +000091 void VisitObjCContainerDecl(const ObjCContainerDecl *CD,
92 const ObjCCategoryDecl *CatD = nullptr);
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +000093 void VisitObjCMethodDecl(const ObjCMethodDecl *MD);
94 void VisitObjCPropertyDecl(const ObjCPropertyDecl *D);
95 void VisitObjCPropertyImplDecl(const ObjCPropertyImplDecl *D);
96 void VisitTagDecl(const TagDecl *D);
97 void VisitTypedefDecl(const TypedefDecl *D);
98 void VisitTemplateTypeParmDecl(const TemplateTypeParmDecl *D);
99 void VisitVarDecl(const VarDecl *D);
Fangrui Song63a8b6c2018-10-09 01:02:56 +0000100 void VisitBindingDecl(const BindingDecl *D);
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000101 void VisitNonTypeTemplateParmDecl(const NonTypeTemplateParmDecl *D);
102 void VisitTemplateTemplateParmDecl(const TemplateTemplateParmDecl *D);
Ben Langmuirfd6e39c2017-08-16 23:12:21 +0000103 void VisitUnresolvedUsingValueDecl(const UnresolvedUsingValueDecl *D);
104 void VisitUnresolvedUsingTypenameDecl(const UnresolvedUsingTypenameDecl *D);
Eugene Zelenko1ced5092016-02-12 22:53:10 +0000105
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000106 void VisitLinkageSpecDecl(const LinkageSpecDecl *D) {
Sam McCall2e50ae62018-02-02 14:13:37 +0000107 IgnoreResults = true; // No USRs for linkage specs themselves.
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000108 }
Eugene Zelenko1ced5092016-02-12 22:53:10 +0000109
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000110 void VisitUsingDirectiveDecl(const UsingDirectiveDecl *D) {
111 IgnoreResults = true;
112 }
Eugene Zelenko1ced5092016-02-12 22:53:10 +0000113
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000114 void VisitUsingDecl(const UsingDecl *D) {
115 IgnoreResults = true;
116 }
Eugene Zelenko1ced5092016-02-12 22:53:10 +0000117
Argyrios Kyrtzidisd3ba4102014-02-23 18:23:29 +0000118 bool ShouldGenerateLocation(const NamedDecl *D);
119
120 bool isLocal(const NamedDecl *D) {
Craig Topper236bde32014-05-26 06:21:51 +0000121 return D->getParentFunctionOrMethod() != nullptr;
Argyrios Kyrtzidisd3ba4102014-02-23 18:23:29 +0000122 }
123
Argyrios Kyrtzidis6e5ca5b2017-04-21 05:42:46 +0000124 void GenExtSymbolContainer(const NamedDecl *D);
125
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000126 /// Generate the string component containing the location of the
127 /// declaration.
Argyrios Kyrtzidisd3ba4102014-02-23 18:23:29 +0000128 bool GenLoc(const Decl *D, bool IncludeOffset);
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000129
130 /// String generation methods used both by the visitation methods
131 /// and from other clients that want to directly generate USRs. These
132 /// methods do not construct complete USRs (which incorporate the parents
133 /// of an AST element), but only the fragments concerning the AST element
134 /// itself.
135
136 /// Generate a USR for an Objective-C class.
Argyrios Kyrtzidisf3634742017-04-21 22:27:06 +0000137 void GenObjCClass(StringRef cls, StringRef ExtSymDefinedIn,
138 StringRef CategoryContextExtSymbolDefinedIn) {
139 generateUSRForObjCClass(cls, Out, ExtSymDefinedIn,
140 CategoryContextExtSymbolDefinedIn);
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000141 }
Eugene Zelenko1ced5092016-02-12 22:53:10 +0000142
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000143 /// Generate a USR for an Objective-C class category.
Argyrios Kyrtzidis6e5ca5b2017-04-21 05:42:46 +0000144 void GenObjCCategory(StringRef cls, StringRef cat,
145 StringRef clsExt, StringRef catExt) {
146 generateUSRForObjCCategory(cls, cat, Out, clsExt, catExt);
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000147 }
Eugene Zelenko1ced5092016-02-12 22:53:10 +0000148
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000149 /// Generate a USR fragment for an Objective-C property.
Argyrios Kyrtzidisd9849a92016-07-15 22:18:19 +0000150 void GenObjCProperty(StringRef prop, bool isClassProp) {
151 generateUSRForObjCProperty(prop, isClassProp, Out);
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000152 }
Eugene Zelenko1ced5092016-02-12 22:53:10 +0000153
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000154 /// Generate a USR for an Objective-C protocol.
Argyrios Kyrtzidis6e5ca5b2017-04-21 05:42:46 +0000155 void GenObjCProtocol(StringRef prot, StringRef ext) {
156 generateUSRForObjCProtocol(prot, Out, ext);
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000157 }
158
159 void VisitType(QualType T);
160 void VisitTemplateParameterList(const TemplateParameterList *Params);
161 void VisitTemplateName(TemplateName Name);
162 void VisitTemplateArgument(const TemplateArgument &Arg);
Fangrui Song6907ce22018-07-30 19:24:48 +0000163
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000164 /// Emit a Decl's name using NamedDecl::printName() and return true if
165 /// the decl had no name.
166 bool EmitDeclName(const NamedDecl *D);
167};
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000168} // end anonymous namespace
169
170//===----------------------------------------------------------------------===//
171// Generating USRs from ASTS.
172//===----------------------------------------------------------------------===//
173
174bool USRGenerator::EmitDeclName(const NamedDecl *D) {
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000175 const unsigned startSize = Buf.size();
176 D->printName(Out);
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000177 const unsigned endSize = Buf.size();
178 return startSize == endSize;
179}
180
Argyrios Kyrtzidisd3ba4102014-02-23 18:23:29 +0000181bool USRGenerator::ShouldGenerateLocation(const NamedDecl *D) {
182 if (D->isExternallyVisible())
183 return false;
184 if (D->getParentFunctionOrMethod())
185 return true;
Argyrios Kyrtzidisf12918d2016-11-02 23:42:33 +0000186 SourceLocation Loc = D->getLocation();
187 if (Loc.isInvalid())
188 return false;
Argyrios Kyrtzidisd3ba4102014-02-23 18:23:29 +0000189 const SourceManager &SM = Context->getSourceManager();
Argyrios Kyrtzidisf12918d2016-11-02 23:42:33 +0000190 return !SM.isInSystemHeader(Loc);
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000191}
192
193void USRGenerator::VisitDeclContext(const DeclContext *DC) {
194 if (const NamedDecl *D = dyn_cast<NamedDecl>(DC))
195 Visit(D);
Sam McCall2e50ae62018-02-02 14:13:37 +0000196 else if (isa<LinkageSpecDecl>(DC)) // Linkage specs are transparent in USRs.
197 VisitDeclContext(DC->getParent());
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000198}
199
200void USRGenerator::VisitFieldDecl(const FieldDecl *D) {
201 // The USR for an ivar declared in a class extension is based on the
202 // ObjCInterfaceDecl, not the ObjCCategoryDecl.
203 if (const ObjCInterfaceDecl *ID = Context->getObjContainingInterface(D))
204 Visit(ID);
205 else
206 VisitDeclContext(D->getDeclContext());
207 Out << (isa<ObjCIvarDecl>(D) ? "@" : "@FI@");
208 if (EmitDeclName(D)) {
209 // Bit fields can be anonymous.
210 IgnoreResults = true;
211 return;
212 }
213}
214
215void USRGenerator::VisitFunctionDecl(const FunctionDecl *D) {
Argyrios Kyrtzidisd3ba4102014-02-23 18:23:29 +0000216 if (ShouldGenerateLocation(D) && GenLoc(D, /*IncludeOffset=*/isLocal(D)))
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000217 return;
218
Argyrios Kyrtzidis6e5ca5b2017-04-21 05:42:46 +0000219 const unsigned StartSize = Buf.size();
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000220 VisitDeclContext(D->getDeclContext());
Argyrios Kyrtzidis6e5ca5b2017-04-21 05:42:46 +0000221 if (Buf.size() == StartSize)
222 GenExtSymbolContainer(D);
223
Argyrios Kyrtzidisd06ce402014-12-08 08:48:11 +0000224 bool IsTemplate = false;
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000225 if (FunctionTemplateDecl *FunTmpl = D->getDescribedFunctionTemplate()) {
Argyrios Kyrtzidisd06ce402014-12-08 08:48:11 +0000226 IsTemplate = true;
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000227 Out << "@FT@";
228 VisitTemplateParameterList(FunTmpl->getTemplateParameters());
229 } else
230 Out << "@F@";
Argyrios Kyrtzidisd5719082016-02-15 01:32:36 +0000231
232 PrintingPolicy Policy(Context->getLangOpts());
233 // Forward references can have different template argument names. Suppress the
234 // template argument names in constructors to make their USR more stable.
235 Policy.SuppressTemplateArgsInCXXConstructors = true;
236 D->getDeclName().print(Out, Policy);
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000237
238 ASTContext &Ctx = *Context;
Argyrios Kyrtzidis2682f9e2016-03-04 07:17:48 +0000239 if ((!Ctx.getLangOpts().CPlusPlus || D->isExternC()) &&
240 !D->hasAttr<OverloadableAttr>())
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000241 return;
242
243 if (const TemplateArgumentList *
244 SpecArgs = D->getTemplateSpecializationArgs()) {
245 Out << '<';
246 for (unsigned I = 0, N = SpecArgs->size(); I != N; ++I) {
247 Out << '#';
248 VisitTemplateArgument(SpecArgs->get(I));
249 }
250 Out << '>';
251 }
252
253 // Mangle in type information for the arguments.
David Majnemer59f77922016-06-24 04:05:48 +0000254 for (auto PD : D->parameters()) {
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000255 Out << '#';
Aaron Ballmanf6bf62e2014-03-07 15:12:56 +0000256 VisitType(PD->getType());
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000257 }
258 if (D->isVariadic())
259 Out << '.';
Argyrios Kyrtzidisd06ce402014-12-08 08:48:11 +0000260 if (IsTemplate) {
261 // Function templates can be overloaded by return type, for example:
262 // \code
263 // template <class T> typename T::A foo() {}
264 // template <class T> typename T::B foo() {}
265 // \endcode
266 Out << '#';
267 VisitType(D->getReturnType());
268 }
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000269 Out << '#';
270 if (const CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(D)) {
271 if (MD->isStatic())
272 Out << 'S';
273 if (unsigned quals = MD->getTypeQualifiers())
274 Out << (char)('0' + quals);
Argyrios Kyrtzidisf5819092014-12-08 08:48:21 +0000275 switch (MD->getRefQualifier()) {
276 case RQ_None: break;
277 case RQ_LValue: Out << '&'; break;
278 case RQ_RValue: Out << "&&"; break;
279 }
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000280 }
281}
282
283void USRGenerator::VisitNamedDecl(const NamedDecl *D) {
284 VisitDeclContext(D->getDeclContext());
285 Out << "@";
286
287 if (EmitDeclName(D)) {
288 // The string can be empty if the declaration has no name; e.g., it is
289 // the ParmDecl with no name for declaration of a function pointer type,
290 // e.g.: void (*f)(void *);
291 // In this case, don't generate a USR.
292 IgnoreResults = true;
293 }
294}
295
296void USRGenerator::VisitVarDecl(const VarDecl *D) {
297 // VarDecls can be declared 'extern' within a function or method body,
298 // but their enclosing DeclContext is the function, not the TU. We need
299 // to check the storage class to correctly generate the USR.
Argyrios Kyrtzidisd3ba4102014-02-23 18:23:29 +0000300 if (ShouldGenerateLocation(D) && GenLoc(D, /*IncludeOffset=*/isLocal(D)))
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000301 return;
302
303 VisitDeclContext(D->getDeclContext());
304
Argyrios Kyrtzidis9d8ab722016-11-07 21:20:15 +0000305 if (VarTemplateDecl *VarTmpl = D->getDescribedVarTemplate()) {
306 Out << "@VT";
307 VisitTemplateParameterList(VarTmpl->getTemplateParameters());
308 } else if (const VarTemplatePartialSpecializationDecl *PartialSpec
309 = dyn_cast<VarTemplatePartialSpecializationDecl>(D)) {
310 Out << "@VP";
311 VisitTemplateParameterList(PartialSpec->getTemplateParameters());
312 }
313
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000314 // Variables always have simple names.
315 StringRef s = D->getName();
316
317 // The string can be empty if the declaration has no name; e.g., it is
318 // the ParmDecl with no name for declaration of a function pointer type, e.g.:
319 // void (*f)(void *);
320 // In this case, don't generate a USR.
321 if (s.empty())
322 IgnoreResults = true;
323 else
324 Out << '@' << s;
Argyrios Kyrtzidis9d8ab722016-11-07 21:20:15 +0000325
326 // For a template specialization, mangle the template arguments.
327 if (const VarTemplateSpecializationDecl *Spec
328 = dyn_cast<VarTemplateSpecializationDecl>(D)) {
Argyrios Kyrtzidis7d90ed02017-02-15 16:16:27 +0000329 const TemplateArgumentList &Args = Spec->getTemplateArgs();
Argyrios Kyrtzidis9d8ab722016-11-07 21:20:15 +0000330 Out << '>';
331 for (unsigned I = 0, N = Args.size(); I != N; ++I) {
332 Out << '#';
333 VisitTemplateArgument(Args.get(I));
334 }
335 }
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000336}
337
Fangrui Song63a8b6c2018-10-09 01:02:56 +0000338void USRGenerator::VisitBindingDecl(const BindingDecl *D) {
339 if (isLocal(D) && GenLoc(D, /*IncludeOffset=*/true))
340 return;
341 VisitNamedDecl(D);
342}
343
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000344void USRGenerator::VisitNonTypeTemplateParmDecl(
345 const NonTypeTemplateParmDecl *D) {
Argyrios Kyrtzidisd3ba4102014-02-23 18:23:29 +0000346 GenLoc(D, /*IncludeOffset=*/true);
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000347}
348
349void USRGenerator::VisitTemplateTemplateParmDecl(
350 const TemplateTemplateParmDecl *D) {
Argyrios Kyrtzidisd3ba4102014-02-23 18:23:29 +0000351 GenLoc(D, /*IncludeOffset=*/true);
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000352}
353
354void USRGenerator::VisitNamespaceDecl(const NamespaceDecl *D) {
355 if (D->isAnonymousNamespace()) {
356 Out << "@aN";
357 return;
358 }
359
360 VisitDeclContext(D->getDeclContext());
361 if (!IgnoreResults)
362 Out << "@N@" << D->getName();
363}
364
365void USRGenerator::VisitFunctionTemplateDecl(const FunctionTemplateDecl *D) {
366 VisitFunctionDecl(D->getTemplatedDecl());
367}
368
369void USRGenerator::VisitClassTemplateDecl(const ClassTemplateDecl *D) {
370 VisitTagDecl(D->getTemplatedDecl());
371}
372
373void USRGenerator::VisitNamespaceAliasDecl(const NamespaceAliasDecl *D) {
374 VisitDeclContext(D->getDeclContext());
375 if (!IgnoreResults)
Fangrui Song6907ce22018-07-30 19:24:48 +0000376 Out << "@NA@" << D->getName();
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000377}
378
379void USRGenerator::VisitObjCMethodDecl(const ObjCMethodDecl *D) {
380 const DeclContext *container = D->getDeclContext();
381 if (const ObjCProtocolDecl *pd = dyn_cast<ObjCProtocolDecl>(container)) {
382 Visit(pd);
383 }
384 else {
385 // The USR for a method declared in a class extension or category is based on
386 // the ObjCInterfaceDecl, not the ObjCCategoryDecl.
387 const ObjCInterfaceDecl *ID = D->getClassInterface();
388 if (!ID) {
389 IgnoreResults = true;
390 return;
391 }
Argyrios Kyrtzidisf3634742017-04-21 22:27:06 +0000392 auto getCategoryContext = [](const ObjCMethodDecl *D) ->
393 const ObjCCategoryDecl * {
394 if (auto *CD = dyn_cast<ObjCCategoryDecl>(D->getDeclContext()))
395 return CD;
396 if (auto *ICD = dyn_cast<ObjCCategoryImplDecl>(D->getDeclContext()))
397 return ICD->getCategoryDecl();
398 return nullptr;
399 };
400 auto *CD = getCategoryContext(D);
401 VisitObjCContainerDecl(ID, CD);
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000402 }
403 // Ideally we would use 'GenObjCMethod', but this is such a hot path
404 // for Objective-C code that we don't want to use
405 // DeclarationName::getAsString().
406 Out << (D->isInstanceMethod() ? "(im)" : "(cm)")
407 << DeclarationName(D->getSelector());
408}
409
Argyrios Kyrtzidisf3634742017-04-21 22:27:06 +0000410void USRGenerator::VisitObjCContainerDecl(const ObjCContainerDecl *D,
411 const ObjCCategoryDecl *CatD) {
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000412 switch (D->getKind()) {
413 default:
414 llvm_unreachable("Invalid ObjC container.");
415 case Decl::ObjCInterface:
416 case Decl::ObjCImplementation:
Argyrios Kyrtzidisf3634742017-04-21 22:27:06 +0000417 GenObjCClass(D->getName(), GetExternalSourceContainer(D),
418 GetExternalSourceContainer(CatD));
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000419 break;
420 case Decl::ObjCCategory: {
421 const ObjCCategoryDecl *CD = cast<ObjCCategoryDecl>(D);
422 const ObjCInterfaceDecl *ID = CD->getClassInterface();
423 if (!ID) {
424 // Handle invalid code where the @interface might not
425 // have been specified.
426 // FIXME: We should be able to generate this USR even if the
427 // @interface isn't available.
428 IgnoreResults = true;
429 return;
430 }
431 // Specially handle class extensions, which are anonymous categories.
432 // We want to mangle in the location to uniquely distinguish them.
433 if (CD->IsClassExtension()) {
434 Out << "objc(ext)" << ID->getName() << '@';
Argyrios Kyrtzidisd3ba4102014-02-23 18:23:29 +0000435 GenLoc(CD, /*IncludeOffset=*/true);
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000436 }
437 else
Argyrios Kyrtzidis6e5ca5b2017-04-21 05:42:46 +0000438 GenObjCCategory(ID->getName(), CD->getName(),
439 GetExternalSourceContainer(ID),
440 GetExternalSourceContainer(CD));
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000441
442 break;
443 }
444 case Decl::ObjCCategoryImpl: {
445 const ObjCCategoryImplDecl *CD = cast<ObjCCategoryImplDecl>(D);
446 const ObjCInterfaceDecl *ID = CD->getClassInterface();
447 if (!ID) {
448 // Handle invalid code where the @interface might not
449 // have been specified.
450 // FIXME: We should be able to generate this USR even if the
451 // @interface isn't available.
452 IgnoreResults = true;
453 return;
454 }
Argyrios Kyrtzidis6e5ca5b2017-04-21 05:42:46 +0000455 GenObjCCategory(ID->getName(), CD->getName(),
456 GetExternalSourceContainer(ID),
457 GetExternalSourceContainer(CD));
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000458 break;
459 }
Argyrios Kyrtzidis6e5ca5b2017-04-21 05:42:46 +0000460 case Decl::ObjCProtocol: {
461 const ObjCProtocolDecl *PD = cast<ObjCProtocolDecl>(D);
462 GenObjCProtocol(PD->getName(), GetExternalSourceContainer(PD));
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000463 break;
Argyrios Kyrtzidis6e5ca5b2017-04-21 05:42:46 +0000464 }
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000465 }
466}
467
468void USRGenerator::VisitObjCPropertyDecl(const ObjCPropertyDecl *D) {
469 // The USR for a property declared in a class extension or category is based
470 // on the ObjCInterfaceDecl, not the ObjCCategoryDecl.
471 if (const ObjCInterfaceDecl *ID = Context->getObjContainingInterface(D))
472 Visit(ID);
473 else
474 Visit(cast<Decl>(D->getDeclContext()));
Argyrios Kyrtzidisd9849a92016-07-15 22:18:19 +0000475 GenObjCProperty(D->getName(), D->isClassProperty());
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000476}
477
478void USRGenerator::VisitObjCPropertyImplDecl(const ObjCPropertyImplDecl *D) {
479 if (ObjCPropertyDecl *PD = D->getPropertyDecl()) {
480 VisitObjCPropertyDecl(PD);
481 return;
482 }
483
484 IgnoreResults = true;
485}
486
487void USRGenerator::VisitTagDecl(const TagDecl *D) {
488 // Add the location of the tag decl to handle resolution across
489 // translation units.
Argyrios Kyrtzidis73321062016-03-04 07:17:53 +0000490 if (!isa<EnumDecl>(D) &&
491 ShouldGenerateLocation(D) && GenLoc(D, /*IncludeOffset=*/isLocal(D)))
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000492 return;
493
Argyrios Kyrtzidis6e5ca5b2017-04-21 05:42:46 +0000494 GenExtSymbolContainer(D);
495
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000496 D = D->getCanonicalDecl();
497 VisitDeclContext(D->getDeclContext());
498
499 bool AlreadyStarted = false;
500 if (const CXXRecordDecl *CXXRecord = dyn_cast<CXXRecordDecl>(D)) {
501 if (ClassTemplateDecl *ClassTmpl = CXXRecord->getDescribedClassTemplate()) {
502 AlreadyStarted = true;
Fangrui Song6907ce22018-07-30 19:24:48 +0000503
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000504 switch (D->getTagKind()) {
505 case TTK_Interface:
Argyrios Kyrtzidisf66cef72014-12-08 08:48:33 +0000506 case TTK_Class:
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000507 case TTK_Struct: Out << "@ST"; break;
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000508 case TTK_Union: Out << "@UT"; break;
509 case TTK_Enum: llvm_unreachable("enum template");
510 }
511 VisitTemplateParameterList(ClassTmpl->getTemplateParameters());
512 } else if (const ClassTemplatePartialSpecializationDecl *PartialSpec
513 = dyn_cast<ClassTemplatePartialSpecializationDecl>(CXXRecord)) {
514 AlreadyStarted = true;
Fangrui Song6907ce22018-07-30 19:24:48 +0000515
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000516 switch (D->getTagKind()) {
517 case TTK_Interface:
Argyrios Kyrtzidisf66cef72014-12-08 08:48:33 +0000518 case TTK_Class:
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000519 case TTK_Struct: Out << "@SP"; break;
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000520 case TTK_Union: Out << "@UP"; break;
521 case TTK_Enum: llvm_unreachable("enum partial specialization");
Fangrui Song6907ce22018-07-30 19:24:48 +0000522 }
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000523 VisitTemplateParameterList(PartialSpec->getTemplateParameters());
524 }
525 }
Fangrui Song6907ce22018-07-30 19:24:48 +0000526
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000527 if (!AlreadyStarted) {
528 switch (D->getTagKind()) {
529 case TTK_Interface:
Argyrios Kyrtzidisf66cef72014-12-08 08:48:33 +0000530 case TTK_Class:
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000531 case TTK_Struct: Out << "@S"; break;
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000532 case TTK_Union: Out << "@U"; break;
533 case TTK_Enum: Out << "@E"; break;
534 }
535 }
Fangrui Song6907ce22018-07-30 19:24:48 +0000536
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000537 Out << '@';
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000538 assert(Buf.size() > 0);
539 const unsigned off = Buf.size() - 1;
540
541 if (EmitDeclName(D)) {
542 if (const TypedefNameDecl *TD = D->getTypedefNameForAnonDecl()) {
543 Buf[off] = 'A';
544 Out << '@' << *TD;
545 }
Argyrios Kyrtzidis80537a42014-12-08 08:48:37 +0000546 else {
547 if (D->isEmbeddedInDeclarator() && !D->isFreeStanding()) {
548 printLoc(Out, D->getLocation(), Context->getSourceManager(), true);
Argyrios Kyrtzidis73321062016-03-04 07:17:53 +0000549 } else {
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000550 Buf[off] = 'a';
Argyrios Kyrtzidis73321062016-03-04 07:17:53 +0000551 if (auto *ED = dyn_cast<EnumDecl>(D)) {
552 // Distinguish USRs of anonymous enums by using their first enumerator.
553 auto enum_range = ED->enumerators();
554 if (enum_range.begin() != enum_range.end()) {
555 Out << '@' << **enum_range.begin();
556 }
557 }
558 }
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000559 }
Argyrios Kyrtzidis80537a42014-12-08 08:48:37 +0000560 }
Fangrui Song6907ce22018-07-30 19:24:48 +0000561
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000562 // For a class template specialization, mangle the template arguments.
563 if (const ClassTemplateSpecializationDecl *Spec
564 = dyn_cast<ClassTemplateSpecializationDecl>(D)) {
Argyrios Kyrtzidis7d90ed02017-02-15 16:16:27 +0000565 const TemplateArgumentList &Args = Spec->getTemplateArgs();
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000566 Out << '>';
567 for (unsigned I = 0, N = Args.size(); I != N; ++I) {
568 Out << '#';
569 VisitTemplateArgument(Args.get(I));
570 }
571 }
572}
573
574void USRGenerator::VisitTypedefDecl(const TypedefDecl *D) {
Argyrios Kyrtzidisd3ba4102014-02-23 18:23:29 +0000575 if (ShouldGenerateLocation(D) && GenLoc(D, /*IncludeOffset=*/isLocal(D)))
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000576 return;
577 const DeclContext *DC = D->getDeclContext();
578 if (const NamedDecl *DCN = dyn_cast<NamedDecl>(DC))
579 Visit(DCN);
580 Out << "@T@";
581 Out << D->getName();
582}
583
584void USRGenerator::VisitTemplateTypeParmDecl(const TemplateTypeParmDecl *D) {
Argyrios Kyrtzidisd3ba4102014-02-23 18:23:29 +0000585 GenLoc(D, /*IncludeOffset=*/true);
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000586}
587
Argyrios Kyrtzidis6e5ca5b2017-04-21 05:42:46 +0000588void USRGenerator::GenExtSymbolContainer(const NamedDecl *D) {
589 StringRef Container = GetExternalSourceContainer(D);
590 if (!Container.empty())
591 Out << "@M@" << Container;
592}
593
Argyrios Kyrtzidisd3ba4102014-02-23 18:23:29 +0000594bool USRGenerator::GenLoc(const Decl *D, bool IncludeOffset) {
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000595 if (generatedLoc)
596 return IgnoreResults;
597 generatedLoc = true;
Dmitri Gribenko237769e2014-03-28 22:21:26 +0000598
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000599 // Guard against null declarations in invalid code.
600 if (!D) {
601 IgnoreResults = true;
602 return true;
603 }
604
605 // Use the location of canonical decl.
606 D = D->getCanonicalDecl();
607
Dmitri Gribenko237769e2014-03-28 22:21:26 +0000608 IgnoreResults =
Stephen Kellyf2ceec42018-08-09 21:08:08 +0000609 IgnoreResults || printLoc(Out, D->getBeginLoc(),
Dmitri Gribenko237769e2014-03-28 22:21:26 +0000610 Context->getSourceManager(), IncludeOffset);
611
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000612 return IgnoreResults;
613}
614
Ben Langmuirfd6e39c2017-08-16 23:12:21 +0000615static void printQualifier(llvm::raw_ostream &Out, ASTContext &Ctx, NestedNameSpecifier *NNS) {
616 // FIXME: Encode the qualifier, don't just print it.
617 PrintingPolicy PO(Ctx.getLangOpts());
618 PO.SuppressTagKeyword = true;
619 PO.SuppressUnwrittenScope = true;
620 PO.ConstantArraySizeAsWritten = false;
621 PO.AnonymousTagLocations = false;
622 NNS->print(Out, PO);
623}
624
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000625void USRGenerator::VisitType(QualType T) {
626 // This method mangles in USR information for types. It can possibly
627 // just reuse the naming-mangling logic used by codegen, although the
628 // requirements for USRs might not be the same.
629 ASTContext &Ctx = *Context;
630
631 do {
632 T = Ctx.getCanonicalType(T);
633 Qualifiers Q = T.getQualifiers();
634 unsigned qVal = 0;
635 if (Q.hasConst())
636 qVal |= 0x1;
637 if (Q.hasVolatile())
638 qVal |= 0x2;
639 if (Q.hasRestrict())
640 qVal |= 0x4;
641 if(qVal)
642 Out << ((char) ('0' + qVal));
643
644 // Mangle in ObjC GC qualifiers?
645
646 if (const PackExpansionType *Expansion = T->getAs<PackExpansionType>()) {
647 Out << 'P';
648 T = Expansion->getPattern();
649 }
Fangrui Song6907ce22018-07-30 19:24:48 +0000650
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000651 if (const BuiltinType *BT = T->getAs<BuiltinType>()) {
652 unsigned char c = '\0';
653 switch (BT->getKind()) {
654 case BuiltinType::Void:
655 c = 'v'; break;
656 case BuiltinType::Bool:
657 c = 'b'; break;
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000658 case BuiltinType::UChar:
659 c = 'c'; break;
Richard Smith3a8244d2018-05-01 05:02:45 +0000660 case BuiltinType::Char8:
661 c = 'u'; break; // FIXME: Check this doesn't collide
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000662 case BuiltinType::Char16:
663 c = 'q'; break;
664 case BuiltinType::Char32:
665 c = 'w'; break;
666 case BuiltinType::UShort:
667 c = 's'; break;
668 case BuiltinType::UInt:
669 c = 'i'; break;
670 case BuiltinType::ULong:
671 c = 'l'; break;
672 case BuiltinType::ULongLong:
673 c = 'k'; break;
674 case BuiltinType::UInt128:
675 c = 'j'; break;
Argyrios Kyrtzidis56af7e62014-12-08 09:09:05 +0000676 case BuiltinType::Char_U:
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000677 case BuiltinType::Char_S:
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000678 c = 'C'; break;
Argyrios Kyrtzidisca044542014-12-08 08:48:17 +0000679 case BuiltinType::SChar:
680 c = 'r'; break;
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000681 case BuiltinType::WChar_S:
682 case BuiltinType::WChar_U:
683 c = 'W'; break;
684 case BuiltinType::Short:
685 c = 'S'; break;
686 case BuiltinType::Int:
687 c = 'I'; break;
688 case BuiltinType::Long:
689 c = 'L'; break;
690 case BuiltinType::LongLong:
691 c = 'K'; break;
692 case BuiltinType::Int128:
693 c = 'J'; break;
Sjoerd Meijercc623ad2017-09-08 15:15:00 +0000694 case BuiltinType::Float16:
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000695 case BuiltinType::Half:
696 c = 'h'; break;
697 case BuiltinType::Float:
698 c = 'f'; break;
699 case BuiltinType::Double:
700 c = 'd'; break;
701 case BuiltinType::LongDouble:
702 c = 'D'; break;
Nemanja Ivanovicbb1ea2d2016-05-09 08:52:33 +0000703 case BuiltinType::Float128:
704 c = 'Q'; break;
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000705 case BuiltinType::NullPtr:
706 c = 'n'; break;
707#define BUILTIN_TYPE(Id, SingletonId)
708#define PLACEHOLDER_TYPE(Id, SingletonId) case BuiltinType::Id:
709#include "clang/AST/BuiltinTypes.def"
710 case BuiltinType::Dependent:
Alexey Bader954ba212016-04-08 13:40:33 +0000711#define IMAGE_TYPE(ImgType, Id, SingletonId, Access, Suffix) \
712 case BuiltinType::Id:
Alexey Baderb62f1442016-04-13 08:33:41 +0000713#include "clang/Basic/OpenCLImageTypes.def"
Andrew Savonichev3fee3512018-11-08 11:25:41 +0000714#define EXT_OPAQUE_TYPE(ExtType, Id, Ext) \
715 case BuiltinType::Id:
716#include "clang/Basic/OpenCLExtensionTypes.def"
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000717 case BuiltinType::OCLEvent:
Alexey Bader9c8453f2015-09-15 11:18:52 +0000718 case BuiltinType::OCLClkEvent:
719 case BuiltinType::OCLQueue:
Alexey Bader9c8453f2015-09-15 11:18:52 +0000720 case BuiltinType::OCLReserveID:
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000721 case BuiltinType::OCLSampler:
Leonard Chanf921d852018-06-04 16:07:52 +0000722 case BuiltinType::ShortAccum:
723 case BuiltinType::Accum:
724 case BuiltinType::LongAccum:
725 case BuiltinType::UShortAccum:
726 case BuiltinType::UAccum:
727 case BuiltinType::ULongAccum:
Leonard Chanab80f3c2018-06-14 14:53:51 +0000728 case BuiltinType::ShortFract:
729 case BuiltinType::Fract:
730 case BuiltinType::LongFract:
731 case BuiltinType::UShortFract:
732 case BuiltinType::UFract:
733 case BuiltinType::ULongFract:
734 case BuiltinType::SatShortAccum:
735 case BuiltinType::SatAccum:
736 case BuiltinType::SatLongAccum:
737 case BuiltinType::SatUShortAccum:
738 case BuiltinType::SatUAccum:
739 case BuiltinType::SatULongAccum:
740 case BuiltinType::SatShortFract:
741 case BuiltinType::SatFract:
742 case BuiltinType::SatLongFract:
743 case BuiltinType::SatUShortFract:
744 case BuiltinType::SatUFract:
745 case BuiltinType::SatULongFract:
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000746 IgnoreResults = true;
747 return;
748 case BuiltinType::ObjCId:
749 c = 'o'; break;
750 case BuiltinType::ObjCClass:
751 c = 'O'; break;
752 case BuiltinType::ObjCSel:
753 c = 'e'; break;
754 }
755 Out << c;
756 return;
757 }
758
759 // If we have already seen this (non-built-in) type, use a substitution
760 // encoding.
761 llvm::DenseMap<const Type *, unsigned>::iterator Substitution
762 = TypeSubstitutions.find(T.getTypePtr());
763 if (Substitution != TypeSubstitutions.end()) {
764 Out << 'S' << Substitution->second << '_';
765 return;
766 } else {
767 // Record this as a substitution.
768 unsigned Number = TypeSubstitutions.size();
769 TypeSubstitutions[T.getTypePtr()] = Number;
770 }
Fangrui Song6907ce22018-07-30 19:24:48 +0000771
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000772 if (const PointerType *PT = T->getAs<PointerType>()) {
773 Out << '*';
774 T = PT->getPointeeType();
775 continue;
776 }
Argyrios Kyrtzidis9c998672016-03-04 07:17:43 +0000777 if (const ObjCObjectPointerType *OPT = T->getAs<ObjCObjectPointerType>()) {
778 Out << '*';
779 T = OPT->getPointeeType();
780 continue;
781 }
Argyrios Kyrtzidis0e387dc2014-12-08 08:48:27 +0000782 if (const RValueReferenceType *RT = T->getAs<RValueReferenceType>()) {
783 Out << "&&";
784 T = RT->getPointeeType();
785 continue;
786 }
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000787 if (const ReferenceType *RT = T->getAs<ReferenceType>()) {
788 Out << '&';
789 T = RT->getPointeeType();
790 continue;
791 }
792 if (const FunctionProtoType *FT = T->getAs<FunctionProtoType>()) {
793 Out << 'F';
Alp Toker314cc812014-01-25 16:55:45 +0000794 VisitType(FT->getReturnType());
Jan Korouse6a02422017-10-10 00:35:16 +0000795 Out << '(';
796 for (const auto &I : FT->param_types()) {
797 Out << '#';
Aaron Ballman40bd0aa2014-03-17 15:23:01 +0000798 VisitType(I);
Jan Korouse6a02422017-10-10 00:35:16 +0000799 }
800 Out << ')';
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000801 if (FT->isVariadic())
802 Out << '.';
803 return;
804 }
805 if (const BlockPointerType *BT = T->getAs<BlockPointerType>()) {
806 Out << 'B';
807 T = BT->getPointeeType();
808 continue;
809 }
810 if (const ComplexType *CT = T->getAs<ComplexType>()) {
811 Out << '<';
812 T = CT->getElementType();
813 continue;
814 }
815 if (const TagType *TT = T->getAs<TagType>()) {
816 Out << '$';
817 VisitTagDecl(TT->getDecl());
818 return;
819 }
Argyrios Kyrtzidis9c998672016-03-04 07:17:43 +0000820 if (const ObjCInterfaceType *OIT = T->getAs<ObjCInterfaceType>()) {
821 Out << '$';
822 VisitObjCInterfaceDecl(OIT->getDecl());
823 return;
824 }
825 if (const ObjCObjectType *OIT = T->getAs<ObjCObjectType>()) {
826 Out << 'Q';
827 VisitType(OIT->getBaseType());
828 for (auto *Prot : OIT->getProtocols())
829 VisitObjCProtocolDecl(Prot);
830 return;
831 }
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000832 if (const TemplateTypeParmType *TTP = T->getAs<TemplateTypeParmType>()) {
833 Out << 't' << TTP->getDepth() << '.' << TTP->getIndex();
834 return;
835 }
836 if (const TemplateSpecializationType *Spec
837 = T->getAs<TemplateSpecializationType>()) {
838 Out << '>';
839 VisitTemplateName(Spec->getTemplateName());
840 Out << Spec->getNumArgs();
841 for (unsigned I = 0, N = Spec->getNumArgs(); I != N; ++I)
842 VisitTemplateArgument(Spec->getArg(I));
843 return;
844 }
Argyrios Kyrtzidisd06ce402014-12-08 08:48:11 +0000845 if (const DependentNameType *DNT = T->getAs<DependentNameType>()) {
846 Out << '^';
Ben Langmuirfd6e39c2017-08-16 23:12:21 +0000847 printQualifier(Out, Ctx, DNT->getQualifier());
Argyrios Kyrtzidisd06ce402014-12-08 08:48:11 +0000848 Out << ':' << DNT->getIdentifier()->getName();
849 return;
850 }
Argyrios Kyrtzidis1d5e5422014-12-08 08:48:43 +0000851 if (const InjectedClassNameType *InjT = T->getAs<InjectedClassNameType>()) {
852 T = InjT->getInjectedSpecializationType();
853 continue;
854 }
Alex Lorenz45c423b2017-04-28 09:46:36 +0000855 if (const auto *VT = T->getAs<VectorType>()) {
856 Out << (T->isExtVectorType() ? ']' : '[');
857 Out << VT->getNumElements();
858 T = VT->getElementType();
859 continue;
860 }
Jan Korous663ba152017-10-09 19:51:33 +0000861 if (const auto *const AT = dyn_cast<ArrayType>(T)) {
862 Out << '{';
863 switch (AT->getSizeModifier()) {
864 case ArrayType::Static:
865 Out << 's';
866 break;
867 case ArrayType::Star:
868 Out << '*';
869 break;
870 case ArrayType::Normal:
871 Out << 'n';
872 break;
873 }
874 if (const auto *const CAT = dyn_cast<ConstantArrayType>(T))
875 Out << CAT->getSize();
876
877 T = AT->getElementType();
878 continue;
879 }
Alex Lorenz45c423b2017-04-28 09:46:36 +0000880
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000881 // Unhandled type.
882 Out << ' ';
883 break;
884 } while (true);
885}
886
887void USRGenerator::VisitTemplateParameterList(
888 const TemplateParameterList *Params) {
889 if (!Params)
890 return;
891 Out << '>' << Params->size();
892 for (TemplateParameterList::const_iterator P = Params->begin(),
893 PEnd = Params->end();
894 P != PEnd; ++P) {
895 Out << '#';
896 if (isa<TemplateTypeParmDecl>(*P)) {
897 if (cast<TemplateTypeParmDecl>(*P)->isParameterPack())
898 Out<< 'p';
899 Out << 'T';
900 continue;
901 }
Fangrui Song6907ce22018-07-30 19:24:48 +0000902
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000903 if (NonTypeTemplateParmDecl *NTTP = dyn_cast<NonTypeTemplateParmDecl>(*P)) {
904 if (NTTP->isParameterPack())
905 Out << 'p';
906 Out << 'N';
907 VisitType(NTTP->getType());
908 continue;
909 }
Fangrui Song6907ce22018-07-30 19:24:48 +0000910
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000911 TemplateTemplateParmDecl *TTP = cast<TemplateTemplateParmDecl>(*P);
912 if (TTP->isParameterPack())
913 Out << 'p';
914 Out << 't';
915 VisitTemplateParameterList(TTP->getTemplateParameters());
916 }
917}
918
919void USRGenerator::VisitTemplateName(TemplateName Name) {
920 if (TemplateDecl *Template = Name.getAsTemplateDecl()) {
921 if (TemplateTemplateParmDecl *TTP
922 = dyn_cast<TemplateTemplateParmDecl>(Template)) {
923 Out << 't' << TTP->getDepth() << '.' << TTP->getIndex();
924 return;
925 }
Fangrui Song6907ce22018-07-30 19:24:48 +0000926
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000927 Visit(Template);
928 return;
929 }
Fangrui Song6907ce22018-07-30 19:24:48 +0000930
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000931 // FIXME: Visit dependent template names.
932}
933
934void USRGenerator::VisitTemplateArgument(const TemplateArgument &Arg) {
935 switch (Arg.getKind()) {
936 case TemplateArgument::Null:
937 break;
938
939 case TemplateArgument::Declaration:
940 Visit(Arg.getAsDecl());
941 break;
942
943 case TemplateArgument::NullPtr:
944 break;
945
946 case TemplateArgument::TemplateExpansion:
947 Out << 'P'; // pack expansion of...
Reid Kleckner4dc0b1a2018-11-01 19:54:45 +0000948 LLVM_FALLTHROUGH;
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000949 case TemplateArgument::Template:
950 VisitTemplateName(Arg.getAsTemplateOrTemplatePattern());
951 break;
Fangrui Song6907ce22018-07-30 19:24:48 +0000952
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000953 case TemplateArgument::Expression:
954 // FIXME: Visit expressions.
955 break;
Fangrui Song6907ce22018-07-30 19:24:48 +0000956
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000957 case TemplateArgument::Pack:
958 Out << 'p' << Arg.pack_size();
Aaron Ballman2a89e852014-07-15 21:32:31 +0000959 for (const auto &P : Arg.pack_elements())
960 VisitTemplateArgument(P);
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000961 break;
Fangrui Song6907ce22018-07-30 19:24:48 +0000962
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000963 case TemplateArgument::Type:
964 VisitType(Arg.getAsType());
965 break;
Fangrui Song6907ce22018-07-30 19:24:48 +0000966
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000967 case TemplateArgument::Integral:
968 Out << 'V';
969 VisitType(Arg.getIntegralType());
970 Out << Arg.getAsIntegral();
971 break;
972 }
973}
974
Ben Langmuirfd6e39c2017-08-16 23:12:21 +0000975void USRGenerator::VisitUnresolvedUsingValueDecl(const UnresolvedUsingValueDecl *D) {
976 if (ShouldGenerateLocation(D) && GenLoc(D, /*IncludeOffset=*/isLocal(D)))
977 return;
978 VisitDeclContext(D->getDeclContext());
979 Out << "@UUV@";
980 printQualifier(Out, D->getASTContext(), D->getQualifier());
981 EmitDeclName(D);
982}
983
984void USRGenerator::VisitUnresolvedUsingTypenameDecl(const UnresolvedUsingTypenameDecl *D) {
985 if (ShouldGenerateLocation(D) && GenLoc(D, /*IncludeOffset=*/isLocal(D)))
986 return;
987 VisitDeclContext(D->getDeclContext());
988 Out << "@UUT@";
989 printQualifier(Out, D->getASTContext(), D->getQualifier());
990 Out << D->getName(); // Simple name.
991}
992
993
994
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +0000995//===----------------------------------------------------------------------===//
996// USR generation functions.
997//===----------------------------------------------------------------------===//
998
Argyrios Kyrtzidisf3634742017-04-21 22:27:06 +0000999static void combineClassAndCategoryExtContainers(StringRef ClsSymDefinedIn,
1000 StringRef CatSymDefinedIn,
1001 raw_ostream &OS) {
1002 if (ClsSymDefinedIn.empty() && CatSymDefinedIn.empty())
1003 return;
1004 if (CatSymDefinedIn.empty()) {
1005 OS << "@M@" << ClsSymDefinedIn << '@';
1006 return;
1007 }
1008 OS << "@CM@" << CatSymDefinedIn << '@';
1009 if (ClsSymDefinedIn != CatSymDefinedIn) {
1010 OS << ClsSymDefinedIn << '@';
1011 }
1012}
1013
Argyrios Kyrtzidis6e5ca5b2017-04-21 05:42:46 +00001014void clang::index::generateUSRForObjCClass(StringRef Cls, raw_ostream &OS,
Argyrios Kyrtzidisf3634742017-04-21 22:27:06 +00001015 StringRef ExtSymDefinedIn,
1016 StringRef CategoryContextExtSymbolDefinedIn) {
1017 combineClassAndCategoryExtContainers(ExtSymDefinedIn,
1018 CategoryContextExtSymbolDefinedIn, OS);
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +00001019 OS << "objc(cs)" << Cls;
1020}
1021
Argyrios Kyrtzidis5234b492013-08-21 00:49:25 +00001022void clang::index::generateUSRForObjCCategory(StringRef Cls, StringRef Cat,
Argyrios Kyrtzidis6e5ca5b2017-04-21 05:42:46 +00001023 raw_ostream &OS,
1024 StringRef ClsSymDefinedIn,
1025 StringRef CatSymDefinedIn) {
Argyrios Kyrtzidisf3634742017-04-21 22:27:06 +00001026 combineClassAndCategoryExtContainers(ClsSymDefinedIn, CatSymDefinedIn, OS);
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +00001027 OS << "objc(cy)" << Cls << '@' << Cat;
1028}
1029
Argyrios Kyrtzidis5234b492013-08-21 00:49:25 +00001030void clang::index::generateUSRForObjCIvar(StringRef Ivar, raw_ostream &OS) {
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +00001031 OS << '@' << Ivar;
1032}
1033
Argyrios Kyrtzidis5234b492013-08-21 00:49:25 +00001034void clang::index::generateUSRForObjCMethod(StringRef Sel,
1035 bool IsInstanceMethod,
1036 raw_ostream &OS) {
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +00001037 OS << (IsInstanceMethod ? "(im)" : "(cm)") << Sel;
1038}
1039
Argyrios Kyrtzidisd9849a92016-07-15 22:18:19 +00001040void clang::index::generateUSRForObjCProperty(StringRef Prop, bool isClassProp,
1041 raw_ostream &OS) {
1042 OS << (isClassProp ? "(cpy)" : "(py)") << Prop;
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +00001043}
1044
Argyrios Kyrtzidis6e5ca5b2017-04-21 05:42:46 +00001045void clang::index::generateUSRForObjCProtocol(StringRef Prot, raw_ostream &OS,
1046 StringRef ExtSymDefinedIn) {
1047 if (!ExtSymDefinedIn.empty())
1048 OS << "@M@" << ExtSymDefinedIn << '@';
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +00001049 OS << "objc(pl)" << Prot;
1050}
1051
Argyrios Kyrtzidis6e5ca5b2017-04-21 05:42:46 +00001052void clang::index::generateUSRForGlobalEnum(StringRef EnumName, raw_ostream &OS,
1053 StringRef ExtSymDefinedIn) {
1054 if (!ExtSymDefinedIn.empty())
1055 OS << "@M@" << ExtSymDefinedIn;
1056 OS << "@E@" << EnumName;
1057}
1058
Argyrios Kyrtzidisf3634742017-04-21 22:27:06 +00001059void clang::index::generateUSRForEnumConstant(StringRef EnumConstantName,
1060 raw_ostream &OS) {
1061 OS << '@' << EnumConstantName;
1062}
1063
Argyrios Kyrtzidis5234b492013-08-21 00:49:25 +00001064bool clang::index::generateUSRForDecl(const Decl *D,
1065 SmallVectorImpl<char> &Buf) {
Argyrios Kyrtzidisf12918d2016-11-02 23:42:33 +00001066 if (!D)
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +00001067 return true;
Argyrios Kyrtzidisf12918d2016-11-02 23:42:33 +00001068 // We don't ignore decls with invalid source locations. Implicit decls, like
1069 // C++'s operator new function, can have invalid locations but it is fine to
1070 // create USRs that can identify them.
Argyrios Kyrtzidis4b2b4602013-08-16 18:17:55 +00001071
1072 USRGenerator UG(&D->getASTContext(), Buf);
1073 UG.Visit(D);
1074 return UG.ignoreResults();
1075}
Dmitri Gribenko237769e2014-03-28 22:21:26 +00001076
Richard Smith66a81862015-05-04 02:25:31 +00001077bool clang::index::generateUSRForMacro(const MacroDefinitionRecord *MD,
Dmitri Gribenko237769e2014-03-28 22:21:26 +00001078 const SourceManager &SM,
1079 SmallVectorImpl<char> &Buf) {
Argyrios Kyrtzidis5b7a09a2017-02-02 16:13:10 +00001080 if (!MD)
1081 return true;
1082 return generateUSRForMacro(MD->getName()->getName(), MD->getLocation(),
1083 SM, Buf);
1084
1085}
1086
1087bool clang::index::generateUSRForMacro(StringRef MacroName, SourceLocation Loc,
1088 const SourceManager &SM,
1089 SmallVectorImpl<char> &Buf) {
Dmitri Gribenko237769e2014-03-28 22:21:26 +00001090 // Don't generate USRs for things with invalid locations.
Argyrios Kyrtzidis5b7a09a2017-02-02 16:13:10 +00001091 if (MacroName.empty() || Loc.isInvalid())
Dmitri Gribenko237769e2014-03-28 22:21:26 +00001092 return true;
1093
1094 llvm::raw_svector_ostream Out(Buf);
1095
1096 // Assume that system headers are sane. Don't put source location
1097 // information into the USR if the macro comes from a system header.
Dmitri Gribenko237769e2014-03-28 22:21:26 +00001098 bool ShouldGenerateLocation = !SM.isInSystemHeader(Loc);
1099
1100 Out << getUSRSpacePrefix();
1101 if (ShouldGenerateLocation)
1102 printLoc(Out, Loc, SM, /*IncludeOffset=*/true);
1103 Out << "@macro@";
Argyrios Kyrtzidis5b7a09a2017-02-02 16:13:10 +00001104 Out << MacroName;
Dmitri Gribenko237769e2014-03-28 22:21:26 +00001105 return false;
1106}
Argyrios Kyrtzidis32e5d862018-09-18 15:02:56 +00001107
1108bool clang::index::generateFullUSRForModule(const Module *Mod,
1109 raw_ostream &OS) {
1110 if (!Mod->Parent)
1111 return generateFullUSRForTopLevelModuleName(Mod->Name, OS);
1112 if (generateFullUSRForModule(Mod->Parent, OS))
1113 return true;
1114 return generateUSRFragmentForModule(Mod, OS);
1115}
1116
1117bool clang::index::generateFullUSRForTopLevelModuleName(StringRef ModName,
1118 raw_ostream &OS) {
1119 OS << getUSRSpacePrefix();
1120 return generateUSRFragmentForModuleName(ModName, OS);
1121}
1122
1123bool clang::index::generateUSRFragmentForModule(const Module *Mod,
1124 raw_ostream &OS) {
1125 return generateUSRFragmentForModuleName(Mod->Name, OS);
1126}
1127
1128bool clang::index::generateUSRFragmentForModuleName(StringRef ModName,
1129 raw_ostream &OS) {
1130 OS << "@M@" << ModName;
1131 return false;
1132}