1 //===- CXTypes.cpp - Implements 'CXTypes' aspect of libclang ------------===//
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 //
10 // This file implements the 'CXTypes' API hooks in the Clang-C library.
11 //
12 //===--------------------------------------------------------------------===//
13
14 #include "CIndexer.h"
15 #include "CXCursor.h"
16 #include "CXString.h"
17 #include "CXTranslationUnit.h"
18 #include "CXType.h"
19 #include "clang/AST/Decl.h"
20 #include "clang/AST/DeclObjC.h"
21 #include "clang/AST/DeclTemplate.h"
22 #include "clang/AST/Expr.h"
23 #include "clang/AST/Type.h"
24 #include "clang/Frontend/ASTUnit.h"
25
26 using namespace clang;
27
GetBuiltinTypeKind(const BuiltinType * BT)28 static CXTypeKind GetBuiltinTypeKind(const BuiltinType *BT) {
29 #define BTCASE(K) case BuiltinType::K: return CXType_##K
30 switch (BT->getKind()) {
31 BTCASE(Void);
32 BTCASE(Bool);
33 BTCASE(Char_U);
34 BTCASE(UChar);
35 BTCASE(Char16);
36 BTCASE(Char32);
37 BTCASE(UShort);
38 BTCASE(UInt);
39 BTCASE(ULong);
40 BTCASE(ULongLong);
41 BTCASE(UInt128);
42 BTCASE(Char_S);
43 BTCASE(SChar);
44 case BuiltinType::WChar_S: return CXType_WChar;
45 case BuiltinType::WChar_U: return CXType_WChar;
46 BTCASE(Short);
47 BTCASE(Int);
48 BTCASE(Long);
49 BTCASE(LongLong);
50 BTCASE(Int128);
51 BTCASE(Float);
52 BTCASE(Double);
53 BTCASE(LongDouble);
54 BTCASE(NullPtr);
55 BTCASE(Overload);
56 BTCASE(Dependent);
57 BTCASE(ObjCId);
58 BTCASE(ObjCClass);
59 BTCASE(ObjCSel);
60 default:
61 return CXType_Unexposed;
62 }
63 #undef BTCASE
64 }
65
GetTypeKind(QualType T)66 static CXTypeKind GetTypeKind(QualType T) {
67 const Type *TP = T.getTypePtrOrNull();
68 if (!TP)
69 return CXType_Invalid;
70
71 #define TKCASE(K) case Type::K: return CXType_##K
72 switch (TP->getTypeClass()) {
73 case Type::Builtin:
74 return GetBuiltinTypeKind(cast<BuiltinType>(TP));
75 TKCASE(Complex);
76 TKCASE(Pointer);
77 TKCASE(BlockPointer);
78 TKCASE(LValueReference);
79 TKCASE(RValueReference);
80 TKCASE(Record);
81 TKCASE(Enum);
82 TKCASE(Typedef);
83 TKCASE(ObjCInterface);
84 TKCASE(ObjCObjectPointer);
85 TKCASE(FunctionNoProto);
86 TKCASE(FunctionProto);
87 TKCASE(ConstantArray);
88 TKCASE(IncompleteArray);
89 TKCASE(VariableArray);
90 TKCASE(DependentSizedArray);
91 TKCASE(Vector);
92 TKCASE(MemberPointer);
93 default:
94 return CXType_Unexposed;
95 }
96 #undef TKCASE
97 }
98
99
MakeCXType(QualType T,CXTranslationUnit TU)100 CXType cxtype::MakeCXType(QualType T, CXTranslationUnit TU) {
101 CXTypeKind TK = CXType_Invalid;
102
103 if (TU && !T.isNull()) {
104 ASTContext &Ctx = cxtu::getASTUnit(TU)->getASTContext();
105 if (Ctx.getLangOpts().ObjC1) {
106 QualType UnqualT = T.getUnqualifiedType();
107 if (Ctx.isObjCIdType(UnqualT))
108 TK = CXType_ObjCId;
109 else if (Ctx.isObjCClassType(UnqualT))
110 TK = CXType_ObjCClass;
111 else if (Ctx.isObjCSelType(UnqualT))
112 TK = CXType_ObjCSel;
113 }
114
115 /* Handle decayed types as the original type */
116 if (const DecayedType *DT = T->getAs<DecayedType>()) {
117 return MakeCXType(DT->getOriginalType(), TU);
118 }
119 }
120 if (TK == CXType_Invalid)
121 TK = GetTypeKind(T);
122
123 CXType CT = { TK, { TK == CXType_Invalid ? nullptr
124 : T.getAsOpaquePtr(), TU } };
125 return CT;
126 }
127
128 using cxtype::MakeCXType;
129
GetQualType(CXType CT)130 static inline QualType GetQualType(CXType CT) {
131 return QualType::getFromOpaquePtr(CT.data[0]);
132 }
133
GetTU(CXType CT)134 static inline CXTranslationUnit GetTU(CXType CT) {
135 return static_cast<CXTranslationUnit>(CT.data[1]);
136 }
137
138 extern "C" {
139
clang_getCursorType(CXCursor C)140 CXType clang_getCursorType(CXCursor C) {
141 using namespace cxcursor;
142
143 CXTranslationUnit TU = cxcursor::getCursorTU(C);
144 if (!TU)
145 return MakeCXType(QualType(), TU);
146
147 ASTContext &Context = cxtu::getASTUnit(TU)->getASTContext();
148 if (clang_isExpression(C.kind)) {
149 QualType T = cxcursor::getCursorExpr(C)->getType();
150 return MakeCXType(T, TU);
151 }
152
153 if (clang_isDeclaration(C.kind)) {
154 const Decl *D = cxcursor::getCursorDecl(C);
155 if (!D)
156 return MakeCXType(QualType(), TU);
157
158 if (const TypeDecl *TD = dyn_cast<TypeDecl>(D))
159 return MakeCXType(Context.getTypeDeclType(TD), TU);
160 if (const ObjCInterfaceDecl *ID = dyn_cast<ObjCInterfaceDecl>(D))
161 return MakeCXType(Context.getObjCInterfaceType(ID), TU);
162 if (const DeclaratorDecl *DD = dyn_cast<DeclaratorDecl>(D)) {
163 if (TypeSourceInfo *TSInfo = DD->getTypeSourceInfo())
164 return MakeCXType(TSInfo->getType(), TU);
165 return MakeCXType(DD->getType(), TU);
166 }
167 if (const ValueDecl *VD = dyn_cast<ValueDecl>(D))
168 return MakeCXType(VD->getType(), TU);
169 if (const ObjCPropertyDecl *PD = dyn_cast<ObjCPropertyDecl>(D))
170 return MakeCXType(PD->getType(), TU);
171 if (const FunctionTemplateDecl *FTD = dyn_cast<FunctionTemplateDecl>(D)) {
172 if (TypeSourceInfo *TSInfo = FTD->getTemplatedDecl()->getTypeSourceInfo())
173 return MakeCXType(TSInfo->getType(), TU);
174 return MakeCXType(FTD->getTemplatedDecl()->getType(), TU);
175 }
176 return MakeCXType(QualType(), TU);
177 }
178
179 if (clang_isReference(C.kind)) {
180 switch (C.kind) {
181 case CXCursor_ObjCSuperClassRef: {
182 QualType T
183 = Context.getObjCInterfaceType(getCursorObjCSuperClassRef(C).first);
184 return MakeCXType(T, TU);
185 }
186
187 case CXCursor_ObjCClassRef: {
188 QualType T = Context.getObjCInterfaceType(getCursorObjCClassRef(C).first);
189 return MakeCXType(T, TU);
190 }
191
192 case CXCursor_TypeRef: {
193 QualType T = Context.getTypeDeclType(getCursorTypeRef(C).first);
194 return MakeCXType(T, TU);
195
196 }
197
198 case CXCursor_CXXBaseSpecifier:
199 return cxtype::MakeCXType(getCursorCXXBaseSpecifier(C)->getType(), TU);
200
201 case CXCursor_MemberRef:
202 return cxtype::MakeCXType(getCursorMemberRef(C).first->getType(), TU);
203
204 case CXCursor_VariableRef:
205 return cxtype::MakeCXType(getCursorVariableRef(C).first->getType(), TU);
206
207 case CXCursor_ObjCProtocolRef:
208 case CXCursor_TemplateRef:
209 case CXCursor_NamespaceRef:
210 case CXCursor_OverloadedDeclRef:
211 default:
212 break;
213 }
214
215 return MakeCXType(QualType(), TU);
216 }
217
218 return MakeCXType(QualType(), TU);
219 }
220
clang_getTypeSpelling(CXType CT)221 CXString clang_getTypeSpelling(CXType CT) {
222 QualType T = GetQualType(CT);
223 if (T.isNull())
224 return cxstring::createEmpty();
225
226 CXTranslationUnit TU = GetTU(CT);
227 SmallString<64> Str;
228 llvm::raw_svector_ostream OS(Str);
229 PrintingPolicy PP(cxtu::getASTUnit(TU)->getASTContext().getLangOpts());
230
231 T.print(OS, PP);
232
233 return cxstring::createDup(OS.str());
234 }
235
clang_getTypedefDeclUnderlyingType(CXCursor C)236 CXType clang_getTypedefDeclUnderlyingType(CXCursor C) {
237 using namespace cxcursor;
238 CXTranslationUnit TU = cxcursor::getCursorTU(C);
239
240 if (clang_isDeclaration(C.kind)) {
241 const Decl *D = cxcursor::getCursorDecl(C);
242
243 if (const TypedefNameDecl *TD = dyn_cast_or_null<TypedefNameDecl>(D)) {
244 QualType T = TD->getUnderlyingType();
245 return MakeCXType(T, TU);
246 }
247
248 return MakeCXType(QualType(), TU);
249 }
250
251 return MakeCXType(QualType(), TU);
252 }
253
clang_getEnumDeclIntegerType(CXCursor C)254 CXType clang_getEnumDeclIntegerType(CXCursor C) {
255 using namespace cxcursor;
256 CXTranslationUnit TU = cxcursor::getCursorTU(C);
257
258 if (clang_isDeclaration(C.kind)) {
259 const Decl *D = cxcursor::getCursorDecl(C);
260
261 if (const EnumDecl *TD = dyn_cast_or_null<EnumDecl>(D)) {
262 QualType T = TD->getIntegerType();
263 return MakeCXType(T, TU);
264 }
265
266 return MakeCXType(QualType(), TU);
267 }
268
269 return MakeCXType(QualType(), TU);
270 }
271
clang_getEnumConstantDeclValue(CXCursor C)272 long long clang_getEnumConstantDeclValue(CXCursor C) {
273 using namespace cxcursor;
274
275 if (clang_isDeclaration(C.kind)) {
276 const Decl *D = cxcursor::getCursorDecl(C);
277
278 if (const EnumConstantDecl *TD = dyn_cast_or_null<EnumConstantDecl>(D)) {
279 return TD->getInitVal().getSExtValue();
280 }
281
282 return LLONG_MIN;
283 }
284
285 return LLONG_MIN;
286 }
287
clang_getEnumConstantDeclUnsignedValue(CXCursor C)288 unsigned long long clang_getEnumConstantDeclUnsignedValue(CXCursor C) {
289 using namespace cxcursor;
290
291 if (clang_isDeclaration(C.kind)) {
292 const Decl *D = cxcursor::getCursorDecl(C);
293
294 if (const EnumConstantDecl *TD = dyn_cast_or_null<EnumConstantDecl>(D)) {
295 return TD->getInitVal().getZExtValue();
296 }
297
298 return ULLONG_MAX;
299 }
300
301 return ULLONG_MAX;
302 }
303
clang_getFieldDeclBitWidth(CXCursor C)304 int clang_getFieldDeclBitWidth(CXCursor C) {
305 using namespace cxcursor;
306
307 if (clang_isDeclaration(C.kind)) {
308 const Decl *D = getCursorDecl(C);
309
310 if (const FieldDecl *FD = dyn_cast_or_null<FieldDecl>(D)) {
311 if (FD->isBitField())
312 return FD->getBitWidthValue(getCursorContext(C));
313 }
314 }
315
316 return -1;
317 }
318
clang_getCanonicalType(CXType CT)319 CXType clang_getCanonicalType(CXType CT) {
320 if (CT.kind == CXType_Invalid)
321 return CT;
322
323 QualType T = GetQualType(CT);
324 CXTranslationUnit TU = GetTU(CT);
325
326 if (T.isNull())
327 return MakeCXType(QualType(), GetTU(CT));
328
329 return MakeCXType(cxtu::getASTUnit(TU)->getASTContext()
330 .getCanonicalType(T),
331 TU);
332 }
333
clang_isConstQualifiedType(CXType CT)334 unsigned clang_isConstQualifiedType(CXType CT) {
335 QualType T = GetQualType(CT);
336 return T.isLocalConstQualified();
337 }
338
clang_isVolatileQualifiedType(CXType CT)339 unsigned clang_isVolatileQualifiedType(CXType CT) {
340 QualType T = GetQualType(CT);
341 return T.isLocalVolatileQualified();
342 }
343
clang_isRestrictQualifiedType(CXType CT)344 unsigned clang_isRestrictQualifiedType(CXType CT) {
345 QualType T = GetQualType(CT);
346 return T.isLocalRestrictQualified();
347 }
348
clang_getPointeeType(CXType CT)349 CXType clang_getPointeeType(CXType CT) {
350 QualType T = GetQualType(CT);
351 const Type *TP = T.getTypePtrOrNull();
352
353 if (!TP)
354 return MakeCXType(QualType(), GetTU(CT));
355
356 switch (TP->getTypeClass()) {
357 case Type::Pointer:
358 T = cast<PointerType>(TP)->getPointeeType();
359 break;
360 case Type::BlockPointer:
361 T = cast<BlockPointerType>(TP)->getPointeeType();
362 break;
363 case Type::LValueReference:
364 case Type::RValueReference:
365 T = cast<ReferenceType>(TP)->getPointeeType();
366 break;
367 case Type::ObjCObjectPointer:
368 T = cast<ObjCObjectPointerType>(TP)->getPointeeType();
369 break;
370 case Type::MemberPointer:
371 T = cast<MemberPointerType>(TP)->getPointeeType();
372 break;
373 default:
374 T = QualType();
375 break;
376 }
377 return MakeCXType(T, GetTU(CT));
378 }
379
clang_getTypeDeclaration(CXType CT)380 CXCursor clang_getTypeDeclaration(CXType CT) {
381 if (CT.kind == CXType_Invalid)
382 return cxcursor::MakeCXCursorInvalid(CXCursor_NoDeclFound);
383
384 QualType T = GetQualType(CT);
385 const Type *TP = T.getTypePtrOrNull();
386
387 if (!TP)
388 return cxcursor::MakeCXCursorInvalid(CXCursor_NoDeclFound);
389
390 Decl *D = nullptr;
391
392 try_again:
393 switch (TP->getTypeClass()) {
394 case Type::Typedef:
395 D = cast<TypedefType>(TP)->getDecl();
396 break;
397 case Type::ObjCObject:
398 D = cast<ObjCObjectType>(TP)->getInterface();
399 break;
400 case Type::ObjCInterface:
401 D = cast<ObjCInterfaceType>(TP)->getDecl();
402 break;
403 case Type::Record:
404 case Type::Enum:
405 D = cast<TagType>(TP)->getDecl();
406 break;
407 case Type::TemplateSpecialization:
408 if (const RecordType *Record = TP->getAs<RecordType>())
409 D = Record->getDecl();
410 else
411 D = cast<TemplateSpecializationType>(TP)->getTemplateName()
412 .getAsTemplateDecl();
413 break;
414
415 case Type::InjectedClassName:
416 D = cast<InjectedClassNameType>(TP)->getDecl();
417 break;
418
419 // FIXME: Template type parameters!
420
421 case Type::Elaborated:
422 TP = cast<ElaboratedType>(TP)->getNamedType().getTypePtrOrNull();
423 goto try_again;
424
425 default:
426 break;
427 }
428
429 if (!D)
430 return cxcursor::MakeCXCursorInvalid(CXCursor_NoDeclFound);
431
432 return cxcursor::MakeCXCursor(D, GetTU(CT));
433 }
434
clang_getTypeKindSpelling(enum CXTypeKind K)435 CXString clang_getTypeKindSpelling(enum CXTypeKind K) {
436 const char *s = nullptr;
437 #define TKIND(X) case CXType_##X: s = "" #X ""; break
438 switch (K) {
439 TKIND(Invalid);
440 TKIND(Unexposed);
441 TKIND(Void);
442 TKIND(Bool);
443 TKIND(Char_U);
444 TKIND(UChar);
445 TKIND(Char16);
446 TKIND(Char32);
447 TKIND(UShort);
448 TKIND(UInt);
449 TKIND(ULong);
450 TKIND(ULongLong);
451 TKIND(UInt128);
452 TKIND(Char_S);
453 TKIND(SChar);
454 case CXType_WChar: s = "WChar"; break;
455 TKIND(Short);
456 TKIND(Int);
457 TKIND(Long);
458 TKIND(LongLong);
459 TKIND(Int128);
460 TKIND(Float);
461 TKIND(Double);
462 TKIND(LongDouble);
463 TKIND(NullPtr);
464 TKIND(Overload);
465 TKIND(Dependent);
466 TKIND(ObjCId);
467 TKIND(ObjCClass);
468 TKIND(ObjCSel);
469 TKIND(Complex);
470 TKIND(Pointer);
471 TKIND(BlockPointer);
472 TKIND(LValueReference);
473 TKIND(RValueReference);
474 TKIND(Record);
475 TKIND(Enum);
476 TKIND(Typedef);
477 TKIND(ObjCInterface);
478 TKIND(ObjCObjectPointer);
479 TKIND(FunctionNoProto);
480 TKIND(FunctionProto);
481 TKIND(ConstantArray);
482 TKIND(IncompleteArray);
483 TKIND(VariableArray);
484 TKIND(DependentSizedArray);
485 TKIND(Vector);
486 TKIND(MemberPointer);
487 }
488 #undef TKIND
489 return cxstring::createRef(s);
490 }
491
clang_equalTypes(CXType A,CXType B)492 unsigned clang_equalTypes(CXType A, CXType B) {
493 return A.data[0] == B.data[0] && A.data[1] == B.data[1];;
494 }
495
clang_isFunctionTypeVariadic(CXType X)496 unsigned clang_isFunctionTypeVariadic(CXType X) {
497 QualType T = GetQualType(X);
498 if (T.isNull())
499 return 0;
500
501 if (const FunctionProtoType *FD = T->getAs<FunctionProtoType>())
502 return (unsigned)FD->isVariadic();
503
504 if (T->getAs<FunctionNoProtoType>())
505 return 1;
506
507 return 0;
508 }
509
clang_getFunctionTypeCallingConv(CXType X)510 CXCallingConv clang_getFunctionTypeCallingConv(CXType X) {
511 QualType T = GetQualType(X);
512 if (T.isNull())
513 return CXCallingConv_Invalid;
514
515 if (const FunctionType *FD = T->getAs<FunctionType>()) {
516 #define TCALLINGCONV(X) case CC_##X: return CXCallingConv_##X
517 switch (FD->getCallConv()) {
518 TCALLINGCONV(C);
519 TCALLINGCONV(X86StdCall);
520 TCALLINGCONV(X86FastCall);
521 TCALLINGCONV(X86ThisCall);
522 TCALLINGCONV(X86Pascal);
523 TCALLINGCONV(X86VectorCall);
524 TCALLINGCONV(X86_64Win64);
525 TCALLINGCONV(X86_64SysV);
526 TCALLINGCONV(AAPCS);
527 TCALLINGCONV(AAPCS_VFP);
528 TCALLINGCONV(PnaclCall);
529 TCALLINGCONV(IntelOclBicc);
530 }
531 #undef TCALLINGCONV
532 }
533
534 return CXCallingConv_Invalid;
535 }
536
clang_getNumArgTypes(CXType X)537 int clang_getNumArgTypes(CXType X) {
538 QualType T = GetQualType(X);
539 if (T.isNull())
540 return -1;
541
542 if (const FunctionProtoType *FD = T->getAs<FunctionProtoType>()) {
543 return FD->getNumParams();
544 }
545
546 if (T->getAs<FunctionNoProtoType>()) {
547 return 0;
548 }
549
550 return -1;
551 }
552
clang_getArgType(CXType X,unsigned i)553 CXType clang_getArgType(CXType X, unsigned i) {
554 QualType T = GetQualType(X);
555 if (T.isNull())
556 return MakeCXType(QualType(), GetTU(X));
557
558 if (const FunctionProtoType *FD = T->getAs<FunctionProtoType>()) {
559 unsigned numParams = FD->getNumParams();
560 if (i >= numParams)
561 return MakeCXType(QualType(), GetTU(X));
562
563 return MakeCXType(FD->getParamType(i), GetTU(X));
564 }
565
566 return MakeCXType(QualType(), GetTU(X));
567 }
568
clang_getResultType(CXType X)569 CXType clang_getResultType(CXType X) {
570 QualType T = GetQualType(X);
571 if (T.isNull())
572 return MakeCXType(QualType(), GetTU(X));
573
574 if (const FunctionType *FD = T->getAs<FunctionType>())
575 return MakeCXType(FD->getReturnType(), GetTU(X));
576
577 return MakeCXType(QualType(), GetTU(X));
578 }
579
clang_getCursorResultType(CXCursor C)580 CXType clang_getCursorResultType(CXCursor C) {
581 if (clang_isDeclaration(C.kind)) {
582 const Decl *D = cxcursor::getCursorDecl(C);
583 if (const ObjCMethodDecl *MD = dyn_cast_or_null<ObjCMethodDecl>(D))
584 return MakeCXType(MD->getReturnType(), cxcursor::getCursorTU(C));
585
586 return clang_getResultType(clang_getCursorType(C));
587 }
588
589 return MakeCXType(QualType(), cxcursor::getCursorTU(C));
590 }
591
clang_isPODType(CXType X)592 unsigned clang_isPODType(CXType X) {
593 QualType T = GetQualType(X);
594 if (T.isNull())
595 return 0;
596
597 CXTranslationUnit TU = GetTU(X);
598
599 return T.isPODType(cxtu::getASTUnit(TU)->getASTContext()) ? 1 : 0;
600 }
601
clang_getElementType(CXType CT)602 CXType clang_getElementType(CXType CT) {
603 QualType ET = QualType();
604 QualType T = GetQualType(CT);
605 const Type *TP = T.getTypePtrOrNull();
606
607 if (TP) {
608 switch (TP->getTypeClass()) {
609 case Type::ConstantArray:
610 ET = cast<ConstantArrayType> (TP)->getElementType();
611 break;
612 case Type::IncompleteArray:
613 ET = cast<IncompleteArrayType> (TP)->getElementType();
614 break;
615 case Type::VariableArray:
616 ET = cast<VariableArrayType> (TP)->getElementType();
617 break;
618 case Type::DependentSizedArray:
619 ET = cast<DependentSizedArrayType> (TP)->getElementType();
620 break;
621 case Type::Vector:
622 ET = cast<VectorType> (TP)->getElementType();
623 break;
624 case Type::Complex:
625 ET = cast<ComplexType> (TP)->getElementType();
626 break;
627 default:
628 break;
629 }
630 }
631 return MakeCXType(ET, GetTU(CT));
632 }
633
clang_getNumElements(CXType CT)634 long long clang_getNumElements(CXType CT) {
635 long long result = -1;
636 QualType T = GetQualType(CT);
637 const Type *TP = T.getTypePtrOrNull();
638
639 if (TP) {
640 switch (TP->getTypeClass()) {
641 case Type::ConstantArray:
642 result = cast<ConstantArrayType> (TP)->getSize().getSExtValue();
643 break;
644 case Type::Vector:
645 result = cast<VectorType> (TP)->getNumElements();
646 break;
647 default:
648 break;
649 }
650 }
651 return result;
652 }
653
clang_getArrayElementType(CXType CT)654 CXType clang_getArrayElementType(CXType CT) {
655 QualType ET = QualType();
656 QualType T = GetQualType(CT);
657 const Type *TP = T.getTypePtrOrNull();
658
659 if (TP) {
660 switch (TP->getTypeClass()) {
661 case Type::ConstantArray:
662 ET = cast<ConstantArrayType> (TP)->getElementType();
663 break;
664 case Type::IncompleteArray:
665 ET = cast<IncompleteArrayType> (TP)->getElementType();
666 break;
667 case Type::VariableArray:
668 ET = cast<VariableArrayType> (TP)->getElementType();
669 break;
670 case Type::DependentSizedArray:
671 ET = cast<DependentSizedArrayType> (TP)->getElementType();
672 break;
673 default:
674 break;
675 }
676 }
677 return MakeCXType(ET, GetTU(CT));
678 }
679
clang_getArraySize(CXType CT)680 long long clang_getArraySize(CXType CT) {
681 long long result = -1;
682 QualType T = GetQualType(CT);
683 const Type *TP = T.getTypePtrOrNull();
684
685 if (TP) {
686 switch (TP->getTypeClass()) {
687 case Type::ConstantArray:
688 result = cast<ConstantArrayType> (TP)->getSize().getSExtValue();
689 break;
690 default:
691 break;
692 }
693 }
694 return result;
695 }
696
clang_Type_getAlignOf(CXType T)697 long long clang_Type_getAlignOf(CXType T) {
698 if (T.kind == CXType_Invalid)
699 return CXTypeLayoutError_Invalid;
700 ASTContext &Ctx = cxtu::getASTUnit(GetTU(T))->getASTContext();
701 QualType QT = GetQualType(T);
702 // [expr.alignof] p1: return size_t value for complete object type, reference
703 // or array.
704 // [expr.alignof] p3: if reference type, return size of referenced type
705 if (QT->isReferenceType())
706 QT = QT.getNonReferenceType();
707 if (QT->isIncompleteType())
708 return CXTypeLayoutError_Incomplete;
709 if (QT->isDependentType())
710 return CXTypeLayoutError_Dependent;
711 // Exceptions by GCC extension - see ASTContext.cpp:1313 getTypeInfoImpl
712 // if (QT->isFunctionType()) return 4; // Bug #15511 - should be 1
713 // if (QT->isVoidType()) return 1;
714 return Ctx.getTypeAlignInChars(QT).getQuantity();
715 }
716
clang_Type_getClassType(CXType CT)717 CXType clang_Type_getClassType(CXType CT) {
718 QualType ET = QualType();
719 QualType T = GetQualType(CT);
720 const Type *TP = T.getTypePtrOrNull();
721
722 if (TP && TP->getTypeClass() == Type::MemberPointer) {
723 ET = QualType(cast<MemberPointerType> (TP)->getClass(), 0);
724 }
725 return MakeCXType(ET, GetTU(CT));
726 }
727
clang_Type_getSizeOf(CXType T)728 long long clang_Type_getSizeOf(CXType T) {
729 if (T.kind == CXType_Invalid)
730 return CXTypeLayoutError_Invalid;
731 ASTContext &Ctx = cxtu::getASTUnit(GetTU(T))->getASTContext();
732 QualType QT = GetQualType(T);
733 // [expr.sizeof] p2: if reference type, return size of referenced type
734 if (QT->isReferenceType())
735 QT = QT.getNonReferenceType();
736 // [expr.sizeof] p1: return -1 on: func, incomplete, bitfield, incomplete
737 // enumeration
738 // Note: We get the cxtype, not the cxcursor, so we can't call
739 // FieldDecl->isBitField()
740 // [expr.sizeof] p3: pointer ok, function not ok.
741 // [gcc extension] lib/AST/ExprConstant.cpp:1372 HandleSizeof : vla == error
742 if (QT->isIncompleteType())
743 return CXTypeLayoutError_Incomplete;
744 if (QT->isDependentType())
745 return CXTypeLayoutError_Dependent;
746 if (!QT->isConstantSizeType())
747 return CXTypeLayoutError_NotConstantSize;
748 // [gcc extension] lib/AST/ExprConstant.cpp:1372
749 // HandleSizeof : {voidtype,functype} == 1
750 // not handled by ASTContext.cpp:1313 getTypeInfoImpl
751 if (QT->isVoidType() || QT->isFunctionType())
752 return 1;
753 return Ctx.getTypeSizeInChars(QT).getQuantity();
754 }
755
visitRecordForValidation(const RecordDecl * RD)756 static long long visitRecordForValidation(const RecordDecl *RD) {
757 for (const auto *I : RD->fields()){
758 QualType FQT = I->getType();
759 if (FQT->isIncompleteType())
760 return CXTypeLayoutError_Incomplete;
761 if (FQT->isDependentType())
762 return CXTypeLayoutError_Dependent;
763 // recurse
764 if (const RecordType *ChildType = I->getType()->getAs<RecordType>()) {
765 if (const RecordDecl *Child = ChildType->getDecl()) {
766 long long ret = visitRecordForValidation(Child);
767 if (ret < 0)
768 return ret;
769 }
770 }
771 // else try next field
772 }
773 return 0;
774 }
775
clang_Type_getOffsetOf(CXType PT,const char * S)776 long long clang_Type_getOffsetOf(CXType PT, const char *S) {
777 // check that PT is not incomplete/dependent
778 CXCursor PC = clang_getTypeDeclaration(PT);
779 if (clang_isInvalid(PC.kind))
780 return CXTypeLayoutError_Invalid;
781 const RecordDecl *RD =
782 dyn_cast_or_null<RecordDecl>(cxcursor::getCursorDecl(PC));
783 if (!RD || RD->isInvalidDecl())
784 return CXTypeLayoutError_Invalid;
785 RD = RD->getDefinition();
786 if (!RD)
787 return CXTypeLayoutError_Incomplete;
788 if (RD->isInvalidDecl())
789 return CXTypeLayoutError_Invalid;
790 QualType RT = GetQualType(PT);
791 if (RT->isIncompleteType())
792 return CXTypeLayoutError_Incomplete;
793 if (RT->isDependentType())
794 return CXTypeLayoutError_Dependent;
795 // We recurse into all record fields to detect incomplete and dependent types.
796 long long Error = visitRecordForValidation(RD);
797 if (Error < 0)
798 return Error;
799 if (!S)
800 return CXTypeLayoutError_InvalidFieldName;
801 // lookup field
802 ASTContext &Ctx = cxtu::getASTUnit(GetTU(PT))->getASTContext();
803 IdentifierInfo *II = &Ctx.Idents.get(S);
804 DeclarationName FieldName(II);
805 RecordDecl::lookup_const_result Res = RD->lookup(FieldName);
806 // If a field of the parent record is incomplete, lookup will fail.
807 // and we would return InvalidFieldName instead of Incomplete.
808 // But this erroneous results does protects again a hidden assertion failure
809 // in the RecordLayoutBuilder
810 if (Res.size() != 1)
811 return CXTypeLayoutError_InvalidFieldName;
812 if (const FieldDecl *FD = dyn_cast<FieldDecl>(Res.front()))
813 return Ctx.getFieldOffset(FD);
814 if (const IndirectFieldDecl *IFD = dyn_cast<IndirectFieldDecl>(Res.front()))
815 return Ctx.getFieldOffset(IFD);
816 // we don't want any other Decl Type.
817 return CXTypeLayoutError_InvalidFieldName;
818 }
819
clang_Type_getCXXRefQualifier(CXType T)820 enum CXRefQualifierKind clang_Type_getCXXRefQualifier(CXType T) {
821 QualType QT = GetQualType(T);
822 if (QT.isNull())
823 return CXRefQualifier_None;
824 const FunctionProtoType *FD = QT->getAs<FunctionProtoType>();
825 if (!FD)
826 return CXRefQualifier_None;
827 switch (FD->getRefQualifier()) {
828 case RQ_None:
829 return CXRefQualifier_None;
830 case RQ_LValue:
831 return CXRefQualifier_LValue;
832 case RQ_RValue:
833 return CXRefQualifier_RValue;
834 }
835 return CXRefQualifier_None;
836 }
837
clang_Cursor_isBitField(CXCursor C)838 unsigned clang_Cursor_isBitField(CXCursor C) {
839 if (!clang_isDeclaration(C.kind))
840 return 0;
841 const FieldDecl *FD = dyn_cast_or_null<FieldDecl>(cxcursor::getCursorDecl(C));
842 if (!FD)
843 return 0;
844 return FD->isBitField();
845 }
846
clang_getDeclObjCTypeEncoding(CXCursor C)847 CXString clang_getDeclObjCTypeEncoding(CXCursor C) {
848 if (!clang_isDeclaration(C.kind))
849 return cxstring::createEmpty();
850
851 const Decl *D = cxcursor::getCursorDecl(C);
852 ASTContext &Ctx = cxcursor::getCursorContext(C);
853 std::string encoding;
854
855 if (const ObjCMethodDecl *OMD = dyn_cast<ObjCMethodDecl>(D)) {
856 if (Ctx.getObjCEncodingForMethodDecl(OMD, encoding))
857 return cxstring::createRef("?");
858 } else if (const ObjCPropertyDecl *OPD = dyn_cast<ObjCPropertyDecl>(D))
859 Ctx.getObjCEncodingForPropertyDecl(OPD, nullptr, encoding);
860 else if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D))
861 Ctx.getObjCEncodingForFunctionDecl(FD, encoding);
862 else {
863 QualType Ty;
864 if (const TypeDecl *TD = dyn_cast<TypeDecl>(D))
865 Ty = Ctx.getTypeDeclType(TD);
866 if (const ValueDecl *VD = dyn_cast<ValueDecl>(D))
867 Ty = VD->getType();
868 else return cxstring::createRef("?");
869 Ctx.getObjCEncodingForType(Ty, encoding);
870 }
871
872 return cxstring::createDup(encoding);
873 }
874
clang_Type_getNumTemplateArguments(CXType CT)875 int clang_Type_getNumTemplateArguments(CXType CT) {
876 QualType T = GetQualType(CT);
877 if (T.isNull())
878 return -1;
879 const CXXRecordDecl *RecordDecl = T->getAsCXXRecordDecl();
880 if (!RecordDecl)
881 return -1;
882 const ClassTemplateSpecializationDecl *TemplateDecl =
883 dyn_cast<ClassTemplateSpecializationDecl>(RecordDecl);
884 if (!TemplateDecl)
885 return -1;
886 return TemplateDecl->getTemplateArgs().size();
887 }
888
clang_Type_getTemplateArgumentAsType(CXType CT,unsigned i)889 CXType clang_Type_getTemplateArgumentAsType(CXType CT, unsigned i) {
890 QualType T = GetQualType(CT);
891 if (T.isNull())
892 return MakeCXType(QualType(), GetTU(CT));
893 const CXXRecordDecl *RecordDecl = T->getAsCXXRecordDecl();
894 if (!RecordDecl)
895 return MakeCXType(QualType(), GetTU(CT));
896 const ClassTemplateSpecializationDecl *TemplateDecl =
897 dyn_cast<ClassTemplateSpecializationDecl>(RecordDecl);
898 if (!TemplateDecl)
899 return MakeCXType(QualType(), GetTU(CT));
900 const TemplateArgumentList &TA = TemplateDecl->getTemplateArgs();
901 if (TA.size() <= i)
902 return MakeCXType(QualType(), GetTU(CT));
903 const TemplateArgument &A = TA.get(i);
904 if (A.getKind() != TemplateArgument::Type)
905 return MakeCXType(QualType(), GetTU(CT));
906 return MakeCXType(A.getAsType(), GetTU(CT));
907 }
908
909 } // end: extern "C"
910