30#include "llvm/ADT/APSInt.h"
31#include "llvm/ADT/FoldingSet.h"
32#include "llvm/ADT/SmallString.h"
33#include "llvm/ADT/StringExtras.h"
34#include "llvm/ADT/StringRef.h"
35#include "llvm/Support/Casting.h"
36#include "llvm/Support/Compiler.h"
37#include "llvm/Support/ErrorHandling.h"
38#include "llvm/Support/raw_ostream.h"
69 if (llvm::APSInt::isSameValue(ECD->getInitVal(), Val)) {
70 ECD->printQualifiedName(Out, Policy);
82 Out << (Val.getBoolValue() ?
"true" :
"false");
88 Out <<
"(signed char)";
90 Out <<
"(unsigned char)";
106 }
else if (IncludeType) {
108 switch (BT->getKind()) {
109 case BuiltinType::ULongLong:
112 case BuiltinType::LongLong:
115 case BuiltinType::ULong:
118 case BuiltinType::Long:
121 case BuiltinType::UInt:
124 case BuiltinType::Int:
141 while (
const auto *
arrayType =
type->getAsArrayTypeUnsafe()) {
166 Integer.IsDefaulted = IsDefaulted;
171 unsigned NumWords =
Value.getNumWords();
173 void *Mem = Ctx.
Allocate(NumWords *
sizeof(uint64_t));
174 std::memcpy(Mem,
Value.getRawData(), NumWords *
sizeof(uint64_t));
175 Integer.pVal =
static_cast<uint64_t *
>(Mem);
193 auto Deps = TemplateArgumentDependence::None;
196 llvm_unreachable(
"Should not have a NULL template argument");
201 Deps |= TemplateArgumentDependence::Dependent;
208 return TemplateArgumentDependence::Dependent |
209 TemplateArgumentDependence::Instantiation;
212 auto *DC = dyn_cast<DeclContext>(
getAsDecl());
215 if (DC->isDependentContext())
216 Deps = TemplateArgumentDependence::Dependent |
217 TemplateArgumentDependence::Instantiation;
223 return TemplateArgumentDependence::None;
228 Deps |= TemplateArgumentDependence::Dependent |
229 TemplateArgumentDependence::Instantiation;
234 Deps |=
P.getDependence();
237 llvm_unreachable(
"unhandled ArgKind");
241 return getDependence() & TemplateArgumentDependence::Dependent;
245 return getDependence() & TemplateArgumentDependence::Instantiation;
262 return isa<PackExpansionType>(
getAsType());
265 return isa<PackExpansionExpr>(
getAsExpr());
268 llvm_unreachable(
"Invalid TemplateArgument Kind!");
272 return getDependence() & TemplateArgumentDependence::UnexpandedPack;
305 llvm_unreachable(
"Invalid TemplateArgument Kind!");
345 ID.AddInteger(
Args.NumArgs);
346 for (
unsigned I = 0; I !=
Args.NumArgs; ++I)
347 Args.Args[I].Profile(ID, Context);
352 if (
getKind() != Other.getKind())
return false;
363 return TemplateArg.Name == Other.TemplateArg.Name &&
364 TemplateArg.NumExpansions == Other.TemplateArg.NumExpansions;
367 return getAsDecl() == Other.getAsDecl() &&
375 if (
Args.NumArgs != Other.Args.NumArgs)
return false;
376 for (
unsigned I = 0, E =
Args.NumArgs; I != E; ++I)
377 if (!
Args.Args[I].structurallyEquals(Other.Args.Args[I]))
382 llvm_unreachable(
"Invalid TemplateArgument Kind!");
393 return cast<PackExpansionExpr>(
getAsExpr())->getPattern();
407 llvm_unreachable(
"Invalid TemplateArgument Kind!");
411 bool IncludeType)
const {
428 if (
auto *TPO = dyn_cast<TemplateParamObjectDecl>(ND)) {
429 TPO->getType().getUnqualifiedType().print(Out, Policy);
430 TPO->printAsInit(Out, Policy);
434 if (
auto *VD = dyn_cast<ValueDecl>(ND)) {
473 P.print(Policy, Out, IncludeType);
506 return TSI->getTypeLoc().getSourceRange();
530 llvm_unreachable(
"Invalid TemplateArgument Kind!");
539 return DB <<
"(null template argument)";
548 return DB <<
"nullptr";
564 llvm::raw_svector_ostream OS(Str);
566 LangOpts.CPlusPlus =
true;
569 return DB << OS.str();
575 llvm::raw_svector_ostream OS(Str);
577 LangOpts.CPlusPlus =
true;
579 Arg.
print(Policy, OS,
true);
580 return DB << OS.str();
584 llvm_unreachable(
"Invalid TemplateArgument Kind!");
595 TemplateTemplateArgLocInfo *Template =
new (Ctx) TemplateTemplateArgLocInfo;
598 Template->TemplateNameLoc = TemplateNameLoc;
599 Template->EllipsisLoc = EllipsisLoc;
606 std::size_t size = totalSizeToAlloc<TemplateArgumentLoc>(List.size());
617 totalSizeToAlloc<TemplateArgumentLoc>(List->getNumTemplateArgs());
622ASTTemplateArgumentListInfo::ASTTemplateArgumentListInfo(
633ASTTemplateArgumentListInfo::ASTTemplateArgumentListInfo(
673 Deps |= Info[i].getArgument().getDependence();
Defines the clang::ASTContext interface.
Defines the Diagnostic-related interfaces.
Defines the C++ template declaration subclasses.
Defines the clang::Expr interface and subclasses for C++ expressions.
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.
Defines the clang::LangOptions interface.
static std::string toString(const clang::SanitizerSet &Sanitizers)
Produce a string containing comma-separated names of sanitizers in Sanitizers set.
static bool isRecordType(QualType T)
Defines the clang::SourceLocation class and associated facilities.
static void printIntegral(const TemplateArgument &TemplArg, raw_ostream &Out, const PrintingPolicy &Policy, bool IncludeType)
Print a template integral argument value.
static unsigned getArrayDepth(QualType type)
static const T & DiagTemplateArg(const T &DB, const TemplateArgument &Arg)
static bool needsAmpersandOnTemplateArg(QualType paramType, QualType argType)
Defines the clang::TypeLoc interface and its subclasses.
C Language Family Type Representation.
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
void * Allocate(size_t Size, unsigned Align=8) const
This class is used for builtin types like 'int'.
static void print(unsigned val, CharacterKind Kind, raw_ostream &OS)
DeclContext * getDeclContext()
An instance of this object exists for each enum constant that is defined.
A helper class that allows the use of isa/cast/dyncast to detect TagType objects of enums.
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
This represents a decl that may have a name.
void printQualifiedName(raw_ostream &OS) const
Returns a human-readable qualified name for this declaration, like A::B::i, for i being member of nam...
A C++ nested-name-specifier augmented with source location information.
void * getOpaqueData() const
Retrieve the opaque pointer that refers to source-location data.
NestedNameSpecifier * getNestedNameSpecifier() const
Retrieve the nested-name-specifier to which this instance refers.
Represents a pack expansion of types.
A (possibly-)qualified type.
void Profile(llvm::FoldingSetNodeID &ID) const
const Type * getTypePtr() const
Retrieves a pointer to the underlying (unqualified) type.
void print(raw_ostream &OS, const PrintingPolicy &Policy, const Twine &PlaceHolder=Twine(), unsigned Indentation=0) const
static std::string getAsString(SplitQualType split, const PrintingPolicy &Policy)
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.
void printPretty(raw_ostream &OS, PrinterHelper *Helper, const PrintingPolicy &Policy, unsigned Indentation=0, StringRef NewlineSymbol="\n", const ASTContext *Context=nullptr) const
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
void Profile(llvm::FoldingSetNodeID &ID, const ASTContext &Context, bool Canonical, bool ProfileLambdaExpr=false) const
Produce a unique representation of the given statement.
The streaming interface shared between DiagnosticBuilder and PartialDiagnostic.
A convenient class for passing around template argument information.
SourceLocation getRAngleLoc() const
void setLAngleLoc(SourceLocation Loc)
void setRAngleLoc(SourceLocation Loc)
void addArgument(const TemplateArgumentLoc &Loc)
SourceLocation getLAngleLoc() const
Location wrapper for a TemplateArgument.
SourceLocation getTemplateEllipsisLoc() const
Expr * getSourceIntegralExpression() const
SourceLocation getTemplateNameLoc() const
TypeSourceInfo * getTypeSourceInfo() const
Expr * getSourceNullPtrExpression() const
SourceRange getSourceRange() const LLVM_READONLY
NestedNameSpecifierLoc getTemplateQualifierLoc() const
Expr * getSourceDeclExpression() const
Expr * getSourceExpression() const
Represents a template argument.
QualType getParamTypeForDecl() const
Expr * getAsExpr() const
Retrieve the template argument as an expression.
bool isDependent() const
Whether this template argument is dependent on a template parameter such that its result can change f...
std::optional< unsigned > getNumTemplateExpansions() const
Retrieve the number of expansions that a template template argument expansion will produce,...
bool isInstantiationDependent() const
Whether this template argument is dependent on a template parameter.
constexpr TemplateArgument()
Construct an empty, invalid template argument.
QualType getNonTypeTemplateArgumentType() const
If this is a non-type template argument, get its type.
void dump() const
Debugging aid that dumps the template argument to standard error.
void Profile(llvm::FoldingSetNodeID &ID, const ASTContext &Context) const
Used to insert TemplateArguments into FoldingSets.
QualType getAsType() const
Retrieve the type for a type template argument.
llvm::APSInt getAsIntegral() const
Retrieve the template argument as an integral value.
QualType getNullPtrType() const
Retrieve the type for null non-type template argument.
static TemplateArgument CreatePackCopy(ASTContext &Context, ArrayRef< TemplateArgument > Args)
Create a new template argument pack by copying the given set of template arguments.
TemplateName getAsTemplate() const
Retrieve the template name for a template name argument.
bool containsUnexpandedParameterPack() const
Whether this template argument contains an unexpanded parameter pack.
TemplateArgument getPackExpansionPattern() const
When the template argument is a pack expansion, returns the pattern of the pack expansion.
static TemplateArgument getEmptyPack()
bool structurallyEquals(const TemplateArgument &Other) const
Determines whether two template arguments are superficially the same.
void print(const PrintingPolicy &Policy, raw_ostream &Out, bool IncludeType) const
Print this template argument to the given output stream.
QualType getIntegralType() const
Retrieve the type of the integral value.
ValueDecl * getAsDecl() const
Retrieve the declaration for a declaration non-type template argument.
ArrayRef< TemplateArgument > pack_elements() const
Iterator range referencing all of the elements of a template argument pack.
@ 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,...
ArgKind getKind() const
Return the kind of stored template argument.
TemplateArgumentDependence getDependence() const
bool isPackExpansion() const
Determine whether this template argument is a pack expansion.
TemplateName getAsTemplateOrTemplatePattern() const
Retrieve the template argument as a template name; if the argument is a pack expansion,...
void print(raw_ostream &OS, const PrintingPolicy &Policy, Qualified Qual=Qualified::AsWritten) const
Print the template name.
A container of type source information.
The base class of the type hierarchy.
bool isBooleanType() const
bool isPointerType() const
const T * castAs() const
Member-template castAs<specific type>.
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
bool isAnyCharacterType() const
Determine whether this type is any of the built-in character types.
bool isSpecificBuiltinType(unsigned K) const
Test for a particular builtin type.
bool isChar16Type() const
QualType getCanonicalTypeInternal() const
bool isMemberPointerType() const
bool isChar32Type() const
bool isWideCharType() const
const T * getAs() const
Member-template getAs<specific type>'.
const internal::VariadicAllOfMatcher< Type > type
Matches Types in the clang AST.
const AstTypeMatcher< ArrayType > arrayType
Matches all kinds of arrays.
const StreamingDiagnostic & operator<<(const StreamingDiagnostic &DB, const ASTContext::SectionInfo &Section)
Insertion operator for diagnostics.
@ C
Languages that the frontend can parse and compile.
TemplateArgumentDependence toTemplateArgumentDependence(TypeDependence D)
Represents an explicit template argument list in C++, e.g., the "<int>" in "sort<int>".
SourceLocation RAngleLoc
The source location of the right angle bracket ('>').
SourceLocation LAngleLoc
The source location of the left angle bracket ('<').
SourceLocation getLAngleLoc() const
static const ASTTemplateArgumentListInfo * Create(const ASTContext &C, const TemplateArgumentListInfo &List)
unsigned getNumTemplateArgs() const
unsigned NumTemplateArgs
The number of template arguments in TemplateArgs.
SourceLocation getRAngleLoc() const
SourceLocation LAngleLoc
The source location of the left angle bracket ('<').
void copyInto(const TemplateArgumentLoc *ArgArray, TemplateArgumentListInfo &List) const
unsigned NumTemplateArgs
The number of template arguments in TemplateArgs.
void initializeFrom(SourceLocation TemplateKWLoc, const TemplateArgumentListInfo &List, TemplateArgumentLoc *OutArgArray)
SourceLocation RAngleLoc
The source location of the right angle bracket ('>').
SourceLocation TemplateKWLoc
The source location of the template keyword; this is used as part of the representation of qualified ...
Describes how types, statements, expressions, and declarations should be printed.
unsigned MSVCFormatting
Use whitespace and punctuation like MSVC does.
unsigned SuppressStrongLifetime
When true, suppress printing of the __strong lifetime qualifier in ARC.
unsigned UseEnumerators
Whether to print enumerator non-type template parameters with a matching enumerator name or via cast ...
TemplateArgumentLocInfo()