Type.h revision 04d4beee4b86af20a9e4457023d3925cab8f9908
15821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//===--- Type.h - C Language Family Type Representation ---------*- C++ -*-===// 25821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// 35821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// The LLVM Compiler Infrastructure 45821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// 55821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// This file is distributed under the University of Illinois Open Source 65821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// License. See LICENSE.TXT for details. 75821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// 85821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//===----------------------------------------------------------------------===// 95821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// 105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// This file defines the Type interface and subclasses. 115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// 125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//===----------------------------------------------------------------------===// 135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#ifndef LLVM_CLANG_AST_TYPE_H 155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#define LLVM_CLANG_AST_TYPE_H 165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#include "clang/Basic/Diagnostic.h" 185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#include "clang/Basic/IdentifierTable.h" 195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#include "clang/AST/NestedNameSpecifier.h" 205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#include "clang/AST/TemplateName.h" 215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#include "llvm/Support/Casting.h" 225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#include "llvm/ADT/APSInt.h" 235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#include "llvm/ADT/FoldingSet.h" 245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#include "llvm/ADT/PointerIntPair.h" 255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#include "llvm/ADT/PointerUnion.h" 265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)using llvm::isa; 285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)using llvm::cast; 295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)using llvm::cast_or_null; 304e180b6a0b4720a9b8e9e959a882386f690f08ffTorne (Richard Coles)using llvm::dyn_cast; 314e180b6a0b4720a9b8e9e959a882386f690f08ffTorne (Richard Coles)using llvm::dyn_cast_or_null; 324e180b6a0b4720a9b8e9e959a882386f690f08ffTorne (Richard Coles)namespace clang { class Type; } 334e180b6a0b4720a9b8e9e959a882386f690f08ffTorne (Richard Coles) 344e180b6a0b4720a9b8e9e959a882386f690f08ffTorne (Richard Coles)namespace llvm { 354e180b6a0b4720a9b8e9e959a882386f690f08ffTorne (Richard Coles) template <typename T> 364e180b6a0b4720a9b8e9e959a882386f690f08ffTorne (Richard Coles) class PointerLikeTypeTraits; 374e180b6a0b4720a9b8e9e959a882386f690f08ffTorne (Richard Coles) template<> 385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class PointerLikeTypeTraits< ::clang::Type*> { 395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) public: 405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static inline void *getAsVoidPointer(::clang::Type *P) { return P; } 415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static inline ::clang::Type *getFromVoidPointer(void *P) { 425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return static_cast< ::clang::Type*>(P); 435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) enum { NumLowBitsAvailable = 3 }; 455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) }; 465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} 475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)namespace clang { 495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class ASTContext; 505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class TypedefDecl; 515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class TemplateDecl; 525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class TemplateTypeParmDecl; 535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class NonTypeTemplateParmDecl; 545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class TemplateTemplateParmDecl; 555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class TagDecl; 565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class RecordDecl; 575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class CXXRecordDecl; 585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class EnumDecl; 595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class FieldDecl; 605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class ObjCInterfaceDecl; 615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class ObjCProtocolDecl; 625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class ObjCMethodDecl; 635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class Expr; 645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class Stmt; 655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class SourceLocation; 665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class StmtIteratorBase; 675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class TemplateArgument; 685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) class QualifiedNameType; 695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) struct PrintingPolicy; 705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // Provide forward declarations for all of the *Type classes 725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#define TYPE(Class, Base) class Class##Type; 735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#include "clang/AST/TypeNodes.def" 745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// QualType - For efficiency, we don't store CVR-qualified types as nodes on 765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// their own: instead each reference to a type stores the qualifiers. This 775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// greatly reduces the number of nodes we need to allocate for types (for 785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// example we only need one for 'int', 'const int', 'volatile int', 795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 'const volatile int', etc). 805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// As an added efficiency bonus, instead of making this a pair, we just store 825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// the three bits we care about in the low bits of the pointer. To handle the 835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// packing/unpacking, we make QualType be a simple wrapper class that acts like 845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// a smart pointer. 855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class QualType { 865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) llvm::PointerIntPair<Type*, 3> Value; 875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) enum TQ { // NOTE: These flags must be kept in sync with DeclSpec::TQ. 895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Const = 0x1, 905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Restrict = 0x2, 915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Volatile = 0x4, 925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) CVRFlags = Const|Restrict|Volatile 935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) }; 945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) enum GCAttrTypes { 965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) GCNone = 0, 975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Weak, 985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Strong 995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) }; 1005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // 24 bits should be enough for anyone. 1025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static const unsigned MaxAddressSpace = 0xffffffu; 1035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType() {} 1055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType(const Type *Ptr, unsigned Quals) 1075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : Value(const_cast<Type*>(Ptr), Quals) {} 1085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned getCVRQualifiers() const { return Value.getInt(); } 1105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void setCVRQualifiers(unsigned Quals) { Value.setInt(Quals); } 1115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Type *getTypePtr() const { return Value.getPointer(); } 1125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void *getAsOpaquePtr() const { return Value.getOpaqueValue(); } 1145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static QualType getFromOpaquePtr(void *Ptr) { 1155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType T; 1165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) T.Value.setFromOpaqueValue(Ptr); 1175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T; 1185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 1195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Type &operator*() const { 1215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return *getTypePtr(); 1225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 1235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Type *operator->() const { 1255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return getTypePtr(); 1265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 1275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// isNull - Return true if this QualType doesn't point to a type yet. 1295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isNull() const { 1305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return getTypePtr() == 0; 1315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 1325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isConstQualified() const { 1345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return (getCVRQualifiers() & Const) ? true : false; 1355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 1365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isVolatileQualified() const { 1375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return (getCVRQualifiers() & Volatile) ? true : false; 1385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 1395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isRestrictQualified() const { 1405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return (getCVRQualifiers() & Restrict) ? true : false; 1415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 1425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isConstant(ASTContext& Ctx) const; 1445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// addConst/addVolatile/addRestrict - add the specified type qual to this 1465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// QualType. 1475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void addConst() { Value.setInt(Value.getInt() | Const); } 1485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void addVolatile() { Value.setInt(Value.getInt() | Volatile); } 1495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void addRestrict() { Value.setInt(Value.getInt() | Restrict); } 1505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void removeConst() { Value.setInt(Value.getInt() & ~Const); } 1525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void removeVolatile() { Value.setInt(Value.getInt() & ~Volatile); } 1535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void removeRestrict() { Value.setInt(Value.getInt() & ~Restrict); } 1545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getQualifiedType(unsigned TQs) const { 1565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return QualType(getTypePtr(), TQs); 1575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 1585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getWithAdditionalQualifiers(unsigned TQs) const { 1595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return QualType(getTypePtr(), TQs|getCVRQualifiers()); 1605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 1615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType withConst() const { return getWithAdditionalQualifiers(Const); } 1635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType withVolatile() const { return getWithAdditionalQualifiers(Volatile);} 1645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType withRestrict() const { return getWithAdditionalQualifiers(Restrict);} 1655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getUnqualifiedType() const; 1675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isMoreQualifiedThan(QualType Other) const; 1685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isAtLeastAsQualifiedAs(QualType Other) const; 1695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getNonReferenceType() const; 1705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// getDesugaredType - Return the specified type with any "sugar" removed from 1725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// the type. This takes off typedefs, typeof's etc. If the outer level of 1735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// the type is already concrete, it returns it unmodified. This is similar 1745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// to getting the canonical type, but it doesn't remove *all* typedefs. For 1755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// example, it returns "T*" as "T*", (not as "int*"), because the pointer is 1765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// concrete. 1775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getDesugaredType(bool ForDisplay = false) const; 1785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// operator==/!= - Indicate whether the specified types and qualifiers are 1805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// identical. 1815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool operator==(const QualType &RHS) const { 1825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return Value == RHS.Value; 1835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 1845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool operator!=(const QualType &RHS) const { 1855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return Value != RHS.Value; 1865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 1875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) std::string getAsString() const; 1885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) std::string getAsString(const PrintingPolicy &Policy) const { 1905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) std::string S; 1915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) getAsStringInternal(S, Policy); 1925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return S; 1935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 1945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void getAsStringInternal(std::string &Str, 1955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 1965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void dump(const char *s) const; 1985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void dump() const; 1995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 2005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) const { 2015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddPointer(getAsOpaquePtr()); 2025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 2035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 2045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 2055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 2065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// getAddressSpace - Return the address space of this type. 2075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) inline unsigned getAddressSpace() const; 2085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 2095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// GCAttrTypesAttr - Returns gc attribute of this type. 2105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) inline QualType::GCAttrTypes getObjCGCAttr() const; 2115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 2125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// isObjCGCWeak true when Type is objc's weak. 2135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isObjCGCWeak() const { 2145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return getObjCGCAttr() == Weak; 2155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 2165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 2175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// isObjCGCStrong true when Type is objc's strong. 2185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isObjCGCStrong() const { 2195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return getObjCGCAttr() == Strong; 2205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 2215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 2225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// getNoReturnAttr - Returns true if the type has the noreturn attribute, 2235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// false otherwise. 2245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool getNoReturnAttr() const; 2255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 2265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 2275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} // end clang. 2285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 2295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)namespace llvm { 2305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// Implement simplify_type for QualType, so that we can dyn_cast from QualType 2315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// to a specific Type class. 2325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)template<> struct simplify_type<const ::clang::QualType> { 2335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) typedef ::clang::Type* SimpleType; 2345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static SimpleType getSimplifiedValue(const ::clang::QualType &Val) { 2355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return Val.getTypePtr(); 2365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 2375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 2385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)template<> struct simplify_type< ::clang::QualType> 2395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : public simplify_type<const ::clang::QualType> {}; 2405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 2415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// Teach SmallPtrSet that QualType is "basically a pointer". 2425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)template<> 2435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class PointerLikeTypeTraits<clang::QualType> { 2445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 2455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static inline void *getAsVoidPointer(clang::QualType P) { 2465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return P.getAsOpaquePtr(); 2475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 2485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static inline clang::QualType getFromVoidPointer(void *P) { 2495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return clang::QualType::getFromOpaquePtr(P); 2505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 2515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // CVR qualifiers go in low bits. 2525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) enum { NumLowBitsAvailable = 0 }; 2535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 2545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)} // end namespace llvm 2555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 2565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)namespace clang { 2575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 2585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// Type - This is the base class of the type hierarchy. A central concept 2595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// with types is that each type always has a canonical type. A canonical type 2605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// is the type with any typedef names stripped out of it or the types it 2615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// references. For example, consider: 2625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 2635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// typedef int foo; 2645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// typedef foo* bar; 2655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 'int *' 'foo *' 'bar' 2665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 2675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// There will be a Type object created for 'int'. Since int is canonical, its 2685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// canonicaltype pointer points to itself. There is also a Type for 'foo' (a 2695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// TypedefType). Its CanonicalType pointer points to the 'int' Type. Next 2705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// there is a PointerType that represents 'int*', which, like 'int', is 2715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// canonical. Finally, there is a PointerType type for 'foo*' whose canonical 2725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// type is 'int*', and there is a TypedefType for 'bar', whose canonical type 2735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// is also 'int*'. 2745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 2755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// Non-canonical types are useful for emitting diagnostics, without losing 2765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// information about typedefs being used. Canonical types are useful for type 2775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// comparisons (they allow by-pointer equality tests) and useful for reasoning 2785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// about whether something has a particular form (e.g. is a function type), 2795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// because they implicitly, recursively, strip all typedefs out of a type. 2805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 2815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// Types, once created, are immutable. 2825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 2835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class Type { 2845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 2855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) enum TypeClass { 2865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#define TYPE(Class, Base) Class, 2875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#define ABSTRACT_TYPE(Class, Base) 2885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)#include "clang/AST/TypeNodes.def" 2895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) TagFirst = Record, TagLast = Enum 2905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) }; 2915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 2925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)private: 2935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType CanonicalType; 2945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 2955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// Dependent - Whether this type is a dependent type (C++ [temp.dep.type]). 2965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool Dependent : 1; 2975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 2985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// TypeClass bitfield - Enum that specifies what subclass this belongs to. 2995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// Note that this should stay at the end of the ivars for Type so that 3005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// subclasses can pack their bitfields into the same word. 3015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned TC : 6; 3025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 3035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Type(const Type&); // DO NOT IMPLEMENT. 3045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void operator=(const Type&); // DO NOT IMPLEMENT. 3055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)protected: 3065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // silence VC++ warning C4355: 'this' : used in base member initializer list 3075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Type *this_() { return this; } 3085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Type(TypeClass tc, QualType Canonical, bool dependent) 3095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : CanonicalType(Canonical.isNull() ? QualType(this_(), 0) : Canonical), 3105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Dependent(dependent), TC(tc) {} 3115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual ~Type() {} 3125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void Destroy(ASTContext& C); 3135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; 3145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 3155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 3165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) TypeClass getTypeClass() const { return static_cast<TypeClass>(TC); } 3175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 3185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isCanonical() const { return CanonicalType.getTypePtr() == this; } 3195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 3205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// Types are partitioned into 3 broad categories (C99 6.2.5p1): 3215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// object types, function types, and incomplete types. 3225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 3235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// \brief Determines whether the type describes an object in memory. 3245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// 3255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// Note that this definition of object type corresponds to the C++ 3265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// definition of object type, which includes incomplete types, as 3275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// opposed to the C definition (which does not include incomplete 3285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// types). 3295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isObjectType() const; 3305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 3315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// isIncompleteType - Return true if this is an incomplete type. 3325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// A type that can describe objects, but which lacks information needed to 3335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// determine its size (e.g. void, or a fwd declared struct). Clients of this 3345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// routine will need to determine if the size is actually required. 3355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isIncompleteType() const; 3365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 3375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// isIncompleteOrObjectType - Return true if this is an incomplete or object 3385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// type, in other words, not a function type. 3395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isIncompleteOrObjectType() const { 3405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return !isFunctionType(); 3415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 3425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 3435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// isPODType - Return true if this is a plain-old-data type (C++ 3.9p10). 3445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isPODType() const; 3455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 3465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// isVariablyModifiedType (C99 6.7.5.2p2) - Return true for variable array 3475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// types that have a non-constant expression. This does not include "[]". 3485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isVariablyModifiedType() const; 3495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 3505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// Helper methods to distinguish type categories. All type predicates 3515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// operate on the canonical type, ignoring typedefs and qualifiers. 3525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 3535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// isSpecificBuiltinType - Test for a particular builtin type. 3545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isSpecificBuiltinType(unsigned K) const; 3555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 3565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// isIntegerType() does *not* include complex integers (a GCC extension). 3575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// isComplexIntegerType() can be used to test for complex integers. 3585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isIntegerType() const; // C99 6.2.5p17 (int, char, bool, enum) 3595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isEnumeralType() const; 3605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isBooleanType() const; 3615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isCharType() const; 3625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isWideCharType() const; 3635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isIntegralType() const; 3645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 3655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// Floating point categories. 3665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isRealFloatingType() const; // C99 6.2.5p10 (float, double, long double) 3675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// isComplexType() does *not* include complex integers (a GCC extension). 3685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// isComplexIntegerType() can be used to test for complex integers. 3695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isComplexType() const; // C99 6.2.5p11 (complex) 3705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isAnyComplexType() const; // C99 6.2.5p11 (complex) + Complex Int. 3715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isFloatingType() const; // C99 6.2.5p11 (real floating + complex) 3725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isRealType() const; // C99 6.2.5p17 (real floating + integer) 3735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isArithmeticType() const; // C99 6.2.5p18 (integer + floating) 3745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isVoidType() const; // C99 6.2.5p19 3755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isDerivedType() const; // C99 6.2.5p20 3765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isScalarType() const; // C99 6.2.5p21 (arithmetic + pointers) 3775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isAggregateType() const; 3785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 3795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // Type Predicates: Check to see if this type is structurally the specified 3805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // type, ignoring typedefs and qualifiers. 3815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isFunctionType() const; 3825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isFunctionNoProtoType() const { return getAsFunctionNoProtoType() != 0; } 3835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isFunctionProtoType() const { return getAsFunctionProtoType() != 0; } 3845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isPointerType() const; 3855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isAnyPointerType() const; // Any C pointer or ObjC object pointer 3865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isBlockPointerType() const; 3875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isVoidPointerType() const; 3885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isReferenceType() const; 3895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isLValueReferenceType() const; 3905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isRValueReferenceType() const; 3915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isFunctionPointerType() const; 3925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isMemberPointerType() const; 3935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isMemberFunctionPointerType() const; 3945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isArrayType() const; 3955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isConstantArrayType() const; 3965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isIncompleteArrayType() const; 3975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isVariableArrayType() const; 3985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isDependentSizedArrayType() const; 3995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isRecordType() const; 4005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isClassType() const; 4015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isStructureType() const; 4025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isUnionType() const; 4035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isComplexIntegerType() const; // GCC _Complex integer type. 4045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isVectorType() const; // GCC vector type. 4055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isExtVectorType() const; // Extended vector type. 4065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isObjCObjectPointerType() const; // Pointer to *any* ObjC object. 4075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // FIXME: change this to 'raw' interface type, so we can used 'interface' type 4085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // for the common case. 4095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isObjCInterfaceType() const; // NSString or NSString<foo> 4105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isObjCQualifiedInterfaceType() const; // NSString<foo> 4115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isObjCQualifiedIdType() const; // id<foo> 4125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isObjCQualifiedClassType() const; // Class<foo> 4135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isObjCIdType() const; // id 4145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isObjCClassType() const; // Class 4155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isObjCBuiltinType() const; // 'id' or 'Class' 4165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isTemplateTypeParmType() const; // C++ template type parameter 4175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isNullPtrType() const; // C++0x nullptr_t 4185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 4195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// isDependentType - Whether this type is a dependent type, meaning 4205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// that its definition somehow depends on a template parameter 4215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// (C++ [temp.dep.type]). 4225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isDependentType() const { return Dependent; } 4235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isOverloadableType() const; 4245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 4255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// hasPointerRepresentation - Whether this type is represented 4265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// natively as a pointer; this includes pointers, references, block 4275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// pointers, and Objective-C interface, qualified id, and qualified 4285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// interface types, as well as nullptr_t. 4295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool hasPointerRepresentation() const; 4305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 4315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// hasObjCPointerRepresentation - Whether this type can represent 4325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// an objective pointer type for the purpose of GC'ability 4335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool hasObjCPointerRepresentation() const; 4345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 4355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // Type Checking Functions: Check to see if this type is structurally the 4365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // specified type, ignoring typedefs and qualifiers, and return a pointer to 4375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // the best type we can. 4385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const BuiltinType *getAsBuiltinType() const; 4395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const FunctionType *getAsFunctionType() const; 4405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const FunctionNoProtoType *getAsFunctionNoProtoType() const; 4415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const FunctionProtoType *getAsFunctionProtoType() const; 4425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const RecordType *getAsStructureType() const; 4435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// NOTE: getAs*ArrayType are methods on ASTContext. 4445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const TypedefType *getAsTypedefType() const; 4455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const RecordType *getAsUnionType() const; 4465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const EnumType *getAsEnumType() const; 4475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const VectorType *getAsVectorType() const; // GCC vector type. 4485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const ComplexType *getAsComplexType() const; 4495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const ComplexType *getAsComplexIntegerType() const; // GCC complex int type. 4505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const ExtVectorType *getAsExtVectorType() const; // Extended vector type. 4515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const ObjCObjectPointerType *getAsObjCObjectPointerType() const; 4525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // The following is a convenience method that returns an ObjCObjectPointerType 4535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // for object declared using an interface. 4545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const ObjCObjectPointerType *getAsObjCInterfacePointerType() const; 4555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const ObjCObjectPointerType *getAsObjCQualifiedIdType() const; 4565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const ObjCInterfaceType *getAsObjCInterfaceType() const; 4575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const ObjCInterfaceType *getAsObjCQualifiedInterfaceType() const; 4585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const TemplateTypeParmType *getAsTemplateTypeParmType() const; 4595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const CXXRecordDecl *getCXXRecordDeclForPointerType() const; 4605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 4615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // Member-template getAs<specific type>'. This scheme will eventually 4625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // replace the specific getAsXXXX methods above. 4635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) template <typename T> const T *getAs() const; 4645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 4655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const TemplateSpecializationType * 4665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) getAsTemplateSpecializationType() const; 4675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 4685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// getAsPointerToObjCInterfaceType - If this is a pointer to an ObjC 4695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// interface, return the interface type, otherwise return null. 4705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const ObjCInterfaceType *getAsPointerToObjCInterfaceType() const; 4715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 4725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// getArrayElementTypeNoTypeQual - If this is an array type, return the 4735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// element type of the array, potentially with type qualifiers missing. 4745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// This method should never be used when type qualifiers are meaningful. 4755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const Type *getArrayElementTypeNoTypeQual() const; 4765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 4775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// getPointeeType - If this is a pointer, ObjC object pointer, or block 4785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// pointer, this returns the respective pointee. 4795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getPointeeType() const; 4805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 4815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// getDesugaredType - Return the specified type with any "sugar" removed from 4825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// the type. This takes off typedefs, typeof's etc. If the outer level of 4835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// the type is already concrete, it returns it unmodified. This is similar 4845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// to getting the canonical type, but it doesn't remove *all* typedefs. For 4855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// example, it returns "T*" as "T*", (not as "int*"), because the pointer is 4865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// concrete. 4875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getDesugaredType(bool ForDisplay = false) const; 4885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 4895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// More type predicates useful for type checking/promotion 4905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isPromotableIntegerType() const; // C99 6.3.1.1p2 4915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 4925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// isSignedIntegerType - Return true if this is an integer type that is 4935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// signed, according to C99 6.2.5p4 [char, signed char, short, int, long..], 4945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// an enum decl which has a signed representation, or a vector of signed 4955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// integer element type. 4965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isSignedIntegerType() const; 4975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 4985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// isUnsignedIntegerType - Return true if this is an integer type that is 4995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// unsigned, according to C99 6.2.5p6 [which returns true for _Bool], an enum 5005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// decl which has an unsigned representation, or a vector of unsigned integer 5015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// element type. 5025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isUnsignedIntegerType() const; 5035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 5045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// isConstantSizeType - Return true if this is not a variable sized type, 5055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// according to the rules of C99 6.7.5p3. It is not legal to call this on 5065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// incomplete types. 5075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isConstantSizeType() const; 5085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 5095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// isSpecifierType - Returns true if this type can be represented by some 5105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// set of type specifiers. 5115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isSpecifierType() const; 5125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 5135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getCanonicalTypeInternal() const { return CanonicalType; } 5145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void dump() const; 5155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 5165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const = 0; 5175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *) { return true; } 5185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 5195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 5205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// ExtQualType - TR18037 (C embedded extensions) 6.2.5p26 5215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// This supports all kinds of type attributes; including, 5225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// address space qualified types, objective-c's __weak and 5235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// __strong attributes. 5245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 5255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class ExtQualType : public Type, public llvm::FoldingSetNode { 5265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// BaseType - This is the underlying type that this qualifies. All CVR 5275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// qualifiers are stored on the QualType that references this type, so we 5285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// can't have any here. 5295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Type *BaseType; 5305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 5315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// Address Space ID - The address space ID this type is qualified with. 5325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned AddressSpace; 5335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// GC __weak/__strong attributes 5345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType::GCAttrTypes GCAttrType; 5355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 5365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ExtQualType(Type *Base, QualType CanonicalPtr, unsigned AddrSpace, 5375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType::GCAttrTypes gcAttr) : 5385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Type(ExtQual, CanonicalPtr, Base->isDependentType()), BaseType(Base), 5395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) AddressSpace(AddrSpace), GCAttrType(gcAttr) { 5405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) assert(!isa<ExtQualType>(BaseType) && 5415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) "Cannot have ExtQualType of ExtQualType"); 5425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 5435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 5445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 5455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Type *getBaseType() const { return BaseType; } 5465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType::GCAttrTypes getObjCGCAttr() const { return GCAttrType; } 5475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned getAddressSpace() const { return AddressSpace; } 5485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 5495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 5505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 5515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 5525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) { 5535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Profile(ID, getBaseType(), AddressSpace, GCAttrType); 5545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 5555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static void Profile(llvm::FoldingSetNodeID &ID, Type *Base, 5565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned AddrSpace, QualType::GCAttrTypes gcAttr) { 5575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddPointer(Base); 5585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddInteger(AddrSpace); 5595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddInteger(gcAttr); 5605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 5615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 5625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { return T->getTypeClass() == ExtQual; } 5635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const ExtQualType *) { return true; } 5645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 5655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 5665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 5675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// QualifierSet - This class is used to collect qualifiers. 5685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// Clang supports five independent qualifiers: 5695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// * C99: const, volatile, and restrict 5705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// * Embedded C (TR18037): address spaces 5715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// * Objective C: the GC attributes (none, weak, or strong) 5725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class QualifierSet { 5735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 5745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualifierSet() : Mask(0) {} 5755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 5765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void removeConst() { removeCVR(QualType::Const); } 5775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void removeVolatile() { removeCVR(QualType::Volatile); } 5785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void removeRestrict() { removeCVR(QualType::Restrict); } 5795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void removeCVR(unsigned mask) { Mask &= ~mask; } 5805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void removeAddressSpace() { setAddressSpace(0); } 5815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void removeObjCGCAttrType() { setGCAttrType(QualType::GCNone); } 5825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 5835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void addConst() { addCVR(QualType::Const); } 5845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void addVolatile() { addCVR(QualType::Volatile); } 5855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void addRestrict() { addCVR(QualType::Restrict); } 5865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void addCVR(unsigned mask) { Mask |= mask; } 5875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void addAddressSpace(unsigned space) { 5885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) assert(space); 5895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) setAddressSpace(space); 5905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 5915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void addObjCGCAttrType(QualType::GCAttrTypes type) { 5925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) assert(type); 5935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) setGCAttrType(type); 5945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 5955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 5965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool hasConst() const { return Mask & QualType::Const; } 5975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool hasVolatile() const { return Mask & QualType::Volatile; } 5985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool hasRestrict() const { return Mask & QualType::Restrict; } 5995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned getCVRMask() const { return Mask & CVRMask; } 6005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool hasObjCGCAttrType() const { return Mask & GCAttrMask; } 6025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType::GCAttrTypes getObjCGCAttrType() const { 6035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return QualType::GCAttrTypes((Mask & GCAttrMask) >> GCAttrShift); 6045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 6055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool hasAddressSpace() const { return Mask & AddressSpaceMask; } 6075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned getAddressSpace() const { return Mask >> AddressSpaceShift; } 6085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// empty() - Return true if there are no qualifiers collected 6105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// in this set. 6115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool empty() { 6125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return (Mask == 0); 6135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 6145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// Collect any qualifiers on the given type and return an 6165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// unqualified type. 6175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const Type *strip(QualType QT) { 6185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Mask |= QT.getCVRQualifiers(); 6195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return strip(QT.getTypePtr()); 6205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 6215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// Collect any qualifiers on the given type and return an 6235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// unqualified type. 6245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const Type *strip(const Type* T); 6255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// Apply the collected qualifiers to the given type. 6275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType apply(QualType QT, ASTContext& C); 6285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// Apply the collected qualifiers to the given type. 6305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType apply(const Type* T, ASTContext& C) { 6315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return apply(QualType(T, 0), C); 6325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 6335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool operator==(QualifierSet& Other) { return Mask == Other.Mask; } 6355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)private: 6375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void setAddressSpace(unsigned space) { 6385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) assert(space <= MaxAddressSpace); 6395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Mask = (Mask & ~AddressSpaceMask) 6405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) | (((uint32_t) space) << AddressSpaceShift); 6415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 6425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void setGCAttrType(QualType::GCAttrTypes type) { 6445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Mask = (Mask & ~GCAttrMask) | (type << GCAttrShift); 6455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 6465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // bits: |0 1 2|3 .. 4|5 .. 31| 6485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // |C R V|GCAttr|AddrSpace| 6495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) uint32_t Mask; 6505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static const uint32_t CVRMask = 0x07; 6525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static const uint32_t GCAttrMask = 0x18; 6535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static const uint32_t GCAttrShift = 3; 6545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static const uint32_t AddressSpaceMask = ~(CVRMask | GCAttrMask); 6555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static const uint32_t AddressSpaceShift = 5; 6565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static const unsigned MaxAddressSpace = QualType::MaxAddressSpace; 6575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 6585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// BuiltinType - This class is used for builtin types like 'int'. Builtin 6615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// types are always canonical and have a literal name field. 6625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class BuiltinType : public Type { 6635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 6645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) enum Kind { 6655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Void, 6665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Bool, // This is bool and/or _Bool. 6685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Char_U, // This is 'char' for targets where char is unsigned. 6695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) UChar, // This is explicitly qualified unsigned char. 6705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Char16, // This is 'char16_t' for C++. 6715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Char32, // This is 'char32_t' for C++. 6725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) UShort, 6735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) UInt, 6745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ULong, 6755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ULongLong, 6765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) UInt128, // __uint128_t 6775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Char_S, // This is 'char' for targets where char is signed. 6795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SChar, // This is explicitly qualified signed char. 6805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) WChar, // This is 'wchar_t' for C++. 6815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Short, 6825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Int, 6835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Long, 6845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) LongLong, 6855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Int128, // __int128_t 6865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Float, Double, LongDouble, 6885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) NullPtr, // This is the type of C++0x 'nullptr'. 6905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Overload, // This represents the type of an overloaded function declaration. 6925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Dependent, // This represents the type of a type-dependent expression. 6935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 6945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) UndeducedAuto, // In C++0x, this represents the type of an auto variable 6955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // that has not been deduced yet. 6965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ObjCId, // This represents the ObjC 'id' type. 6975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ObjCClass // This represents the ObjC 'Class' type. 6985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) }; 6995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)private: 7005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Kind TypeKind; 7015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 7025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) BuiltinType(Kind K) 7035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : Type(Builtin, QualType(), /*Dependent=*/(K == Dependent)), 7045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) TypeKind(K) {} 7055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 7065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Kind getKind() const { return TypeKind; } 7075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const char *getName(const LangOptions &LO) const; 7085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 7095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 7105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 7115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 7125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { return T->getTypeClass() == Builtin; } 7135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const BuiltinType *) { return true; } 7145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 7155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 7165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// FixedWidthIntType - Used for arbitrary width types that we either don't 7175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// want to or can't map to named integer types. These always have a lower 7185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// integer rank than builtin types of the same width. 7195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class FixedWidthIntType : public Type { 7205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)private: 7215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned Width; 7225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool Signed; 7235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 7245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) FixedWidthIntType(unsigned W, bool S) : Type(FixedWidthInt, QualType(), false), 7255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Width(W), Signed(S) {} 7265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 7275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned getWidth() const { return Width; } 7285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isSigned() const { return Signed; } 7295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const char *getName() const; 7305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 7315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 7325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 7335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 7345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { return T->getTypeClass() == FixedWidthInt; } 7355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const FixedWidthIntType *) { return true; } 7365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 7375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 7385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// ComplexType - C99 6.2.5p11 - Complex values. This supports the C99 complex 7395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// types (_Complex float etc) as well as the GCC integer complex extensions. 7405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 7415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class ComplexType : public Type, public llvm::FoldingSetNode { 7425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType ElementType; 7435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ComplexType(QualType Element, QualType CanonicalPtr) : 7445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Type(Complex, CanonicalPtr, Element->isDependentType()), 7455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ElementType(Element) { 7465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 7475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 7485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 7495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getElementType() const { return ElementType; } 7505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 7515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 7525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 7535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 7545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) { 7555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Profile(ID, getElementType()); 7565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 7575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static void Profile(llvm::FoldingSetNodeID &ID, QualType Element) { 7585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddPointer(Element.getAsOpaquePtr()); 7595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 7605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 7615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { return T->getTypeClass() == Complex; } 7625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const ComplexType *) { return true; } 7635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 7645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 7655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// PointerType - C99 6.7.5.1 - Pointer Declarators. 7665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 7675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class PointerType : public Type, public llvm::FoldingSetNode { 7685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType PointeeType; 7695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 7705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) PointerType(QualType Pointee, QualType CanonicalPtr) : 7715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Type(Pointer, CanonicalPtr, Pointee->isDependentType()), PointeeType(Pointee) { 7725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 7735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 7745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 7755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 7765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 7775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 7785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 7795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getPointeeType() const { return PointeeType; } 7805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 7815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) { 7825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Profile(ID, getPointeeType()); 7835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 7845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static void Profile(llvm::FoldingSetNodeID &ID, QualType Pointee) { 7855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddPointer(Pointee.getAsOpaquePtr()); 7865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 7875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 7885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { return T->getTypeClass() == Pointer; } 7895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const PointerType *) { return true; } 7905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 7915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 7925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// BlockPointerType - pointer to a block type. 7935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// This type is to represent types syntactically represented as 7945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// "void (^)(int)", etc. Pointee is required to always be a function type. 7955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 7965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class BlockPointerType : public Type, public llvm::FoldingSetNode { 7975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType PointeeType; // Block is some kind of pointer type 7985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) BlockPointerType(QualType Pointee, QualType CanonicalCls) : 7995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Type(BlockPointer, CanonicalCls, Pointee->isDependentType()), 8005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) PointeeType(Pointee) { 8015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 8025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 8035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 8045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 8055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // Get the pointee type. Pointee is required to always be a function type. 8065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getPointeeType() const { return PointeeType; } 8075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 8085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 8095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 8105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 8115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) { 8125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Profile(ID, getPointeeType()); 8135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 8145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static void Profile(llvm::FoldingSetNodeID &ID, QualType Pointee) { 8155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddPointer(Pointee.getAsOpaquePtr()); 8165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 8175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 8185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 8195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == BlockPointer; 8205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 8215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const BlockPointerType *) { return true; } 8225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 8235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 8245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// ReferenceType - Base for LValueReferenceType and RValueReferenceType 8255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 8265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class ReferenceType : public Type, public llvm::FoldingSetNode { 8275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType PointeeType; 8285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 8295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)protected: 8305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ReferenceType(TypeClass tc, QualType Referencee, QualType CanonicalRef) : 8315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Type(tc, CanonicalRef, Referencee->isDependentType()), 8325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) PointeeType(Referencee) { 8335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 8345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 8355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getPointeeType() const { return PointeeType; } 8365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 8375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) { 8385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Profile(ID, getPointeeType()); 8395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 8405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static void Profile(llvm::FoldingSetNodeID &ID, QualType Referencee) { 8415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddPointer(Referencee.getAsOpaquePtr()); 8425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 8435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 8445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 8455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == LValueReference || 8465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) T->getTypeClass() == RValueReference; 8475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 8485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const ReferenceType *) { return true; } 8495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 8505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 8515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// LValueReferenceType - C++ [dcl.ref] - Lvalue reference 8525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 8535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class LValueReferenceType : public ReferenceType { 8545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) LValueReferenceType(QualType Referencee, QualType CanonicalRef) : 8555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ReferenceType(LValueReference, Referencee, CanonicalRef) { 8565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 8575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these 8585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 8595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 8605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 8615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 8625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 8635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == LValueReference; 8645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 8655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const LValueReferenceType *) { return true; } 8665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 8675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 8685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// RValueReferenceType - C++0x [dcl.ref] - Rvalue reference 8695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 8705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class RValueReferenceType : public ReferenceType { 8715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) RValueReferenceType(QualType Referencee, QualType CanonicalRef) : 8725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ReferenceType(RValueReference, Referencee, CanonicalRef) { 8735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 8745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these 8755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 8765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 8775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 8785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 8795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 8805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == RValueReference; 8815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 8825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const RValueReferenceType *) { return true; } 8835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 8845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 8855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// MemberPointerType - C++ 8.3.3 - Pointers to members 8865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 8875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class MemberPointerType : public Type, public llvm::FoldingSetNode { 8885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType PointeeType; 8895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// The class of which the pointee is a member. Must ultimately be a 8905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// RecordType, but could be a typedef or a template parameter too. 8915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const Type *Class; 8925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 8935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) MemberPointerType(QualType Pointee, const Type *Cls, QualType CanonicalPtr) : 8945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Type(MemberPointer, CanonicalPtr, 8955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Cls->isDependentType() || Pointee->isDependentType()), 8965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) PointeeType(Pointee), Class(Cls) { 8975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 8985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 8995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 9005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 9015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getPointeeType() const { return PointeeType; } 9025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 9035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const Type *getClass() const { return Class; } 9045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 9055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 9065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 9075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 9085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) { 9095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Profile(ID, getPointeeType(), getClass()); 9105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 9115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static void Profile(llvm::FoldingSetNodeID &ID, QualType Pointee, 9125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const Type *Class) { 9135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddPointer(Pointee.getAsOpaquePtr()); 9145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddPointer(Class); 9155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 9165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 9175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 9185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == MemberPointer; 9195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 9205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const MemberPointerType *) { return true; } 9215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 9225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 9235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// ArrayType - C99 6.7.5.2 - Array Declarators. 9245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 9255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class ArrayType : public Type, public llvm::FoldingSetNode { 9265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 9275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// ArraySizeModifier - Capture whether this is a normal array (e.g. int X[4]) 9285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// an array with a static size (e.g. int X[static 4]), or an array 9295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// with a star size (e.g. int X[*]). 9305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// 'static' is only allowed on function parameters. 9315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) enum ArraySizeModifier { 9325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Normal, Static, Star 9335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) }; 9345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)private: 9355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// ElementType - The element type of the array. 9365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType ElementType; 9375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 9385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // NOTE: VC++ treats enums as signed, avoid using the ArraySizeModifier enum 9395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// NOTE: These fields are packed into the bitfields space in the Type class. 9405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned SizeModifier : 2; 9415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 9425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// IndexTypeQuals - Capture qualifiers in declarations like: 9435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// 'int X[static restrict 4]'. For function parameters only. 9445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned IndexTypeQuals : 3; 9455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 9465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)protected: 9475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // C++ [temp.dep.type]p1: 9485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // A type is dependent if it is... 9495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // - an array type constructed from any dependent type or whose 9505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // size is specified by a constant expression that is 9515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // value-dependent, 9525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ArrayType(TypeClass tc, QualType et, QualType can, 9535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ArraySizeModifier sm, unsigned tq) 9545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : Type(tc, can, et->isDependentType() || tc == DependentSizedArray), 9555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ElementType(et), SizeModifier(sm), IndexTypeQuals(tq) {} 9565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 9575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 9585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 9595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getElementType() const { return ElementType; } 9605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ArraySizeModifier getSizeModifier() const { 9615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return ArraySizeModifier(SizeModifier); 9625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 9635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned getIndexTypeQualifier() const { return IndexTypeQuals; } 9645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 9655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 9665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == ConstantArray || 9675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) T->getTypeClass() == ConstantArrayWithExpr || 9685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) T->getTypeClass() == ConstantArrayWithoutExpr || 9695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) T->getTypeClass() == VariableArray || 9705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) T->getTypeClass() == IncompleteArray || 9715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) T->getTypeClass() == DependentSizedArray; 9725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 9735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const ArrayType *) { return true; } 9745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 9755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 9765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// ConstantArrayType - This class represents the canonical version of 9775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// C arrays with a specified constant size. For example, the canonical 9785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// type for 'int A[4 + 4*100]' is a ConstantArrayType where the element 9795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// type is 'int' and the size is 404. 9805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class ConstantArrayType : public ArrayType { 9815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) llvm::APInt Size; // Allows us to unique the type. 9825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 9835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ConstantArrayType(QualType et, QualType can, const llvm::APInt &size, 9845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ArraySizeModifier sm, unsigned tq) 9855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : ArrayType(ConstantArray, et, can, sm, tq), 9865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Size(size) {} 9875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)protected: 9885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ConstantArrayType(TypeClass tc, QualType et, QualType can, 9895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const llvm::APInt &size, ArraySizeModifier sm, unsigned tq) 9905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : ArrayType(tc, et, can, sm, tq), Size(size) {} 9915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 9925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 9935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const llvm::APInt &getSize() const { return Size; } 9945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 9955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 9965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 9975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) { 9985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Profile(ID, getElementType(), getSize(), 9995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) getSizeModifier(), getIndexTypeQualifier()); 10005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 10015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static void Profile(llvm::FoldingSetNodeID &ID, QualType ET, 10025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const llvm::APInt &ArraySize, ArraySizeModifier SizeMod, 10035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned TypeQuals) { 10045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddPointer(ET.getAsOpaquePtr()); 10055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddInteger(ArraySize.getZExtValue()); 10065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddInteger(SizeMod); 10075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddInteger(TypeQuals); 10085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 10095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 10105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == ConstantArray || 10115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) T->getTypeClass() == ConstantArrayWithExpr || 10125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) T->getTypeClass() == ConstantArrayWithoutExpr; 10135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 10145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const ConstantArrayType *) { return true; } 10155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 10165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 10175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// ConstantArrayWithExprType - This class represents C arrays with a 10185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// constant size specified by means of an integer constant expression. 10195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// For example 'int A[sizeof(int)]' has ConstantArrayWithExprType where 10205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// the element type is 'int' and the size expression is 'sizeof(int)'. 10215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// These types are non-canonical. 10225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class ConstantArrayWithExprType : public ConstantArrayType { 10235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// SizeExpr - The ICE occurring in the concrete syntax. 10245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Expr *SizeExpr; 10255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// Brackets - The left and right array brackets. 10265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SourceRange Brackets; 10275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 10285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ConstantArrayWithExprType(QualType et, QualType can, 10295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const llvm::APInt &size, Expr *e, 10305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ArraySizeModifier sm, unsigned tq, 10315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SourceRange brackets) 10325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : ConstantArrayType(ConstantArrayWithExpr, et, can, size, sm, tq), 10335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SizeExpr(e), Brackets(brackets) {} 10345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 10355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void Destroy(ASTContext& C); 10365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 10375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 10385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Expr *getSizeExpr() const { return SizeExpr; } 10395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SourceRange getBracketsRange() const { return Brackets; } 10405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SourceLocation getLBracketLoc() const { return Brackets.getBegin(); } 10415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SourceLocation getRBracketLoc() const { return Brackets.getEnd(); } 10425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 10435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 10445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 10455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 10465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 10475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == ConstantArrayWithExpr; 10485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 10495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const ConstantArrayWithExprType *) { return true; } 10505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 10515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) { 10525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) assert(0 && "Cannot unique ConstantArrayWithExprTypes."); 10535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 10545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 10555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 10565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// ConstantArrayWithoutExprType - This class represents C arrays with a 10575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// constant size that was not specified by an integer constant expression, 10585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// but inferred by static semantics. 10595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// For example 'int A[] = { 0, 1, 2 }' has ConstantArrayWithoutExprType. 10605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// These types are non-canonical: the corresponding canonical type, 10615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// having the size specified in an APInt object, is a ConstantArrayType. 10625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class ConstantArrayWithoutExprType : public ConstantArrayType { 10635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 10645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ConstantArrayWithoutExprType(QualType et, QualType can, 10655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const llvm::APInt &size, 10665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ArraySizeModifier sm, unsigned tq) 10675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : ConstantArrayType(ConstantArrayWithoutExpr, et, can, size, sm, tq) {} 10685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 10695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 10705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 10715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 10725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 10735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 10745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 10755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == ConstantArrayWithoutExpr; 10765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 10775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const ConstantArrayWithoutExprType *) { return true; } 10785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 10795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) { 10805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) assert(0 && "Cannot unique ConstantArrayWithoutExprTypes."); 10815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 10825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 10835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 10845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// IncompleteArrayType - This class represents C arrays with an unspecified 10855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// size. For example 'int A[]' has an IncompleteArrayType where the element 10865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// type is 'int' and the size is unspecified. 10875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class IncompleteArrayType : public ArrayType { 10885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 10895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) IncompleteArrayType(QualType et, QualType can, 10905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ArraySizeModifier sm, unsigned tq) 10915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : ArrayType(IncompleteArray, et, can, sm, tq) {} 10925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 10935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 10945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 10955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 10965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 10975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 10985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == IncompleteArray; 10995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 11005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const IncompleteArrayType *) { return true; } 11015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 11025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class StmtIteratorBase; 11035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 11045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) { 11055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Profile(ID, getElementType(), getSizeModifier(), getIndexTypeQualifier()); 11065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 11075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 11085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static void Profile(llvm::FoldingSetNodeID &ID, QualType ET, 11095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ArraySizeModifier SizeMod, unsigned TypeQuals) { 11105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddPointer(ET.getAsOpaquePtr()); 11115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddInteger(SizeMod); 11125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddInteger(TypeQuals); 11135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 11145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 11155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 11165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// VariableArrayType - This class represents C arrays with a specified size 11175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// which is not an integer-constant-expression. For example, 'int s[x+foo()]'. 11185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// Since the size expression is an arbitrary expression, we store it as such. 11195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 11205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// Note: VariableArrayType's aren't uniqued (since the expressions aren't) and 11215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// should not be: two lexically equivalent variable array types could mean 11225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// different things, for example, these variables do not have the same type 11235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// dynamically: 11245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 11255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// void foo(int x) { 11265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// int Y[x]; 11275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// ++x; 11285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// int Z[x]; 11295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// } 11305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 11315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class VariableArrayType : public ArrayType { 11325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// SizeExpr - An assignment expression. VLA's are only permitted within 11335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// a function block. 11345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Stmt *SizeExpr; 11355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// Brackets - The left and right array brackets. 11365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SourceRange Brackets; 11375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 11385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) VariableArrayType(QualType et, QualType can, Expr *e, 11395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ArraySizeModifier sm, unsigned tq, 11405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SourceRange brackets) 11415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : ArrayType(VariableArray, et, can, sm, tq), 11425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SizeExpr((Stmt*) e), Brackets(brackets) {} 11435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 11445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void Destroy(ASTContext& C); 11455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 11465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 11475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Expr *getSizeExpr() const { 11485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // We use C-style casts instead of cast<> here because we do not wish 11495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // to have a dependency of Type.h on Stmt.h/Expr.h. 11505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return (Expr*) SizeExpr; 11515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 11525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SourceRange getBracketsRange() const { return Brackets; } 11535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SourceLocation getLBracketLoc() const { return Brackets.getBegin(); } 11545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SourceLocation getRBracketLoc() const { return Brackets.getEnd(); } 11555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 11565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 11575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 11585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 11595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 11605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == VariableArray; 11615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 11625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const VariableArrayType *) { return true; } 11635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 11645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class StmtIteratorBase; 11655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 11665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) { 11675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) assert(0 && "Cannnot unique VariableArrayTypes."); 11685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 11695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 11705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 11715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// DependentSizedArrayType - This type represents an array type in 11725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// C++ whose size is a value-dependent expression. For example: 11735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// @code 11745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// template<typename T, int Size> 11755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// class array { 11765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// T data[Size]; 11775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// }; 11785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// @endcode 11795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// For these types, we won't actually know what the array bound is 11805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// until template instantiation occurs, at which point this will 11815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// become either a ConstantArrayType or a VariableArrayType. 11825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class DependentSizedArrayType : public ArrayType { 11835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ASTContext &Context; 11845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 11855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// SizeExpr - An assignment expression that will instantiate to the 11865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// size of the array. 11875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Stmt *SizeExpr; 11885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// Brackets - The left and right array brackets. 11895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SourceRange Brackets; 11905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 11915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) DependentSizedArrayType(ASTContext &Context, QualType et, QualType can, 11925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Expr *e, ArraySizeModifier sm, unsigned tq, 11935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SourceRange brackets) 11945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : ArrayType(DependentSizedArray, et, can, sm, tq), 11955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Context(Context), SizeExpr((Stmt*) e), Brackets(brackets) {} 11965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 11975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void Destroy(ASTContext& C); 11985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 11995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 12005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Expr *getSizeExpr() const { 12015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // We use C-style casts instead of cast<> here because we do not wish 12025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // to have a dependency of Type.h on Stmt.h/Expr.h. 12035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return (Expr*) SizeExpr; 12045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 12055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SourceRange getBracketsRange() const { return Brackets; } 12065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SourceLocation getLBracketLoc() const { return Brackets.getBegin(); } 12075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SourceLocation getRBracketLoc() const { return Brackets.getEnd(); } 12085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 12095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 12105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 12115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 12125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 12135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == DependentSizedArray; 12145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 12155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const DependentSizedArrayType *) { return true; } 12165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 12175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class StmtIteratorBase; 12185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 12195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 12205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) { 12215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Profile(ID, Context, getElementType(), 12225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) getSizeModifier(), getIndexTypeQualifier(), getSizeExpr()); 12235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 12245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 12255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static void Profile(llvm::FoldingSetNodeID &ID, ASTContext &Context, 12265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType ET, ArraySizeModifier SizeMod, 12275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned TypeQuals, Expr *E); 12285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 12295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 12305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// DependentSizedExtVectorType - This type represent an extended vector type 12315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// where either the type or size is dependent. For example: 12325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// @code 12335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// template<typename T, int Size> 12345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// class vector { 12355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// typedef T __attribute__((ext_vector_type(Size))) type; 12365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// } 12375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// @endcode 12385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class DependentSizedExtVectorType : public Type { 12395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Expr *SizeExpr; 12405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// ElementType - The element type of the array. 12415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType ElementType; 12425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SourceLocation loc; 12435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 12445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) DependentSizedExtVectorType(QualType ElementType, QualType can, 12455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Expr *SizeExpr, SourceLocation loc) 12465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : Type (DependentSizedExtVector, can, true), 12475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SizeExpr(SizeExpr), ElementType(ElementType), loc(loc) {} 12485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; 12495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void Destroy(ASTContext& C); 12505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 12515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 12525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const Expr *getSizeExpr() const { return SizeExpr; } 12535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getElementType() const { return ElementType; } 12545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SourceLocation getAttributeLoc() const { return loc; } 12555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 12565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 12575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 12585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 12595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 12605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == DependentSizedExtVector; 12615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 12625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const DependentSizedExtVectorType *) { return true; } 12635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 12645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 12655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 12665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// VectorType - GCC generic vector type. This type is created using 12675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// __attribute__((vector_size(n)), where "n" specifies the vector size in 12685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// bytes. Since the constructor takes the number of vector elements, the 12695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// client is responsible for converting the size into the number of elements. 12705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class VectorType : public Type, public llvm::FoldingSetNode { 12715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)protected: 12725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// ElementType - The element type of the vector. 12735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType ElementType; 12745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 12755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// NumElements - The number of elements in the vector. 12765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned NumElements; 12775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 12785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) VectorType(QualType vecType, unsigned nElements, QualType canonType) : 12795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Type(Vector, canonType, vecType->isDependentType()), 12805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ElementType(vecType), NumElements(nElements) {} 12815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) VectorType(TypeClass tc, QualType vecType, unsigned nElements, 12825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType canonType) 12835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : Type(tc, canonType, vecType->isDependentType()), ElementType(vecType), 12845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) NumElements(nElements) {} 12855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 12865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 12875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 12885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getElementType() const { return ElementType; } 12895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned getNumElements() const { return NumElements; } 12905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 12915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 12925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 12935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 12945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) { 12955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Profile(ID, getElementType(), getNumElements(), getTypeClass()); 12965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 12975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static void Profile(llvm::FoldingSetNodeID &ID, QualType ElementType, 12985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned NumElements, TypeClass TypeClass) { 12995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddPointer(ElementType.getAsOpaquePtr()); 13005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddInteger(NumElements); 13015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddInteger(TypeClass); 13025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 13035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 13045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == Vector || T->getTypeClass() == ExtVector; 13055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 13065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const VectorType *) { return true; } 13075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 13085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 13095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// ExtVectorType - Extended vector type. This type is created using 13105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// __attribute__((ext_vector_type(n)), where "n" is the number of elements. 13115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// Unlike vector_size, ext_vector_type is only allowed on typedef's. This 13125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// class enables syntactic extensions, like Vector Components for accessing 13135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// points, colors, and textures (modeled after OpenGL Shading Language). 13145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class ExtVectorType : public VectorType { 13155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ExtVectorType(QualType vecType, unsigned nElements, QualType canonType) : 13165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) VectorType(ExtVector, vecType, nElements, canonType) {} 13175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 13185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 13195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static int getPointAccessorIdx(char c) { 13205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) switch (c) { 13215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) default: return -1; 13225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case 'x': return 0; 13235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case 'y': return 1; 13245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case 'z': return 2; 13255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case 'w': return 3; 13265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 13275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 13285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static int getNumericAccessorIdx(char c) { 13295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) switch (c) { 13305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) default: return -1; 13315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case '0': return 0; 13325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case '1': return 1; 13335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case '2': return 2; 13345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case '3': return 3; 13355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case '4': return 4; 13365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case '5': return 5; 13375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case '6': return 6; 13385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case '7': return 7; 13395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case '8': return 8; 13405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case '9': return 9; 13415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case 'A': 13425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case 'a': return 10; 13435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case 'B': 13445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case 'b': return 11; 13455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case 'C': 13465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case 'c': return 12; 13475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case 'D': 13485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case 'd': return 13; 13495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case 'E': 13505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case 'e': return 14; 13515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case 'F': 13525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) case 'f': return 15; 13535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 13545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 13555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 13565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static int getAccessorIdx(char c) { 13575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) if (int idx = getPointAccessorIdx(c)+1) return idx-1; 13585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return getNumericAccessorIdx(c); 13595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 13605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 13615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isAccessorWithinNumElements(char c) const { 13625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) if (int idx = getAccessorIdx(c)+1) 13635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return unsigned(idx-1) < NumElements; 13645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return false; 13655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 13665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 13675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 13685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 13695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 13705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == ExtVector; 13715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 13725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const ExtVectorType *) { return true; } 13735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 13745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 13755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// FunctionType - C99 6.7.5.3 - Function Declarators. This is the common base 13765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// class of FunctionNoProtoType and FunctionProtoType. 13775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 13785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class FunctionType : public Type { 13795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// SubClassData - This field is owned by the subclass, put here to pack 13805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// tightly with the ivars in Type. 13815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool SubClassData : 1; 13825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 13835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// TypeQuals - Used only by FunctionProtoType, put here to pack with the 13845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// other bitfields. 13855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// The qualifiers are part of FunctionProtoType because... 13865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// 13875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// C++ 8.3.5p4: The return type, the parameter type list and the 13885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// cv-qualifier-seq, [...], are part of the function type. 13895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// 13905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned TypeQuals : 3; 13915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 13925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// NoReturn - Indicates if the function type is attribute noreturn. 13935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned NoReturn : 1; 13945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 13955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // The type returned by the function. 13965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType ResultType; 13975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)protected: 13985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) FunctionType(TypeClass tc, QualType res, bool SubclassInfo, 13995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned typeQuals, QualType Canonical, bool Dependent, 14005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool noReturn = false) 14015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : Type(tc, Canonical, Dependent), 14025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) SubClassData(SubclassInfo), TypeQuals(typeQuals), NoReturn(noReturn), 14035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ResultType(res) {} 14045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool getSubClassData() const { return SubClassData; } 14055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned getTypeQuals() const { return TypeQuals; } 14065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 14075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 14085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getResultType() const { return ResultType; } 14095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool getNoReturnAttr() const { return NoReturn; } 14105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 14115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 14125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 14135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == FunctionNoProto || 14145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) T->getTypeClass() == FunctionProto; 14155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 14165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const FunctionType *) { return true; } 14175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 14185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 14195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// FunctionNoProtoType - Represents a K&R-style 'int foo()' function, which has 14205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// no information available about its arguments. 14215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class FunctionNoProtoType : public FunctionType, public llvm::FoldingSetNode { 14225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) FunctionNoProtoType(QualType Result, QualType Canonical, 14235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool NoReturn = false) 14245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : FunctionType(FunctionNoProto, Result, false, 0, Canonical, 14255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /*Dependent=*/false, NoReturn) {} 14265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 14275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 14285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // No additional state past what FunctionType provides. 14295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 14305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 14315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 14325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 14335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) { 14345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Profile(ID, getResultType(), getNoReturnAttr()); 14355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 14365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static void Profile(llvm::FoldingSetNodeID &ID, QualType ResultType, 14375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool NoReturn) { 14385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddInteger(NoReturn); 14395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddPointer(ResultType.getAsOpaquePtr()); 14405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 14415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 14425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 14435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == FunctionNoProto; 14445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 14455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const FunctionNoProtoType *) { return true; } 14465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 14475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 14485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// FunctionProtoType - Represents a prototype with argument type info, e.g. 14495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 'int foo(int)' or 'int foo(void)'. 'void' is represented as having no 14505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// arguments, not as having a single void argument. Such a type can have an 14515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// exception specification, but this specification is not part of the canonical 14525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// type. 14535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class FunctionProtoType : public FunctionType, public llvm::FoldingSetNode { 14545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// hasAnyDependentType - Determine whether there are any dependent 14555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// types within the arguments passed in. 14565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool hasAnyDependentType(const QualType *ArgArray, unsigned numArgs) { 14575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) for (unsigned Idx = 0; Idx < numArgs; ++Idx) 14585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) if (ArgArray[Idx]->isDependentType()) 14595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return true; 14605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 14615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return false; 14625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 14635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 14645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) FunctionProtoType(QualType Result, const QualType *ArgArray, unsigned numArgs, 14655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isVariadic, unsigned typeQuals, bool hasExs, 14665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool hasAnyExs, const QualType *ExArray, 14675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned numExs, QualType Canonical, bool NoReturn) 14685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : FunctionType(FunctionProto, Result, isVariadic, typeQuals, Canonical, 14695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) (Result->isDependentType() || 14705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) hasAnyDependentType(ArgArray, numArgs)), NoReturn), 14715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) NumArgs(numArgs), NumExceptions(numExs), HasExceptionSpec(hasExs), 14725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) AnyExceptionSpec(hasAnyExs) { 14735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // Fill in the trailing argument array. 14745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType *ArgInfo = reinterpret_cast<QualType*>(this+1); 14755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) for (unsigned i = 0; i != numArgs; ++i) 14765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ArgInfo[i] = ArgArray[i]; 14775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // Fill in the exception array. 14785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType *Ex = ArgInfo + numArgs; 14795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) for (unsigned i = 0; i != numExs; ++i) 14805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Ex[i] = ExArray[i]; 14815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 14825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 14835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// NumArgs - The number of arguments this function has, not counting '...'. 14845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned NumArgs : 20; 14855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 14865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// NumExceptions - The number of types in the exception spec, if any. 14875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned NumExceptions : 10; 14885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 14895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// HasExceptionSpec - Whether this function has an exception spec at all. 14905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool HasExceptionSpec : 1; 14915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 14925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// AnyExceptionSpec - Whether this function has a throw(...) spec. 14935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool AnyExceptionSpec : 1; 14945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 14955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// ArgInfo - There is an variable size array after the class in memory that 14965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// holds the argument types. 14975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 14985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// Exceptions - There is another variable size array after ArgInfo that 14995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// holds the exception types. 15005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 15015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 15025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 15035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 15045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned getNumArgs() const { return NumArgs; } 15055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getArgType(unsigned i) const { 15065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) assert(i < NumArgs && "Invalid argument number!"); 15075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return arg_type_begin()[i]; 15085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 15095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 15105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool hasExceptionSpec() const { return HasExceptionSpec; } 15115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool hasAnyExceptionSpec() const { return AnyExceptionSpec; } 15125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned getNumExceptions() const { return NumExceptions; } 15135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getExceptionType(unsigned i) const { 15145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) assert(i < NumExceptions && "Invalid exception number!"); 15155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return exception_begin()[i]; 15165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 15175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool hasEmptyExceptionSpec() const { 15185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return hasExceptionSpec() && !hasAnyExceptionSpec() && 15195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) getNumExceptions() == 0; 15205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 15215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 15225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isVariadic() const { return getSubClassData(); } 15235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned getTypeQuals() const { return FunctionType::getTypeQuals(); } 15245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 15255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) typedef const QualType *arg_type_iterator; 15265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) arg_type_iterator arg_type_begin() const { 15275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return reinterpret_cast<const QualType *>(this+1); 15285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 15295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) arg_type_iterator arg_type_end() const { return arg_type_begin()+NumArgs; } 15305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 15315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) typedef const QualType *exception_iterator; 15325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) exception_iterator exception_begin() const { 15335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // exceptions begin where arguments end 15345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return arg_type_end(); 15355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 15365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) exception_iterator exception_end() const { 15375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return exception_begin() + NumExceptions; 15385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 15395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 15405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 15415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 15425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 15435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 15445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == FunctionProto; 15455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 15465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const FunctionProtoType *) { return true; } 15475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 15485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID); 15495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static void Profile(llvm::FoldingSetNodeID &ID, QualType Result, 15505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) arg_type_iterator ArgTys, unsigned NumArgs, 15515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isVariadic, unsigned TypeQuals, 15525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool hasExceptionSpec, bool anyExceptionSpec, 15535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned NumExceptions, exception_iterator Exs, 15545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool NoReturn); 15555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 15565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 15575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 15585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class TypedefType : public Type { 15595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) TypedefDecl *Decl; 15605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)protected: 15615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) TypedefType(TypeClass tc, TypedefDecl *D, QualType can) 15625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : Type(tc, can, can->isDependentType()), Decl(D) { 15635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) assert(!isa<TypedefType>(can) && "Invalid canonical type"); 15645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 15655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 15665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 15675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 15685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) TypedefDecl *getDecl() const { return Decl; } 15695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 15705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// LookThroughTypedefs - Return the ultimate type this typedef corresponds to 15715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// potentially looking through *all* consecutive typedefs. This returns the 15725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// sum of the type qualifiers, so if you have: 15735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// typedef const int A; 15745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// typedef volatile A B; 15755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// looking through the typedefs for B will give you "const volatile A". 15765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType LookThroughTypedefs() const; 15775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 15785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 15795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 15805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 15815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { return T->getTypeClass() == Typedef; } 15825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const TypedefType *) { return true; } 15835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 15845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 15855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// TypeOfExprType (GCC extension). 15865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class TypeOfExprType : public Type { 15875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Expr *TOExpr; 15885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 15895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)protected: 15905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) TypeOfExprType(Expr *E, QualType can = QualType()); 15915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 15925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 15935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Expr *getUnderlyingExpr() const { return TOExpr; } 15945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 15955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 15965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 15975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 15985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { return T->getTypeClass() == TypeOfExpr; } 15995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const TypeOfExprType *) { return true; } 16005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 16015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// Subclass of TypeOfExprType that is used for canonical, dependent 16035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// typeof(expr) types. 16045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class DependentTypeOfExprType 16055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : public TypeOfExprType, public llvm::FoldingSetNode { 16065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ASTContext &Context; 16075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 16095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) DependentTypeOfExprType(ASTContext &Context, Expr *E) 16105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : TypeOfExprType(E), Context(Context) { } 16115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) { 16135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Profile(ID, Context, getUnderlyingExpr()); 16145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 16155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static void Profile(llvm::FoldingSetNodeID &ID, ASTContext &Context, 16175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Expr *E); 16185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 16195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// TypeOfType (GCC extension). 16215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class TypeOfType : public Type { 16225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType TOType; 16235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) TypeOfType(QualType T, QualType can) 16245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : Type(TypeOf, can, T->isDependentType()), TOType(T) { 16255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) assert(!isa<TypedefType>(can) && "Invalid canonical type"); 16265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 16275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 16285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 16295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getUnderlyingType() const { return TOType; } 16305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 16325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 16335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { return T->getTypeClass() == TypeOf; } 16355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const TypeOfType *) { return true; } 16365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 16375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// DecltypeType (C++0x) 16395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class DecltypeType : public Type { 16405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Expr *E; 16415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // FIXME: We could get rid of UnderlyingType if we wanted to: We would have to 16435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // Move getDesugaredType to ASTContext so that it can call getDecltypeForExpr 16445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // from it. 16455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType UnderlyingType; 16465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)protected: 16485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) DecltypeType(Expr *E, QualType underlyingType, QualType can = QualType()); 16495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 16505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 16515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Expr *getUnderlyingExpr() const { return E; } 16525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getUnderlyingType() const { return UnderlyingType; } 16535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 16555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 16565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { return T->getTypeClass() == Decltype; } 16585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const DecltypeType *) { return true; } 16595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 16605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// Subclass of DecltypeType that is used for canonical, dependent 16625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// C++0x decltype types. 16635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class DependentDecltypeType : public DecltypeType, public llvm::FoldingSetNode { 16645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ASTContext &Context; 16655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 16675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) DependentDecltypeType(ASTContext &Context, Expr *E); 16685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) { 16705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Profile(ID, Context, getUnderlyingExpr()); 16715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 16725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static void Profile(llvm::FoldingSetNodeID &ID, ASTContext &Context, 16745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Expr *E); 16755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 16765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class TagType : public Type { 16785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// Stores the TagDecl associated with this type. The decl will 16795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// point to the TagDecl that actually defines the entity (or is a 16805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// definition in progress), if there is such a definition. The 16815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// single-bit value will be non-zero when this tag is in the 16825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// process of being defined. 16835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) mutable llvm::PointerIntPair<TagDecl *, 1> decl; 16845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; 16855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class TagDecl; 16865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)protected: 16885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) TagType(TypeClass TC, TagDecl *D, QualType can); 16895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 16915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) TagDecl *getDecl() const { return decl.getPointer(); } 16925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// @brief Determines whether this type is in the process of being 16945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// defined. 16955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isBeingDefined() const { return decl.getInt(); } 16965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void setBeingDefined(bool Def) { decl.setInt(Def? 1 : 0); } 16975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 16985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 16995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 17005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 17015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 17025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() >= TagFirst && T->getTypeClass() <= TagLast; 17035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 17045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const TagType *) { return true; } 17055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const RecordType *) { return true; } 17065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const EnumType *) { return true; } 17075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 17085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 17095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// RecordType - This is a helper class that allows the use of isa/cast/dyncast 17105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// to detect TagType objects of structs/unions/classes. 17115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class RecordType : public TagType { 17125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)protected: 17135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) explicit RecordType(RecordDecl *D) 17145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : TagType(Record, reinterpret_cast<TagDecl*>(D), QualType()) { } 17155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) explicit RecordType(TypeClass TC, RecordDecl *D) 17165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : TagType(TC, reinterpret_cast<TagDecl*>(D), QualType()) { } 17175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 17185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 17195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 17205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) RecordDecl *getDecl() const { 17215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return reinterpret_cast<RecordDecl*>(TagType::getDecl()); 17225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 17235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 17245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // FIXME: This predicate is a helper to QualType/Type. It needs to 17255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // recursively check all fields for const-ness. If any field is declared 17265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // const, it needs to return false. 17275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool hasConstFields() const { return false; } 17285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 17295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // FIXME: RecordType needs to check when it is created that all fields are in 17305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // the same address space, and return that. 17315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned getAddressSpace() const { return 0; } 17325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 17335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const TagType *T); 17345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 17355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return isa<TagType>(T) && classof(cast<TagType>(T)); 17365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 17375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const RecordType *) { return true; } 17385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 17395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 17405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// EnumType - This is a helper class that allows the use of isa/cast/dyncast 17415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// to detect TagType objects of enums. 17425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class EnumType : public TagType { 17435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) explicit EnumType(EnumDecl *D) 17445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : TagType(Enum, reinterpret_cast<TagDecl*>(D), QualType()) { } 17455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these. 17465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 17475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 17485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) EnumDecl *getDecl() const { 17495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return reinterpret_cast<EnumDecl*>(TagType::getDecl()); 17505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 17515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 17525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const TagType *T); 17535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 17545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return isa<TagType>(T) && classof(cast<TagType>(T)); 17555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 17565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const EnumType *) { return true; } 17575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 17585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 17595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class TemplateTypeParmType : public Type, public llvm::FoldingSetNode { 17605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned Depth : 15; 17615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned Index : 16; 17625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned ParameterPack : 1; 17635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) IdentifierInfo *Name; 17645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 17655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) TemplateTypeParmType(unsigned D, unsigned I, bool PP, IdentifierInfo *N, 17665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType Canon) 17675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : Type(TemplateTypeParm, Canon, /*Dependent=*/true), 17685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Depth(D), Index(I), ParameterPack(PP), Name(N) { } 17695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 17705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) TemplateTypeParmType(unsigned D, unsigned I, bool PP) 17715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : Type(TemplateTypeParm, QualType(this, 0), /*Dependent=*/true), 17725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Depth(D), Index(I), ParameterPack(PP), Name(0) { } 17735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 17745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these 17755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 17765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 17775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned getDepth() const { return Depth; } 17785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned getIndex() const { return Index; } 17795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) bool isParameterPack() const { return ParameterPack; } 17805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) IdentifierInfo *getName() const { return Name; } 17815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 17825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 17835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 17845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 17855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) { 17865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Profile(ID, Depth, Index, ParameterPack, Name); 17875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 17885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 17895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static void Profile(llvm::FoldingSetNodeID &ID, unsigned Depth, 17905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned Index, bool ParameterPack, 17915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) IdentifierInfo *Name) { 17925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddInteger(Depth); 17935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddInteger(Index); 17945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddBoolean(ParameterPack); 17955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddPointer(Name); 17965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 17975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 17985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 17995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == TemplateTypeParm; 18005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 18015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const TemplateTypeParmType *T) { return true; } 18025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 18035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// \brief Represents the type of a template specialization as written 18055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// in the source code. 18065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 18075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// Template specialization types represent the syntactic form of a 18085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// template-id that refers to a type, e.g., @c vector<int>. Some 18095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// template specialization types are syntactic sugar, whose canonical 18105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// type will point to some other type node that represents the 18115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// instantiation or class template specialization. For example, a 18125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// class template specialization type of @c vector<int> will refer to 18135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// a tag type for the instantiation 18145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// @c std::vector<int, std::allocator<int>>. 18155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 18165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// Other template specialization types, for which the template name 18175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// is dependent, may be canonical types. These types are always 18185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// dependent. 18195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class TemplateSpecializationType 18205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : public Type, public llvm::FoldingSetNode { 18215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) // FIXME: Currently needed for profiling expressions; can we avoid this? 18235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ASTContext &Context; 18245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// \brief The name of the template being specialized. 18265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) TemplateName Template; 18275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// \brief - The number of template arguments named in this class 18295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// template specialization. 18305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned NumArgs; 18315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) TemplateSpecializationType(ASTContext &Context, 18335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) TemplateName T, 18345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const TemplateArgument *Args, 18355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned NumArgs, QualType Canon); 18365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void Destroy(ASTContext& C); 18385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these 18405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 18425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// \brief Determine whether any of the given template arguments are 18435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// dependent. 18445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool anyDependentTemplateArguments(const TemplateArgument *Args, 18455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned NumArgs); 18465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// \brief Print a template argument list, including the '<' and '>' 18485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// enclosing the template arguments. 18495821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static std::string PrintTemplateArgumentList(const TemplateArgument *Args, 18505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned NumArgs, 18515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy); 18525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) typedef const TemplateArgument * iterator; 18545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) iterator begin() const { return getArgs(); } 18565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) iterator end() const; 18575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// \brief Retrieve the name of the template that we are specializing. 18595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) TemplateName getTemplateName() const { return Template; } 18605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// \brief Retrieve the template arguments. 18625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const TemplateArgument *getArgs() const { 18635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return reinterpret_cast<const TemplateArgument *>(this + 1); 18645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 18655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// \brief Retrieve the number of template arguments. 18675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) unsigned getNumArgs() const { return NumArgs; } 18685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// \brief Retrieve a specific template argument as a type. 18705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// \precondition @c isArgType(Arg) 18715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const TemplateArgument &getArg(unsigned Idx) const; 18725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 18745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 18755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18765821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) { 18775821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Profile(ID, Template, getArgs(), NumArgs, Context); 18785821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 18795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static void Profile(llvm::FoldingSetNodeID &ID, TemplateName T, 18815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const TemplateArgument *Args, unsigned NumArgs, 18825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ASTContext &Context); 18835821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18845821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const Type *T) { 18855821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) return T->getTypeClass() == TemplateSpecialization; 18865821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 18875821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static bool classof(const TemplateSpecializationType *T) { return true; } 18885821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}; 18895821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 18905821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// \brief Represents a type that was referred to via a qualified 18915821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// name, e.g., N::M::type. 18925821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// 18935821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// This type is used to keep track of a type name as written in the 18945821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// source code, including any nested-name-specifiers. The type itself 18955821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// is always "sugar", used to express what was written in the source 18965821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)/// code but containing no additional semantic information. 18975821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)class QualifiedNameType : public Type, public llvm::FoldingSetNode { 18985821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// \brief The nested name specifier containing the qualifier. 18995821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) NestedNameSpecifier *NNS; 19005821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 19015821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// \brief The type that this qualified name refers to. 19025821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType NamedType; 19035821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 19045821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualifiedNameType(NestedNameSpecifier *NNS, QualType NamedType, 19055821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType CanonType) 19065821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) : Type(QualifiedName, CanonType, NamedType->isDependentType()), 19075821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) NNS(NNS), NamedType(NamedType) { } 19085821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 19095821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) friend class ASTContext; // ASTContext creates these 19105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 19115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)public: 19125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// \brief Retrieve the qualification on this type. 19135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) NestedNameSpecifier *getQualifier() const { return NNS; } 19145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 19155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) /// \brief Retrieve the type named by the qualified-id. 19165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType getNamedType() const { return NamedType; } 19175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 19185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) virtual void getAsStringInternal(std::string &InnerString, 19195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) const PrintingPolicy &Policy) const; 19205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 19215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) void Profile(llvm::FoldingSetNodeID &ID) { 19225821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) Profile(ID, NNS, NamedType); 19235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 19245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 19255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) static void Profile(llvm::FoldingSetNodeID &ID, NestedNameSpecifier *NNS, 19265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) QualType NamedType) { 19275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) ID.AddPointer(NNS); 19285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) NamedType.Profile(ID); 19295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) } 19305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles) 1931 static bool classof(const Type *T) { 1932 return T->getTypeClass() == QualifiedName; 1933 } 1934 static bool classof(const QualifiedNameType *T) { return true; } 1935}; 1936 1937/// \brief Represents a 'typename' specifier that names a type within 1938/// a dependent type, e.g., "typename T::type". 1939/// 1940/// TypenameType has a very similar structure to QualifiedNameType, 1941/// which also involves a nested-name-specifier following by a type, 1942/// and (FIXME!) both can even be prefixed by the 'typename' 1943/// keyword. However, the two types serve very different roles: 1944/// QualifiedNameType is a non-semantic type that serves only as sugar 1945/// to show how a particular type was written in the source 1946/// code. TypenameType, on the other hand, only occurs when the 1947/// nested-name-specifier is dependent, such that we cannot resolve 1948/// the actual type until after instantiation. 1949class TypenameType : public Type, public llvm::FoldingSetNode { 1950 /// \brief The nested name specifier containing the qualifier. 1951 NestedNameSpecifier *NNS; 1952 1953 typedef llvm::PointerUnion<const IdentifierInfo *, 1954 const TemplateSpecializationType *> NameType; 1955 1956 /// \brief The type that this typename specifier refers to. 1957 NameType Name; 1958 1959 TypenameType(NestedNameSpecifier *NNS, const IdentifierInfo *Name, 1960 QualType CanonType) 1961 : Type(Typename, CanonType, true), NNS(NNS), Name(Name) { 1962 assert(NNS->isDependent() && 1963 "TypenameType requires a dependent nested-name-specifier"); 1964 } 1965 1966 TypenameType(NestedNameSpecifier *NNS, const TemplateSpecializationType *Ty, 1967 QualType CanonType) 1968 : Type(Typename, CanonType, true), NNS(NNS), Name(Ty) { 1969 assert(NNS->isDependent() && 1970 "TypenameType requires a dependent nested-name-specifier"); 1971 } 1972 1973 friend class ASTContext; // ASTContext creates these 1974 1975public: 1976 /// \brief Retrieve the qualification on this type. 1977 NestedNameSpecifier *getQualifier() const { return NNS; } 1978 1979 /// \brief Retrieve the type named by the typename specifier as an 1980 /// identifier. 1981 /// 1982 /// This routine will return a non-NULL identifier pointer when the 1983 /// form of the original typename was terminated by an identifier, 1984 /// e.g., "typename T::type". 1985 const IdentifierInfo *getIdentifier() const { 1986 return Name.dyn_cast<const IdentifierInfo *>(); 1987 } 1988 1989 /// \brief Retrieve the type named by the typename specifier as a 1990 /// type specialization. 1991 const TemplateSpecializationType *getTemplateId() const { 1992 return Name.dyn_cast<const TemplateSpecializationType *>(); 1993 } 1994 1995 virtual void getAsStringInternal(std::string &InnerString, 1996 const PrintingPolicy &Policy) const; 1997 1998 void Profile(llvm::FoldingSetNodeID &ID) { 1999 Profile(ID, NNS, Name); 2000 } 2001 2002 static void Profile(llvm::FoldingSetNodeID &ID, NestedNameSpecifier *NNS, 2003 NameType Name) { 2004 ID.AddPointer(NNS); 2005 ID.AddPointer(Name.getOpaqueValue()); 2006 } 2007 2008 static bool classof(const Type *T) { 2009 return T->getTypeClass() == Typename; 2010 } 2011 static bool classof(const TypenameType *T) { return true; } 2012}; 2013 2014/// ObjCInterfaceType - Interfaces are the core concept in Objective-C for 2015/// object oriented design. They basically correspond to C++ classes. There 2016/// are two kinds of interface types, normal interfaces like "NSString" and 2017/// qualified interfaces, which are qualified with a protocol list like 2018/// "NSString<NSCopyable, NSAmazing>". 2019class ObjCInterfaceType : public Type, public llvm::FoldingSetNode { 2020 ObjCInterfaceDecl *Decl; 2021 2022 // List of protocols for this protocol conforming object type 2023 // List is sorted on protocol name. No protocol is enterred more than once. 2024 llvm::SmallVector<ObjCProtocolDecl*, 4> Protocols; 2025 2026 ObjCInterfaceType(ObjCInterfaceDecl *D, 2027 ObjCProtocolDecl **Protos, unsigned NumP) : 2028 Type(ObjCInterface, QualType(), /*Dependent=*/false), 2029 Decl(D), Protocols(Protos, Protos+NumP) { } 2030 friend class ASTContext; // ASTContext creates these. 2031public: 2032 ObjCInterfaceDecl *getDecl() const { return Decl; } 2033 2034 /// getNumProtocols - Return the number of qualifying protocols in this 2035 /// interface type, or 0 if there are none. 2036 unsigned getNumProtocols() const { return Protocols.size(); } 2037 2038 /// qual_iterator and friends: this provides access to the (potentially empty) 2039 /// list of protocols qualifying this interface. 2040 typedef llvm::SmallVector<ObjCProtocolDecl*, 8>::const_iterator qual_iterator; 2041 qual_iterator qual_begin() const { return Protocols.begin(); } 2042 qual_iterator qual_end() const { return Protocols.end(); } 2043 bool qual_empty() const { return Protocols.size() == 0; } 2044 2045 virtual void getAsStringInternal(std::string &InnerString, 2046 const PrintingPolicy &Policy) const; 2047 2048 void Profile(llvm::FoldingSetNodeID &ID); 2049 static void Profile(llvm::FoldingSetNodeID &ID, 2050 const ObjCInterfaceDecl *Decl, 2051 ObjCProtocolDecl **protocols, unsigned NumProtocols); 2052 2053 static bool classof(const Type *T) { 2054 return T->getTypeClass() == ObjCInterface; 2055 } 2056 static bool classof(const ObjCInterfaceType *) { return true; } 2057}; 2058 2059/// ObjCObjectPointerType - Used to represent 'id', 'Interface *', 'id <p>', 2060/// and 'Interface <p> *'. 2061/// 2062/// Duplicate protocols are removed and protocol list is canonicalized to be in 2063/// alphabetical order. 2064class ObjCObjectPointerType : public Type, public llvm::FoldingSetNode { 2065 QualType PointeeType; // A builtin or interface type. 2066 2067 // List of protocols for this protocol conforming object type 2068 // List is sorted on protocol name. No protocol is entered more than once. 2069 llvm::SmallVector<ObjCProtocolDecl*, 8> Protocols; 2070 2071 ObjCObjectPointerType(QualType T, ObjCProtocolDecl **Protos, unsigned NumP) : 2072 Type(ObjCObjectPointer, QualType(), /*Dependent=*/false), 2073 PointeeType(T), Protocols(Protos, Protos+NumP) { } 2074 friend class ASTContext; // ASTContext creates these. 2075 2076public: 2077 // Get the pointee type. Pointee will either be: 2078 // - a built-in type (for 'id' and 'Class'). 2079 // - an interface type (for user-defined types). 2080 // - a TypedefType whose canonical type is an interface (as in 'T' below). 2081 // For example: typedef NSObject T; T *var; 2082 QualType getPointeeType() const { return PointeeType; } 2083 2084 const ObjCInterfaceType *getInterfaceType() const { 2085 return PointeeType->getAsObjCInterfaceType(); 2086 } 2087 /// getInterfaceDecl - returns an interface decl for user-defined types. 2088 ObjCInterfaceDecl *getInterfaceDecl() const { 2089 return getInterfaceType() ? getInterfaceType()->getDecl() : 0; 2090 } 2091 /// isObjCIdType - true for "id". 2092 bool isObjCIdType() const { 2093 return getPointeeType()->isSpecificBuiltinType(BuiltinType::ObjCId) && 2094 !Protocols.size(); 2095 } 2096 /// isObjCClassType - true for "Class". 2097 bool isObjCClassType() const { 2098 return getPointeeType()->isSpecificBuiltinType(BuiltinType::ObjCClass) && 2099 !Protocols.size(); 2100 } 2101 /// isObjCQualifiedIdType - true for "id <p>". 2102 bool isObjCQualifiedIdType() const { 2103 return getPointeeType()->isSpecificBuiltinType(BuiltinType::ObjCId) && 2104 Protocols.size(); 2105 } 2106 /// isObjCQualifiedClassType - true for "Class <p>". 2107 bool isObjCQualifiedClassType() const { 2108 return getPointeeType()->isSpecificBuiltinType(BuiltinType::ObjCClass) && 2109 Protocols.size(); 2110 } 2111 /// qual_iterator and friends: this provides access to the (potentially empty) 2112 /// list of protocols qualifying this interface. 2113 typedef llvm::SmallVector<ObjCProtocolDecl*, 8>::const_iterator qual_iterator; 2114 2115 qual_iterator qual_begin() const { return Protocols.begin(); } 2116 qual_iterator qual_end() const { return Protocols.end(); } 2117 bool qual_empty() const { return Protocols.size() == 0; } 2118 2119 /// getNumProtocols - Return the number of qualifying protocols in this 2120 /// interface type, or 0 if there are none. 2121 unsigned getNumProtocols() const { return Protocols.size(); } 2122 2123 void Profile(llvm::FoldingSetNodeID &ID); 2124 static void Profile(llvm::FoldingSetNodeID &ID, QualType T, 2125 ObjCProtocolDecl **protocols, unsigned NumProtocols); 2126 virtual void getAsStringInternal(std::string &InnerString, 2127 const PrintingPolicy &Policy) const; 2128 static bool classof(const Type *T) { 2129 return T->getTypeClass() == ObjCObjectPointer; 2130 } 2131 static bool classof(const ObjCObjectPointerType *) { return true; } 2132}; 2133 2134// Inline function definitions. 2135 2136/// getUnqualifiedType - Return the type without any qualifiers. 2137inline QualType QualType::getUnqualifiedType() const { 2138 Type *TP = getTypePtr(); 2139 if (const ExtQualType *EXTQT = dyn_cast<ExtQualType>(TP)) 2140 TP = EXTQT->getBaseType(); 2141 return QualType(TP, 0); 2142} 2143 2144/// getAddressSpace - Return the address space of this type. 2145inline unsigned QualType::getAddressSpace() const { 2146 QualType CT = getTypePtr()->getCanonicalTypeInternal(); 2147 if (const ArrayType *AT = dyn_cast<ArrayType>(CT)) 2148 return AT->getElementType().getAddressSpace(); 2149 if (const RecordType *RT = dyn_cast<RecordType>(CT)) 2150 return RT->getAddressSpace(); 2151 if (const ExtQualType *EXTQT = dyn_cast<ExtQualType>(CT)) 2152 return EXTQT->getAddressSpace(); 2153 return 0; 2154} 2155 2156/// getObjCGCAttr - Return the gc attribute of this type. 2157inline QualType::GCAttrTypes QualType::getObjCGCAttr() const { 2158 QualType CT = getTypePtr()->getCanonicalTypeInternal(); 2159 if (const ArrayType *AT = dyn_cast<ArrayType>(CT)) 2160 return AT->getElementType().getObjCGCAttr(); 2161 if (const ExtQualType *EXTQT = dyn_cast<ExtQualType>(CT)) 2162 return EXTQT->getObjCGCAttr(); 2163 if (const ObjCObjectPointerType *PT = CT->getAsObjCObjectPointerType()) 2164 return PT->getPointeeType().getObjCGCAttr(); 2165 return GCNone; 2166} 2167 2168 /// getNoReturnAttr - Returns true if the type has the noreturn attribute, 2169 /// false otherwise. 2170inline bool QualType::getNoReturnAttr() const { 2171 QualType CT = getTypePtr()->getCanonicalTypeInternal(); 2172 if (const PointerType *PT = getTypePtr()->getAs<PointerType>()) { 2173 if (const FunctionType *FT = PT->getPointeeType()->getAsFunctionType()) 2174 return FT->getNoReturnAttr(); 2175 } else if (const FunctionType *FT = getTypePtr()->getAsFunctionType()) 2176 return FT->getNoReturnAttr(); 2177 2178 return false; 2179} 2180 2181/// isMoreQualifiedThan - Determine whether this type is more 2182/// qualified than the Other type. For example, "const volatile int" 2183/// is more qualified than "const int", "volatile int", and 2184/// "int". However, it is not more qualified than "const volatile 2185/// int". 2186inline bool QualType::isMoreQualifiedThan(QualType Other) const { 2187 unsigned MyQuals = this->getCVRQualifiers(); 2188 unsigned OtherQuals = Other.getCVRQualifiers(); 2189 if (getAddressSpace() != Other.getAddressSpace()) 2190 return false; 2191 return MyQuals != OtherQuals && (MyQuals | OtherQuals) == MyQuals; 2192} 2193 2194/// isAtLeastAsQualifiedAs - Determine whether this type is at last 2195/// as qualified as the Other type. For example, "const volatile 2196/// int" is at least as qualified as "const int", "volatile int", 2197/// "int", and "const volatile int". 2198inline bool QualType::isAtLeastAsQualifiedAs(QualType Other) const { 2199 unsigned MyQuals = this->getCVRQualifiers(); 2200 unsigned OtherQuals = Other.getCVRQualifiers(); 2201 if (getAddressSpace() != Other.getAddressSpace()) 2202 return false; 2203 return (MyQuals | OtherQuals) == MyQuals; 2204} 2205 2206/// getNonReferenceType - If Type is a reference type (e.g., const 2207/// int&), returns the type that the reference refers to ("const 2208/// int"). Otherwise, returns the type itself. This routine is used 2209/// throughout Sema to implement C++ 5p6: 2210/// 2211/// If an expression initially has the type "reference to T" (8.3.2, 2212/// 8.5.3), the type is adjusted to "T" prior to any further 2213/// analysis, the expression designates the object or function 2214/// denoted by the reference, and the expression is an lvalue. 2215inline QualType QualType::getNonReferenceType() const { 2216 if (const ReferenceType *RefType = (*this)->getAs<ReferenceType>()) 2217 return RefType->getPointeeType(); 2218 else 2219 return *this; 2220} 2221 2222inline const TypedefType* Type::getAsTypedefType() const { 2223 return dyn_cast<TypedefType>(this); 2224} 2225inline const ObjCInterfaceType *Type::getAsPointerToObjCInterfaceType() const { 2226 if (const PointerType *PT = getAs<PointerType>()) 2227 return PT->getPointeeType()->getAsObjCInterfaceType(); 2228 return 0; 2229} 2230 2231// NOTE: All of these methods use "getUnqualifiedType" to strip off address 2232// space qualifiers if present. 2233inline bool Type::isFunctionType() const { 2234 return isa<FunctionType>(CanonicalType.getUnqualifiedType()); 2235} 2236inline bool Type::isPointerType() const { 2237 return isa<PointerType>(CanonicalType.getUnqualifiedType()); 2238} 2239inline bool Type::isAnyPointerType() const { 2240 return isPointerType() || isObjCObjectPointerType(); 2241} 2242inline bool Type::isBlockPointerType() const { 2243 return isa<BlockPointerType>(CanonicalType.getUnqualifiedType()); 2244} 2245inline bool Type::isReferenceType() const { 2246 return isa<ReferenceType>(CanonicalType.getUnqualifiedType()); 2247} 2248inline bool Type::isLValueReferenceType() const { 2249 return isa<LValueReferenceType>(CanonicalType.getUnqualifiedType()); 2250} 2251inline bool Type::isRValueReferenceType() const { 2252 return isa<RValueReferenceType>(CanonicalType.getUnqualifiedType()); 2253} 2254inline bool Type::isFunctionPointerType() const { 2255 if (const PointerType* T = getAs<PointerType>()) 2256 return T->getPointeeType()->isFunctionType(); 2257 else 2258 return false; 2259} 2260inline bool Type::isMemberPointerType() const { 2261 return isa<MemberPointerType>(CanonicalType.getUnqualifiedType()); 2262} 2263inline bool Type::isMemberFunctionPointerType() const { 2264 if (const MemberPointerType* T = getAs<MemberPointerType>()) 2265 return T->getPointeeType()->isFunctionType(); 2266 else 2267 return false; 2268} 2269inline bool Type::isArrayType() const { 2270 return isa<ArrayType>(CanonicalType.getUnqualifiedType()); 2271} 2272inline bool Type::isConstantArrayType() const { 2273 return isa<ConstantArrayType>(CanonicalType.getUnqualifiedType()); 2274} 2275inline bool Type::isIncompleteArrayType() const { 2276 return isa<IncompleteArrayType>(CanonicalType.getUnqualifiedType()); 2277} 2278inline bool Type::isVariableArrayType() const { 2279 return isa<VariableArrayType>(CanonicalType.getUnqualifiedType()); 2280} 2281inline bool Type::isDependentSizedArrayType() const { 2282 return isa<DependentSizedArrayType>(CanonicalType.getUnqualifiedType()); 2283} 2284inline bool Type::isRecordType() const { 2285 return isa<RecordType>(CanonicalType.getUnqualifiedType()); 2286} 2287inline bool Type::isAnyComplexType() const { 2288 return isa<ComplexType>(CanonicalType.getUnqualifiedType()); 2289} 2290inline bool Type::isVectorType() const { 2291 return isa<VectorType>(CanonicalType.getUnqualifiedType()); 2292} 2293inline bool Type::isExtVectorType() const { 2294 return isa<ExtVectorType>(CanonicalType.getUnqualifiedType()); 2295} 2296inline bool Type::isObjCObjectPointerType() const { 2297 return isa<ObjCObjectPointerType>(CanonicalType.getUnqualifiedType()); 2298} 2299inline bool Type::isObjCInterfaceType() const { 2300 return isa<ObjCInterfaceType>(CanonicalType.getUnqualifiedType()); 2301} 2302inline bool Type::isObjCQualifiedIdType() const { 2303 if (const ObjCObjectPointerType *OPT = getAsObjCObjectPointerType()) 2304 return OPT->isObjCQualifiedIdType(); 2305 return false; 2306} 2307inline bool Type::isObjCQualifiedClassType() const { 2308 if (const ObjCObjectPointerType *OPT = getAsObjCObjectPointerType()) 2309 return OPT->isObjCQualifiedClassType(); 2310 return false; 2311} 2312inline bool Type::isObjCIdType() const { 2313 if (const ObjCObjectPointerType *OPT = getAsObjCObjectPointerType()) 2314 return OPT->isObjCIdType(); 2315 return false; 2316} 2317inline bool Type::isObjCClassType() const { 2318 if (const ObjCObjectPointerType *OPT = getAsObjCObjectPointerType()) 2319 return OPT->isObjCClassType(); 2320 return false; 2321} 2322inline bool Type::isObjCBuiltinType() const { 2323 return isObjCIdType() || isObjCClassType(); 2324} 2325inline bool Type::isTemplateTypeParmType() const { 2326 return isa<TemplateTypeParmType>(CanonicalType.getUnqualifiedType()); 2327} 2328 2329inline bool Type::isSpecificBuiltinType(unsigned K) const { 2330 if (const BuiltinType *BT = getAsBuiltinType()) 2331 if (BT->getKind() == (BuiltinType::Kind) K) 2332 return true; 2333 return false; 2334} 2335 2336/// \brief Determines whether this is a type for which one can define 2337/// an overloaded operator. 2338inline bool Type::isOverloadableType() const { 2339 return isDependentType() || isRecordType() || isEnumeralType(); 2340} 2341 2342inline bool Type::hasPointerRepresentation() const { 2343 return (isPointerType() || isReferenceType() || isBlockPointerType() || 2344 isObjCInterfaceType() || isObjCObjectPointerType() || 2345 isObjCQualifiedInterfaceType() || isNullPtrType()); 2346} 2347 2348inline bool Type::hasObjCPointerRepresentation() const { 2349 return (isObjCInterfaceType() || isObjCObjectPointerType() || 2350 isObjCQualifiedInterfaceType()); 2351} 2352 2353/// Insertion operator for diagnostics. This allows sending QualType's into a 2354/// diagnostic with <<. 2355inline const DiagnosticBuilder &operator<<(const DiagnosticBuilder &DB, 2356 QualType T) { 2357 DB.AddTaggedVal(reinterpret_cast<intptr_t>(T.getAsOpaquePtr()), 2358 Diagnostic::ak_qualtype); 2359 return DB; 2360} 2361 2362/// Member-template getAs<specific type>'. 2363template <typename T> const T *Type::getAs() const { 2364 // If this is directly a T type, return it. 2365 if (const T *Ty = dyn_cast<T>(this)) 2366 return Ty; 2367 2368 // If the canonical form of this type isn't the right kind, reject it. 2369 if (!isa<T>(CanonicalType)) { 2370 // Look through type qualifiers 2371 if (isa<T>(CanonicalType.getUnqualifiedType())) 2372 return CanonicalType.getUnqualifiedType()->getAs<T>(); 2373 return 0; 2374 } 2375 2376 // If this is a typedef for a pointer type, strip the typedef off without 2377 // losing all typedef information. 2378 return cast<T>(getDesugaredType()); 2379} 2380 2381} // end namespace clang 2382 2383#endif 2384