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 
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 
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 
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 
130 static inline QualType GetQualType(CXType CT) {
131   return QualType::getFromOpaquePtr(CT.data[0]);
132 }
133 
134 static inline CXTranslationUnit GetTU(CXType CT) {
135   return static_cast<CXTranslationUnit>(CT.data[1]);
136 }
137 
138 extern "C" {
139 
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 
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 
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 
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 
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 
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 
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 
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 
334 unsigned clang_isConstQualifiedType(CXType CT) {
335   QualType T = GetQualType(CT);
336   return T.isLocalConstQualified();
337 }
338 
339 unsigned clang_isVolatileQualifiedType(CXType CT) {
340   QualType T = GetQualType(CT);
341   return T.isLocalVolatileQualified();
342 }
343 
344 unsigned clang_isRestrictQualifiedType(CXType CT) {
345   QualType T = GetQualType(CT);
346   return T.isLocalRestrictQualified();
347 }
348 
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 
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 
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 
492 unsigned clang_equalTypes(CXType A, CXType B) {
493   return A.data[0] == B.data[0] && A.data[1] == B.data[1];;
494 }
495 
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 
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 
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 
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 
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 
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 
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 
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 
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 
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 
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 
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 
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 
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 
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 
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 
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 
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 
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 
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 
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