tools/libclang/CXType.cpp

   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"