25#include "llvm/Support/ErrorHandling.h"
26#include "llvm/Support/MathExtras.h"
42class TypeLocRanger :
public TypeLocVisitor<TypeLocRanger, SourceRange> {
44#define ABSTRACT_TYPELOC(CLASS, PARENT)
45#define TYPELOC(CLASS, PARENT) \
46 SourceRange Visit##CLASS##TypeLoc(CLASS##TypeLoc TyLoc) { \
47 return TyLoc.getLocalSourceRange(); \
49#include "clang/AST/TypeLocNodes.def"
56 return TypeLocRanger().Visit(TL);
63#define ABSTRACT_TYPELOC(CLASS, PARENT)
64#define TYPELOC(CLASS, PARENT) \
65 unsigned Visit##CLASS##TypeLoc(CLASS##TypeLoc TyLoc) { \
66 return TyLoc.getLocalDataAlignment(); \
68#include "clang/AST/TypeLocNodes.def"
75 if (
Ty.isNull())
return 1;
76 return TypeAligner().Visit(
TypeLoc(
Ty,
nullptr));
83#define ABSTRACT_TYPELOC(CLASS, PARENT)
84#define TYPELOC(CLASS, PARENT) \
85 unsigned Visit##CLASS##TypeLoc(CLASS##TypeLoc TyLoc) { \
86 return TyLoc.getLocalDataSize(); \
88#include "clang/AST/TypeLocNodes.def"
97 unsigned MaxAlign = 1;
100 MaxAlign = std::max(Align, MaxAlign);
101 Total = llvm::alignTo(Total, Align);
102 Total += TypeSizer().Visit(TyLoc);
105 Total = llvm::alignTo(Total, MaxAlign);
113#define ABSTRACT_TYPELOC(CLASS, PARENT)
114#define TYPELOC(CLASS, PARENT) \
115 TypeLoc Visit##CLASS##TypeLoc(CLASS##TypeLoc TyLoc) { \
116 return TyLoc.getNextTypeLoc(); \
118#include "clang/AST/TypeLocNodes.def"
126 return NextLoc().Visit(TL);
136#define ABSTRACT_TYPELOC(CLASS, PARENT)
137#define TYPELOC(CLASS, PARENT) \
139 CLASS##TypeLoc TLCasted = TL.castAs<CLASS##TypeLoc>(); \
140 TLCasted.initializeLocal(Context, Loc); \
141 TL = TLCasted.getNextTypeLoc(); \
145#include "clang/AST/TypeLocNodes.def"
156 TypeLocCopier(
TypeLoc source) : Source(source) {}
158#define ABSTRACT_TYPELOC(CLASS, PARENT)
159#define TYPELOC(CLASS, PARENT) \
160 void Visit##CLASS##TypeLoc(CLASS##TypeLoc dest) { \
161 dest.copyLocal(Source.castAs<CLASS##TypeLoc>()); \
163#include "clang/AST/TypeLocNodes.def"
187 TypeLocCopier(other).Visit(TL);
213 case FunctionNoProto:
215 case DependentSizedArray:
216 case IncompleteArray:
243 return Last.getLocalSourceRange().getEnd();
246 case DependentSizedArray:
247 case IncompleteArray:
249 case FunctionNoProto:
260 case ObjCObjectPointer:
268 case LValueReference:
269 case RValueReference:
289 static bool isTypeSpec(
TypeLoc _) {
return false; }
291#define ABSTRACT_TYPELOC(CLASS, PARENT)
292#define TYPELOC(CLASS, PARENT) \
293 bool Visit##CLASS##TypeLoc(CLASS##TypeLoc TyLoc) { \
294 return isTypeSpec(TyLoc); \
296#include "clang/AST/TypeLocNodes.def"
309bool TypeSpecTypeLoc::isKind(
const TypeLoc &TL) {
311 return TSTChecker().
Visit(TL);
336 case BuiltinType::Void:
338 case BuiltinType::Bool:
340 case BuiltinType::Char_U:
341 case BuiltinType::Char_S:
343 case BuiltinType::Char8:
345 case BuiltinType::Char16:
347 case BuiltinType::Char32:
349 case BuiltinType::WChar_S:
350 case BuiltinType::WChar_U:
352 case BuiltinType::UChar:
353 case BuiltinType::UShort:
354 case BuiltinType::UInt:
355 case BuiltinType::ULong:
356 case BuiltinType::ULongLong:
357 case BuiltinType::UInt128:
358 case BuiltinType::SChar:
359 case BuiltinType::Short:
360 case BuiltinType::Int:
361 case BuiltinType::Long:
362 case BuiltinType::LongLong:
363 case BuiltinType::Int128:
364 case BuiltinType::Half:
365 case BuiltinType::Float:
366 case BuiltinType::Double:
367 case BuiltinType::LongDouble:
368 case BuiltinType::Float16:
369 case BuiltinType::Float128:
370 case BuiltinType::Ibm128:
371 case BuiltinType::ShortAccum:
372 case BuiltinType::Accum:
373 case BuiltinType::LongAccum:
374 case BuiltinType::UShortAccum:
375 case BuiltinType::UAccum:
376 case BuiltinType::ULongAccum:
377 case BuiltinType::ShortFract:
378 case BuiltinType::Fract:
379 case BuiltinType::LongFract:
380 case BuiltinType::UShortFract:
381 case BuiltinType::UFract:
382 case BuiltinType::ULongFract:
383 case BuiltinType::SatShortAccum:
384 case BuiltinType::SatAccum:
385 case BuiltinType::SatLongAccum:
386 case BuiltinType::SatUShortAccum:
387 case BuiltinType::SatUAccum:
388 case BuiltinType::SatULongAccum:
389 case BuiltinType::SatShortFract:
390 case BuiltinType::SatFract:
391 case BuiltinType::SatLongFract:
392 case BuiltinType::SatUShortFract:
393 case BuiltinType::SatUFract:
394 case BuiltinType::SatULongFract:
395 case BuiltinType::BFloat16:
396 llvm_unreachable(
"Builtin type needs extra local data!");
399 case BuiltinType::NullPtr:
400 case BuiltinType::Overload:
401 case BuiltinType::Dependent:
402 case BuiltinType::BoundMember:
403 case BuiltinType::UnknownAny:
404 case BuiltinType::ARCUnbridgedCast:
405 case BuiltinType::PseudoObject:
406 case BuiltinType::ObjCId:
407 case BuiltinType::ObjCClass:
408 case BuiltinType::ObjCSel:
409#define IMAGE_TYPE(ImgType, Id, SingletonId, Access, Suffix) \
410 case BuiltinType::Id:
411#include "clang/Basic/OpenCLImageTypes.def"
412#define EXT_OPAQUE_TYPE(ExtType, Id, Ext) \
413 case BuiltinType::Id:
414#include "clang/Basic/OpenCLExtensionTypes.def"
415 case BuiltinType::OCLSampler:
416 case BuiltinType::OCLEvent:
417 case BuiltinType::OCLClkEvent:
418 case BuiltinType::OCLQueue:
419 case BuiltinType::OCLReserveID:
420#define SVE_TYPE(Name, Id, SingletonId) \
421 case BuiltinType::Id:
422#include "clang/Basic/AArch64SVEACLETypes.def"
423#define PPC_VECTOR_TYPE(Name, Id, Size) \
424 case BuiltinType::Id:
425#include "clang/Basic/PPCTypes.def"
426#define RVV_TYPE(Name, Id, SingletonId) case BuiltinType::Id:
427#include "clang/Basic/RISCVVTypes.def"
428#define WASM_TYPE(Name, Id, SingletonId) case BuiltinType::Id:
429#include "clang/Basic/WebAssemblyReferenceTypes.def"
430 case BuiltinType::BuiltinFn:
431 case BuiltinType::IncompleteMatrixIdx:
432 case BuiltinType::OMPArraySection:
433 case BuiltinType::OMPArrayShaping:
434 case BuiltinType::OMPIterator:
438 llvm_unreachable(
"Invalid BuiltinType Kind!");
443 TL = PTL.getInnerLoc();
448 if (
auto ATL = getAs<AttributedTypeLoc>()) {
449 const Attr *A = ATL.getAttr();
450 if (A && (isa<TypeNullableAttr>(A) || isa<TypeNonNullAttr>(A) ||
451 isa<TypeNullUnspecifiedAttr>(A)))
460 if (
auto qual = getAs<QualifiedTypeLoc>())
467 if (
attr.isQualifier())
return attr;
468 return attr.getModifiedLoc().findExplicitQualifierLoc();
498 getTypePtr()->getTypeArgsAsWritten()[i], Loc));
546 Builder.MakeTrivial(Context,
getTypePtr()->getQualifier(), Loc);
554 Builder.MakeTrivial(Context,
getTypePtr()->getQualifier(), Loc);
565 Builder.MakeTrivial(Context,
getTypePtr()->getQualifier(), Loc);
575 Context,
getTypePtr()->template_arguments(), getArgInfos(), Loc);
581 for (
unsigned i = 0, e = Args.size(); i != e; ++i) {
584 llvm_unreachable(
"Impossible TemplateArgument");
605 TemplateName Template = Args[i].getAsTemplateOrTemplatePattern();
607 Builder.MakeTrivial(Context, DTN->getQualifier(), Loc);
609 Builder.MakeTrivial(Context, QTN->getQualifier(), Loc);
612 Context, Builder.getWithLocInContext(Context), Loc,
638 for (
unsigned i = 0; i < size; ++i) {
664 class GetContainedAutoTypeLocVisitor :
735 TypeLoc Res = GetContainedAutoTypeLocVisitor().Visit(*
this);
This file provides AST data structures related to concepts.
Defines the clang::ASTContext interface.
static Decl::Kind getKind(const Decl *D)
Defines the C++ template declaration subclasses.
Defines the clang::SourceLocation class and associated facilities.
Defines various enumerations that describe declaration and type specifiers.
static ConceptReference * createTrivialConceptReference(ASTContext &Context, SourceLocation Loc, const AutoType *AT)
static const unsigned TypeLocMaxDataAlign
Defines the clang::TypeLoc interface and its subclasses.
__DEVICE__ void * memcpy(void *__a, const void *__b, size_t __c)
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
TypeSourceInfo * getTrivialTypeSourceInfo(QualType T, SourceLocation Loc=SourceLocation()) const
Allocate a TypeSourceInfo where all locations have been initialized to a given location,...
TypeLoc getOriginalLoc() const
Wrapper for source info for arrays.
TypeLoc getElementLoc() const
Attr - This represents one attribute.
SourceLocation getLocation() const
SourceRange getRange() const
Type source information for an attributed type.
const Attr * getAttr() const
The type attribute.
TypeLoc getModifiedLoc() const
The modified type, which is generally canonically different from the attribute type.
SourceRange getLocalSourceRange() const
void initializeLocal(ASTContext &Context, SourceLocation Loc)
void setConceptReference(ConceptReference *CR)
bool isConstrained() const
void setRParenLoc(SourceLocation Loc)
Represents a C++11 auto or C++14 decltype(auto) type, possibly constrained by a type-constraint.
ArrayRef< TemplateArgument > getTypeConstraintArguments() const
ConceptDecl * getTypeConstraintConcept() const
Type source information for an btf_tag attributed type.
TypeLoc getWrappedLoc() const
const BTFTypeTagAttr * getAttr() const
The btf_type_tag attribute.
SourceRange getLocalSourceRange() const
Wrapper for source info for block pointers.
TypeSpecifierType getWrittenTypeSpec() const
bool needsExtraLocalData() const
WrittenBuiltinSpecs & getWrittenBuiltinSpecs()
A reference to a concept and its template args, as it appears in the code.
static ConceptReference * Create(const ASTContext &C, NestedNameSpecifierLoc NNS, SourceLocation TemplateKWLoc, DeclarationNameInfo ConceptNameInfo, NamedDecl *FoundDecl, ConceptDecl *NamedConcept, const ASTTemplateArgumentListInfo *ArgsAsWritten)
const BuiltinType * getTypePtr() const
LocalData * getLocalData() const
SourceLocation getLocation() const
void initializeLocal(ASTContext &Context, SourceLocation Loc)
void setNameLoc(SourceLocation Loc)
void setElaboratedKeywordLoc(SourceLocation Loc)
void setQualifierLoc(NestedNameSpecifierLoc QualifierLoc)
Represents a dependent template name that cannot be resolved prior to template instantiation.
void setQualifierLoc(NestedNameSpecifierLoc QualifierLoc)
void initializeLocal(ASTContext &Context, SourceLocation Loc)
void setTemplateKeywordLoc(SourceLocation Loc)
void setElaboratedKeywordLoc(SourceLocation Loc)
void setRAngleLoc(SourceLocation Loc)
void setLAngleLoc(SourceLocation Loc)
void setTemplateNameLoc(SourceLocation Loc)
void initializeLocal(ASTContext &Context, SourceLocation Loc)
void setElaboratedKeywordLoc(SourceLocation Loc)
TypeLoc getNamedTypeLoc() const
void setQualifierLoc(NestedNameSpecifierLoc QualifierLoc)
bool hasTrailingReturn() const
Whether this function prototype has a trailing return type.
Wrapper for source info for functions.
TypeLoc getReturnLoc() const
const TypeClass * getTypePtr() const
TypeLoc getInnerLoc() const
Wrapper for source info for member pointers.
IdentifierInfo * getIdentifier() const
Get the identifier that names this declaration, if there is one.
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
Class that aids in the construction of nested-name-specifiers along with source-location information ...
A C++ nested-name-specifier augmented with source location information.
Wraps an ObjCPointerType with source location information.
SourceLocation getStarLoc() const
void setTypeArgsRAngleLoc(SourceLocation Loc)
void initializeLocal(ASTContext &Context, SourceLocation Loc)
unsigned getNumTypeArgs() const
unsigned getNumProtocols() const
void setTypeArgsLAngleLoc(SourceLocation Loc)
void setTypeArgTInfo(unsigned i, TypeSourceInfo *TInfo)
void setProtocolLAngleLoc(SourceLocation Loc)
void setProtocolRAngleLoc(SourceLocation Loc)
void setHasBaseTypeAsWritten(bool HasBaseType)
void setProtocolLoc(unsigned i, SourceLocation Loc)
unsigned getNumProtocols() const
void setProtocolLoc(unsigned i, SourceLocation Loc)
void setProtocolLAngleLoc(SourceLocation Loc)
void initializeLocal(ASTContext &Context, SourceLocation Loc)
void setProtocolRAngleLoc(SourceLocation Loc)
void setNameLoc(SourceLocation Loc)
TypeLoc getPatternLoc() const
TypeLoc getInnerLoc() const
TypeLoc getPointeeLoc() const
Wrapper for source info for pointers.
A (possibly-)qualified type.
bool hasLocalQualifiers() const
Determine whether this particular QualType instance has any qualifiers, without looking through any t...
Represents a template name that was expressed as a qualified name.
Wrapper of type source information for a type with non-trivial direct qualifiers.
UnqualTypeLoc getUnqualifiedLoc() const
Encodes a location in the source.
bool isValid() const
Return true if this is a valid SourceLocation object.
A trivial tuple used to represent a source range.
SourceLocation getBegin() const
Represents the declaration of a struct/union/class/enum.
bool isCompleteDefinition() const
Return true if this decl has its body fully specified.
TagDecl * getDecl() const
bool isDefinition() const
True if the tag was defined in this type specifier.
A convenient class for passing around template argument information.
void addArgument(const TemplateArgumentLoc &Loc)
Location wrapper for a TemplateArgument.
@ Declaration
The template argument is a declaration that was provided for a pointer, reference,...
@ Template
The template argument is a template name that was provided for a template template parameter.
@ Pack
The template argument is actually a parameter pack.
@ TemplateExpansion
The template argument is a pack expansion of a template name that was provided for a template templat...
@ NullPtr
The template argument is a null pointer or null pointer to member that was provided for a non-type te...
@ Type
The template argument is a type.
@ Null
Represents an empty template argument, e.g., one that has not been deduced.
@ Integral
The template argument is an integral value stored in an llvm::APSInt that was provided for an integra...
@ Expression
The template argument is an expression, and we've not resolved it to one of the other forms yet,...
Represents a C++ template name within the type system.
DependentTemplateName * getAsDependentTemplateName() const
Retrieve the underlying dependent template name structure, if any.
QualifiedTemplateName * getAsQualifiedTemplateName() const
Retrieve the underlying qualified template name structure, if any.
static void initializeArgLocs(ASTContext &Context, ArrayRef< TemplateArgument > Args, TemplateArgumentLocInfo *ArgInfos, SourceLocation Loc)
RetTy Visit(TypeLoc TyLoc)
Base wrapper for a particular "section" of type source info.
SourceLocation findNullabilityLoc() const
Find the location of the nullability specifier (__nonnull, __nullable, or __null_unspecifier),...
static unsigned getLocalAlignmentForType(QualType Ty)
Returns the alignment of type source info data block for the given type.
TypeLoc findExplicitQualifierLoc() const
Find a type with the location of an explicit type qualifier.
QualType getType() const
Get the type for which this source info wrapper provides information.
TypeLoc getNextTypeLoc() const
Get the next TypeLoc pointed by this TypeLoc, e.g for "int*" the TypeLoc is a PointerLoc and next Typ...
T getAs() const
Convert to the specified TypeLoc type, returning a null TypeLoc if this TypeLoc is not of the desired...
TypeLoc IgnoreParens() const
T castAs() const
Convert to the specified TypeLoc type, asserting that this TypeLoc is of the desired type.
SourceRange getLocalSourceRange() const
Get the local source range.
unsigned getFullDataSize() const
Returns the size of the type source info data block.
AutoTypeLoc getContainedAutoTypeLoc() const
Get the typeloc of an AutoType whose type will be deduced for a variable with an initializer of this ...
void copy(TypeLoc other)
Copies the other type loc into this one.
TypeLocClass getTypeLocClass() const
static unsigned getFullDataSizeForType(QualType Ty)
Returns the size of type source info data block for the given type.
SourceLocation getEndLoc() const
Get the end source location.
SourceLocation getBeginLoc() const
Get the begin source location.
SourceRange getLocalSourceRange() const
Expr * getUnderlyingExpr() const
void initializeLocal(ASTContext &Context, SourceLocation Loc)
QualType getUnmodifiedType() const
A reasonable base class for TypeLocs that correspond to types that are written as a type-specifier.
SourceLocation getNameLoc() const
void setNameLoc(SourceLocation Loc)
SourceLocation getRParenLoc() const
SourceLocation getTypeofLoc() const
const internal::VariadicAllOfMatcher< Attr > attr
Matches attributes.
TypeSpecifierType
Specifies the kind of type.
__UINTPTR_TYPE__ uintptr_t
An unsigned integer type with the property that any valid pointer to void can be converted to this ty...
static const ASTTemplateArgumentListInfo * Create(const ASTContext &C, const TemplateArgumentListInfo &List)
DeclarationNameInfo - A collector data type for bundling together a DeclarationName and the correspon...
Location information for a TemplateArgument.