xref: /aosp_15_r20/external/clang/lib/Serialization/ASTCommon.cpp (revision 67e74705e28f6214e480b399dd47ea732279e315)
1*67e74705SXin Li //===--- ASTCommon.cpp - Common stuff for ASTReader/ASTWriter----*- C++ -*-===//
2*67e74705SXin Li //
3*67e74705SXin Li //                     The LLVM Compiler Infrastructure
4*67e74705SXin Li //
5*67e74705SXin Li // This file is distributed under the University of Illinois Open Source
6*67e74705SXin Li // License. See LICENSE.TXT for details.
7*67e74705SXin Li //
8*67e74705SXin Li //===----------------------------------------------------------------------===//
9*67e74705SXin Li //
10*67e74705SXin Li //  This file defines common functions that both ASTReader and ASTWriter use.
11*67e74705SXin Li //
12*67e74705SXin Li //===----------------------------------------------------------------------===//
13*67e74705SXin Li 
14*67e74705SXin Li #include "ASTCommon.h"
15*67e74705SXin Li #include "clang/AST/DeclCXX.h"
16*67e74705SXin Li #include "clang/AST/DeclObjC.h"
17*67e74705SXin Li #include "clang/Basic/IdentifierTable.h"
18*67e74705SXin Li #include "clang/Serialization/ASTDeserializationListener.h"
19*67e74705SXin Li #include "llvm/ADT/StringExtras.h"
20*67e74705SXin Li 
21*67e74705SXin Li using namespace clang;
22*67e74705SXin Li 
23*67e74705SXin Li // Give ASTDeserializationListener's VTable a home.
~ASTDeserializationListener()24*67e74705SXin Li ASTDeserializationListener::~ASTDeserializationListener() { }
25*67e74705SXin Li 
26*67e74705SXin Li serialization::TypeIdx
TypeIdxFromBuiltin(const BuiltinType * BT)27*67e74705SXin Li serialization::TypeIdxFromBuiltin(const BuiltinType *BT) {
28*67e74705SXin Li   unsigned ID = 0;
29*67e74705SXin Li   switch (BT->getKind()) {
30*67e74705SXin Li   case BuiltinType::Void:
31*67e74705SXin Li     ID = PREDEF_TYPE_VOID_ID;
32*67e74705SXin Li     break;
33*67e74705SXin Li   case BuiltinType::Bool:
34*67e74705SXin Li     ID = PREDEF_TYPE_BOOL_ID;
35*67e74705SXin Li     break;
36*67e74705SXin Li   case BuiltinType::Char_U:
37*67e74705SXin Li     ID = PREDEF_TYPE_CHAR_U_ID;
38*67e74705SXin Li     break;
39*67e74705SXin Li   case BuiltinType::UChar:
40*67e74705SXin Li     ID = PREDEF_TYPE_UCHAR_ID;
41*67e74705SXin Li     break;
42*67e74705SXin Li   case BuiltinType::UShort:
43*67e74705SXin Li     ID = PREDEF_TYPE_USHORT_ID;
44*67e74705SXin Li     break;
45*67e74705SXin Li   case BuiltinType::UInt:
46*67e74705SXin Li     ID = PREDEF_TYPE_UINT_ID;
47*67e74705SXin Li     break;
48*67e74705SXin Li   case BuiltinType::ULong:
49*67e74705SXin Li     ID = PREDEF_TYPE_ULONG_ID;
50*67e74705SXin Li     break;
51*67e74705SXin Li   case BuiltinType::ULongLong:
52*67e74705SXin Li     ID = PREDEF_TYPE_ULONGLONG_ID;
53*67e74705SXin Li     break;
54*67e74705SXin Li   case BuiltinType::UInt128:
55*67e74705SXin Li     ID = PREDEF_TYPE_UINT128_ID;
56*67e74705SXin Li     break;
57*67e74705SXin Li   case BuiltinType::Char_S:
58*67e74705SXin Li     ID = PREDEF_TYPE_CHAR_S_ID;
59*67e74705SXin Li     break;
60*67e74705SXin Li   case BuiltinType::SChar:
61*67e74705SXin Li     ID = PREDEF_TYPE_SCHAR_ID;
62*67e74705SXin Li     break;
63*67e74705SXin Li   case BuiltinType::WChar_S:
64*67e74705SXin Li   case BuiltinType::WChar_U:
65*67e74705SXin Li     ID = PREDEF_TYPE_WCHAR_ID;
66*67e74705SXin Li     break;
67*67e74705SXin Li   case BuiltinType::Short:
68*67e74705SXin Li     ID = PREDEF_TYPE_SHORT_ID;
69*67e74705SXin Li     break;
70*67e74705SXin Li   case BuiltinType::Int:
71*67e74705SXin Li     ID = PREDEF_TYPE_INT_ID;
72*67e74705SXin Li     break;
73*67e74705SXin Li   case BuiltinType::Long:
74*67e74705SXin Li     ID = PREDEF_TYPE_LONG_ID;
75*67e74705SXin Li     break;
76*67e74705SXin Li   case BuiltinType::LongLong:
77*67e74705SXin Li     ID = PREDEF_TYPE_LONGLONG_ID;
78*67e74705SXin Li     break;
79*67e74705SXin Li   case BuiltinType::Int128:
80*67e74705SXin Li     ID = PREDEF_TYPE_INT128_ID;
81*67e74705SXin Li     break;
82*67e74705SXin Li   case BuiltinType::Half:
83*67e74705SXin Li     ID = PREDEF_TYPE_HALF_ID;
84*67e74705SXin Li     break;
85*67e74705SXin Li   case BuiltinType::Float:
86*67e74705SXin Li     ID = PREDEF_TYPE_FLOAT_ID;
87*67e74705SXin Li     break;
88*67e74705SXin Li   case BuiltinType::Double:
89*67e74705SXin Li     ID = PREDEF_TYPE_DOUBLE_ID;
90*67e74705SXin Li     break;
91*67e74705SXin Li   case BuiltinType::LongDouble:
92*67e74705SXin Li     ID = PREDEF_TYPE_LONGDOUBLE_ID;
93*67e74705SXin Li     break;
94*67e74705SXin Li   case BuiltinType::Float128:
95*67e74705SXin Li     ID = PREDEF_TYPE_FLOAT128_ID;
96*67e74705SXin Li     break;
97*67e74705SXin Li   case BuiltinType::NullPtr:
98*67e74705SXin Li     ID = PREDEF_TYPE_NULLPTR_ID;
99*67e74705SXin Li     break;
100*67e74705SXin Li   case BuiltinType::Char16:
101*67e74705SXin Li     ID = PREDEF_TYPE_CHAR16_ID;
102*67e74705SXin Li     break;
103*67e74705SXin Li   case BuiltinType::Char32:
104*67e74705SXin Li     ID = PREDEF_TYPE_CHAR32_ID;
105*67e74705SXin Li     break;
106*67e74705SXin Li   case BuiltinType::Overload:
107*67e74705SXin Li     ID = PREDEF_TYPE_OVERLOAD_ID;
108*67e74705SXin Li     break;
109*67e74705SXin Li   case BuiltinType::BoundMember:
110*67e74705SXin Li     ID = PREDEF_TYPE_BOUND_MEMBER;
111*67e74705SXin Li     break;
112*67e74705SXin Li   case BuiltinType::PseudoObject:
113*67e74705SXin Li     ID = PREDEF_TYPE_PSEUDO_OBJECT;
114*67e74705SXin Li     break;
115*67e74705SXin Li   case BuiltinType::Dependent:
116*67e74705SXin Li     ID = PREDEF_TYPE_DEPENDENT_ID;
117*67e74705SXin Li     break;
118*67e74705SXin Li   case BuiltinType::UnknownAny:
119*67e74705SXin Li     ID = PREDEF_TYPE_UNKNOWN_ANY;
120*67e74705SXin Li     break;
121*67e74705SXin Li   case BuiltinType::ARCUnbridgedCast:
122*67e74705SXin Li     ID = PREDEF_TYPE_ARC_UNBRIDGED_CAST;
123*67e74705SXin Li     break;
124*67e74705SXin Li   case BuiltinType::ObjCId:
125*67e74705SXin Li     ID = PREDEF_TYPE_OBJC_ID;
126*67e74705SXin Li     break;
127*67e74705SXin Li   case BuiltinType::ObjCClass:
128*67e74705SXin Li     ID = PREDEF_TYPE_OBJC_CLASS;
129*67e74705SXin Li     break;
130*67e74705SXin Li   case BuiltinType::ObjCSel:
131*67e74705SXin Li     ID = PREDEF_TYPE_OBJC_SEL;
132*67e74705SXin Li     break;
133*67e74705SXin Li #define IMAGE_TYPE(ImgType, Id, SingletonId, Access, Suffix) \
134*67e74705SXin Li   case BuiltinType::Id: \
135*67e74705SXin Li     ID = PREDEF_TYPE_##Id##_ID; \
136*67e74705SXin Li     break;
137*67e74705SXin Li #include "clang/Basic/OpenCLImageTypes.def"
138*67e74705SXin Li   case BuiltinType::OCLSampler:
139*67e74705SXin Li     ID = PREDEF_TYPE_SAMPLER_ID;
140*67e74705SXin Li     break;
141*67e74705SXin Li   case BuiltinType::OCLEvent:
142*67e74705SXin Li     ID = PREDEF_TYPE_EVENT_ID;
143*67e74705SXin Li     break;
144*67e74705SXin Li   case BuiltinType::OCLClkEvent:
145*67e74705SXin Li     ID = PREDEF_TYPE_CLK_EVENT_ID;
146*67e74705SXin Li     break;
147*67e74705SXin Li   case BuiltinType::OCLQueue:
148*67e74705SXin Li     ID = PREDEF_TYPE_QUEUE_ID;
149*67e74705SXin Li     break;
150*67e74705SXin Li   case BuiltinType::OCLNDRange:
151*67e74705SXin Li     ID = PREDEF_TYPE_NDRANGE_ID;
152*67e74705SXin Li     break;
153*67e74705SXin Li   case BuiltinType::OCLReserveID:
154*67e74705SXin Li     ID = PREDEF_TYPE_RESERVE_ID_ID;
155*67e74705SXin Li     break;
156*67e74705SXin Li   case BuiltinType::BuiltinFn:
157*67e74705SXin Li     ID = PREDEF_TYPE_BUILTIN_FN;
158*67e74705SXin Li     break;
159*67e74705SXin Li   case BuiltinType::OMPArraySection:
160*67e74705SXin Li     ID = PREDEF_TYPE_OMP_ARRAY_SECTION;
161*67e74705SXin Li     break;
162*67e74705SXin Li   }
163*67e74705SXin Li 
164*67e74705SXin Li   return TypeIdx(ID);
165*67e74705SXin Li }
166*67e74705SXin Li 
ComputeHash(Selector Sel)167*67e74705SXin Li unsigned serialization::ComputeHash(Selector Sel) {
168*67e74705SXin Li   unsigned N = Sel.getNumArgs();
169*67e74705SXin Li   if (N == 0)
170*67e74705SXin Li     ++N;
171*67e74705SXin Li   unsigned R = 5381;
172*67e74705SXin Li   for (unsigned I = 0; I != N; ++I)
173*67e74705SXin Li     if (IdentifierInfo *II = Sel.getIdentifierInfoForSlot(I))
174*67e74705SXin Li       R = llvm::HashString(II->getName(), R);
175*67e74705SXin Li   return R;
176*67e74705SXin Li }
177*67e74705SXin Li 
178*67e74705SXin Li const DeclContext *
getDefinitiveDeclContext(const DeclContext * DC)179*67e74705SXin Li serialization::getDefinitiveDeclContext(const DeclContext *DC) {
180*67e74705SXin Li   switch (DC->getDeclKind()) {
181*67e74705SXin Li   // These entities may have multiple definitions.
182*67e74705SXin Li   case Decl::TranslationUnit:
183*67e74705SXin Li   case Decl::ExternCContext:
184*67e74705SXin Li   case Decl::Namespace:
185*67e74705SXin Li   case Decl::LinkageSpec:
186*67e74705SXin Li     return nullptr;
187*67e74705SXin Li 
188*67e74705SXin Li   // C/C++ tag types can only be defined in one place.
189*67e74705SXin Li   case Decl::Enum:
190*67e74705SXin Li   case Decl::Record:
191*67e74705SXin Li     if (const TagDecl *Def = cast<TagDecl>(DC)->getDefinition())
192*67e74705SXin Li       return Def;
193*67e74705SXin Li     return nullptr;
194*67e74705SXin Li 
195*67e74705SXin Li   // FIXME: These can be defined in one place... except special member
196*67e74705SXin Li   // functions and out-of-line definitions.
197*67e74705SXin Li   case Decl::CXXRecord:
198*67e74705SXin Li   case Decl::ClassTemplateSpecialization:
199*67e74705SXin Li   case Decl::ClassTemplatePartialSpecialization:
200*67e74705SXin Li     return nullptr;
201*67e74705SXin Li 
202*67e74705SXin Li   // Each function, method, and block declaration is its own DeclContext.
203*67e74705SXin Li   case Decl::Function:
204*67e74705SXin Li   case Decl::CXXMethod:
205*67e74705SXin Li   case Decl::CXXConstructor:
206*67e74705SXin Li   case Decl::CXXDestructor:
207*67e74705SXin Li   case Decl::CXXConversion:
208*67e74705SXin Li   case Decl::ObjCMethod:
209*67e74705SXin Li   case Decl::Block:
210*67e74705SXin Li   case Decl::Captured:
211*67e74705SXin Li     // Objective C categories, category implementations, and class
212*67e74705SXin Li     // implementations can only be defined in one place.
213*67e74705SXin Li   case Decl::ObjCCategory:
214*67e74705SXin Li   case Decl::ObjCCategoryImpl:
215*67e74705SXin Li   case Decl::ObjCImplementation:
216*67e74705SXin Li     return DC;
217*67e74705SXin Li 
218*67e74705SXin Li   case Decl::ObjCProtocol:
219*67e74705SXin Li     if (const ObjCProtocolDecl *Def
220*67e74705SXin Li           = cast<ObjCProtocolDecl>(DC)->getDefinition())
221*67e74705SXin Li       return Def;
222*67e74705SXin Li     return nullptr;
223*67e74705SXin Li 
224*67e74705SXin Li   // FIXME: These are defined in one place, but properties in class extensions
225*67e74705SXin Li   // end up being back-patched into the main interface. See
226*67e74705SXin Li   // Sema::HandlePropertyInClassExtension for the offending code.
227*67e74705SXin Li   case Decl::ObjCInterface:
228*67e74705SXin Li     return nullptr;
229*67e74705SXin Li 
230*67e74705SXin Li   default:
231*67e74705SXin Li     llvm_unreachable("Unhandled DeclContext in AST reader");
232*67e74705SXin Li   }
233*67e74705SXin Li 
234*67e74705SXin Li   llvm_unreachable("Unhandled decl kind");
235*67e74705SXin Li }
236*67e74705SXin Li 
isRedeclarableDeclKind(unsigned Kind)237*67e74705SXin Li bool serialization::isRedeclarableDeclKind(unsigned Kind) {
238*67e74705SXin Li   switch (static_cast<Decl::Kind>(Kind)) {
239*67e74705SXin Li   case Decl::TranslationUnit:
240*67e74705SXin Li   case Decl::ExternCContext:
241*67e74705SXin Li     // Special case of a "merged" declaration.
242*67e74705SXin Li     return true;
243*67e74705SXin Li 
244*67e74705SXin Li   case Decl::Namespace:
245*67e74705SXin Li   case Decl::NamespaceAlias:
246*67e74705SXin Li   case Decl::Typedef:
247*67e74705SXin Li   case Decl::TypeAlias:
248*67e74705SXin Li   case Decl::Enum:
249*67e74705SXin Li   case Decl::Record:
250*67e74705SXin Li   case Decl::CXXRecord:
251*67e74705SXin Li   case Decl::ClassTemplateSpecialization:
252*67e74705SXin Li   case Decl::ClassTemplatePartialSpecialization:
253*67e74705SXin Li   case Decl::VarTemplateSpecialization:
254*67e74705SXin Li   case Decl::VarTemplatePartialSpecialization:
255*67e74705SXin Li   case Decl::Function:
256*67e74705SXin Li   case Decl::CXXMethod:
257*67e74705SXin Li   case Decl::CXXConstructor:
258*67e74705SXin Li   case Decl::CXXDestructor:
259*67e74705SXin Li   case Decl::CXXConversion:
260*67e74705SXin Li   case Decl::UsingShadow:
261*67e74705SXin Li   case Decl::ConstructorUsingShadow:
262*67e74705SXin Li   case Decl::Var:
263*67e74705SXin Li   case Decl::FunctionTemplate:
264*67e74705SXin Li   case Decl::ClassTemplate:
265*67e74705SXin Li   case Decl::VarTemplate:
266*67e74705SXin Li   case Decl::TypeAliasTemplate:
267*67e74705SXin Li   case Decl::ObjCProtocol:
268*67e74705SXin Li   case Decl::ObjCInterface:
269*67e74705SXin Li   case Decl::Empty:
270*67e74705SXin Li     return true;
271*67e74705SXin Li 
272*67e74705SXin Li   // Never redeclarable.
273*67e74705SXin Li   case Decl::UsingDirective:
274*67e74705SXin Li   case Decl::Label:
275*67e74705SXin Li   case Decl::UnresolvedUsingTypename:
276*67e74705SXin Li   case Decl::TemplateTypeParm:
277*67e74705SXin Li   case Decl::EnumConstant:
278*67e74705SXin Li   case Decl::UnresolvedUsingValue:
279*67e74705SXin Li   case Decl::IndirectField:
280*67e74705SXin Li   case Decl::Field:
281*67e74705SXin Li   case Decl::MSProperty:
282*67e74705SXin Li   case Decl::ObjCIvar:
283*67e74705SXin Li   case Decl::ObjCAtDefsField:
284*67e74705SXin Li   case Decl::NonTypeTemplateParm:
285*67e74705SXin Li   case Decl::TemplateTemplateParm:
286*67e74705SXin Li   case Decl::Using:
287*67e74705SXin Li   case Decl::ObjCMethod:
288*67e74705SXin Li   case Decl::ObjCCategory:
289*67e74705SXin Li   case Decl::ObjCCategoryImpl:
290*67e74705SXin Li   case Decl::ObjCImplementation:
291*67e74705SXin Li   case Decl::ObjCProperty:
292*67e74705SXin Li   case Decl::ObjCCompatibleAlias:
293*67e74705SXin Li   case Decl::LinkageSpec:
294*67e74705SXin Li   case Decl::ObjCPropertyImpl:
295*67e74705SXin Li   case Decl::PragmaComment:
296*67e74705SXin Li   case Decl::PragmaDetectMismatch:
297*67e74705SXin Li   case Decl::FileScopeAsm:
298*67e74705SXin Li   case Decl::AccessSpec:
299*67e74705SXin Li   case Decl::Friend:
300*67e74705SXin Li   case Decl::FriendTemplate:
301*67e74705SXin Li   case Decl::StaticAssert:
302*67e74705SXin Li   case Decl::Block:
303*67e74705SXin Li   case Decl::Captured:
304*67e74705SXin Li   case Decl::ClassScopeFunctionSpecialization:
305*67e74705SXin Li   case Decl::Import:
306*67e74705SXin Li   case Decl::OMPThreadPrivate:
307*67e74705SXin Li   case Decl::OMPCapturedExpr:
308*67e74705SXin Li   case Decl::OMPDeclareReduction:
309*67e74705SXin Li   case Decl::BuiltinTemplate:
310*67e74705SXin Li     return false;
311*67e74705SXin Li 
312*67e74705SXin Li   // These indirectly derive from Redeclarable<T> but are not actually
313*67e74705SXin Li   // redeclarable.
314*67e74705SXin Li   case Decl::ImplicitParam:
315*67e74705SXin Li   case Decl::ParmVar:
316*67e74705SXin Li   case Decl::ObjCTypeParam:
317*67e74705SXin Li     return false;
318*67e74705SXin Li   }
319*67e74705SXin Li 
320*67e74705SXin Li   llvm_unreachable("Unhandled declaration kind");
321*67e74705SXin Li }
322*67e74705SXin Li 
needsAnonymousDeclarationNumber(const NamedDecl * D)323*67e74705SXin Li bool serialization::needsAnonymousDeclarationNumber(const NamedDecl *D) {
324*67e74705SXin Li   // Friend declarations in dependent contexts aren't anonymous in the usual
325*67e74705SXin Li   // sense, but they cannot be found by name lookup in their semantic context
326*67e74705SXin Li   // (or indeed in any context), so we treat them as anonymous.
327*67e74705SXin Li   //
328*67e74705SXin Li   // This doesn't apply to friend tag decls; Sema makes those available to name
329*67e74705SXin Li   // lookup in the surrounding context.
330*67e74705SXin Li   if (D->getFriendObjectKind() &&
331*67e74705SXin Li       D->getLexicalDeclContext()->isDependentContext() && !isa<TagDecl>(D)) {
332*67e74705SXin Li     // For function templates and class templates, the template is numbered and
333*67e74705SXin Li     // not its pattern.
334*67e74705SXin Li     if (auto *FD = dyn_cast<FunctionDecl>(D))
335*67e74705SXin Li       return !FD->getDescribedFunctionTemplate();
336*67e74705SXin Li     if (auto *RD = dyn_cast<CXXRecordDecl>(D))
337*67e74705SXin Li       return !RD->getDescribedClassTemplate();
338*67e74705SXin Li     return true;
339*67e74705SXin Li   }
340*67e74705SXin Li 
341*67e74705SXin Li   // Otherwise, we only care about anonymous class members.
342*67e74705SXin Li   if (D->getDeclName() || !isa<CXXRecordDecl>(D->getLexicalDeclContext()))
343*67e74705SXin Li     return false;
344*67e74705SXin Li   return isa<TagDecl>(D) || isa<FieldDecl>(D);
345*67e74705SXin Li }
346*67e74705SXin Li 
347