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)";
97 Kind = CharacterLiteralKind::Wide;
99 Kind = CharacterLiteralKind::UTF8;
101 Kind = CharacterLiteralKind::UTF16;
103 Kind = CharacterLiteralKind::UTF32;
105 Kind = CharacterLiteralKind::Ascii;
107 }
else if (IncludeType) {
109 switch (BT->getKind()) {
110 case BuiltinType::ULongLong:
113 case BuiltinType::LongLong:
116 case BuiltinType::ULong:
119 case BuiltinType::Long:
122 case BuiltinType::UInt:
125 case BuiltinType::Int:
142 while (
const auto *
arrayType =
type->getAsArrayTypeUnsafe()) {
164void TemplateArgument::initFromType(
QualType T,
bool IsNullPtr,
173 assert(
D &&
"Expected decl");
175 DeclArg.IsDefaulted = IsDefaulted;
180void TemplateArgument::initFromIntegral(
const ASTContext &Ctx,
181 const llvm::APSInt &
Value,
184 Integer.IsDefaulted = IsDefaulted;
189 unsigned NumWords =
Value.getNumWords();
191 void *Mem = Ctx.
Allocate(NumWords *
sizeof(uint64_t));
192 std::memcpy(Mem,
Value.getRawData(), NumWords *
sizeof(uint64_t));
202 const APValue &
V,
bool IsDefaulted) {
204 Value.IsDefaulted = IsDefaulted;
213 initFromIntegral(Ctx,
Value,
Type, IsDefaulted);
219 if (
V.isMemberPointer() &&
V.getMemberPointerPath().empty())
220 return V.getMemberPointerDecl();
224 if (
V.isStruct() ||
V.isUnion()) {
234 if (
V.isLValue() &&
V.hasLValuePath() &&
V.getLValuePath().empty() &&
235 !
V.isLValueOnePastTheEnd())
236 return V.getLValueBase().dyn_cast<
const ValueDecl *>();
243 const APValue &
V,
bool IsDefaulted) {
245 initFromIntegral(Ctx,
V.getInt(),
Type, IsDefaulted);
246 else if ((
V.isLValue() &&
V.isNullPointer()) ||
247 (
V.isMemberPointer() && !
V.getMemberPointerDecl()))
248 initFromType(
Type,
true, IsDefaulted);
251 initFromDeclaration(
const_cast<ValueDecl *
>(VD),
Type, IsDefaulted);
253 initFromStructural(Ctx,
Type,
V, IsDefaulted);
266 auto Deps = TemplateArgumentDependence::None;
269 llvm_unreachable(
"Should not have a NULL template argument");
274 Deps |= TemplateArgumentDependence::Dependent;
281 return TemplateArgumentDependence::Dependent |
282 TemplateArgumentDependence::Instantiation;
285 auto *DC = dyn_cast<DeclContext>(
getAsDecl());
288 if (DC->isDependentContext())
289 Deps = TemplateArgumentDependence::Dependent |
290 TemplateArgumentDependence::Instantiation;
297 return TemplateArgumentDependence::None;
302 Deps |= TemplateArgumentDependence::Dependent |
303 TemplateArgumentDependence::Instantiation;
308 Deps |=
P.getDependence();
311 llvm_unreachable(
"unhandled ArgKind");
315 return getDependence() & TemplateArgumentDependence::Dependent;
319 return getDependence() & TemplateArgumentDependence::Instantiation;
337 return isa<PackExpansionType>(
getAsType());
340 return isa<PackExpansionExpr>(
getAsExpr());
343 llvm_unreachable(
"Invalid TemplateArgument Kind!");
347 return getDependence() & TemplateArgumentDependence::UnexpandedPack;
383 llvm_unreachable(
"Invalid TemplateArgument Kind!");
428 ID.AddInteger(
Args.NumArgs);
429 for (
unsigned I = 0;
I !=
Args.NumArgs; ++
I)
430 Args.Args[
I].Profile(ID, Context);
459 Other.getStructuralValueType().getCanonicalType())
462 llvm::FoldingSetNodeID A, B;
464 Other.getAsStructuralValue().Profile(B);
469 if (
Args.NumArgs !=
Other.Args.NumArgs)
return false;
470 for (
unsigned I = 0,
E =
Args.NumArgs;
I !=
E; ++
I)
471 if (!
Args.Args[
I].structurallyEquals(
Other.Args.Args[
I]))
476 llvm_unreachable(
"Invalid TemplateArgument Kind!");
487 return cast<PackExpansionExpr>(
getAsExpr())->getPattern();
502 llvm_unreachable(
"Invalid TemplateArgument Kind!");
506 bool IncludeType)
const {
523 if (
auto *TPO = dyn_cast<TemplateParamObjectDecl>(ND)) {
524 TPO->getType().getUnqualifiedType().print(Out, Policy);
525 TPO->printAsInit(Out, Policy);
529 if (
auto *VD = dyn_cast<ValueDecl>(ND)) {
573 P.print(Policy, Out, IncludeType);
597 return TSI->getTypeLoc().getSourceRange();
624 llvm_unreachable(
"Invalid TemplateArgument Kind!");
633 return DB <<
"(null template argument)";
642 return DB <<
"nullptr";
650 llvm::raw_svector_ostream OS(Str);
652 LangOpts.CPlusPlus =
true;
656 return DB << OS.str();
670 llvm::raw_svector_ostream OS(Str);
672 LangOpts.CPlusPlus =
true;
675 return DB << OS.str();
681 llvm::raw_svector_ostream OS(Str);
683 LangOpts.CPlusPlus =
true;
685 Arg.
print(Policy, OS,
true);
686 return DB << OS.str();
690 llvm_unreachable(
"Invalid TemplateArgument Kind!");
701 TemplateTemplateArgLocInfo *Template =
new (Ctx) TemplateTemplateArgLocInfo;
704 Template->TemplateNameLoc = TemplateNameLoc;
705 Template->EllipsisLoc = EllipsisLoc;
712 std::size_t size = totalSizeToAlloc<TemplateArgumentLoc>(List.size());
723 totalSizeToAlloc<TemplateArgumentLoc>(List->getNumTemplateArgs());
728ASTTemplateArgumentListInfo::ASTTemplateArgumentListInfo(
739ASTTemplateArgumentListInfo::ASTTemplateArgumentListInfo(
779 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 const ValueDecl * getAsSimpleValueDeclRef(const ASTContext &Ctx, QualType T, const APValue &V)
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.
APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat],...
void Profile(llvm::FoldingSetNodeID &ID) const
profile this value.
void printPretty(raw_ostream &OS, const ASTContext &Ctx, QualType Ty) const
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
TemplateParamObjectDecl * getTemplateParamObjectDecl(QualType T, const APValue &V) const
Return the template parameter object of the given type with the given value.
void * Allocate(size_t Size, unsigned Align=8) const
void addDestruction(T *Ptr) const
If T isn't trivially destructible, calls AddDeallocation to register it for destruction.
This class is used for builtin types like 'int'.
static void print(unsigned val, CharacterLiteralKind 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
void * getAsOpaquePtr() 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 * getSourceStructuralValueExpression() 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 getStructuralValueType() const
Get the type of a StructuralValue.
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 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.
@ StructuralValue
The template argument is a non-type template argument that can't be represented by the special-case D...
@ 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,...
const APValue & getAsStructuralValue() const
Get the value of a StructuralValue.
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 isIntegralOrEnumerationType() const
Determine whether this type is an integral or enumeration type.
bool isAnyCharacterType() const
Determine whether this type is any of the built-in character types.
bool isInstantiationDependentType() const
Determine whether this type is an instantiation-dependent type, meaning that the type involves a temp...
bool isSpecificBuiltinType(unsigned K) const
Test for a particular builtin type.
bool isDependentType() const
Whether this type is a dependent type, meaning that its definition somehow depends on a template para...
bool isChar16Type() const
QualType getCanonicalTypeInternal() const
bool isMemberPointerType() const
bool isChar32Type() const
bool isWideCharType() const
const T * getAs() const
Member-template getAs<specific type>'.
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
const internal::VariadicAllOfMatcher< Type > type
Matches Types in the clang AST.
const AstTypeMatcher< ArrayType > arrayType
Matches all kinds of arrays.
The JSON file list parser is used to communicate input to InstallAPI.
const StreamingDiagnostic & operator<<(const StreamingDiagnostic &DB, const ASTContext::SectionInfo &Section)
Insertion operator for diagnostics.
const FunctionProtoType * T
TemplateArgumentDependence toTemplateArgumentDependence(TypeDependence D)
@ Other
Other implicit parameter.
__UINTPTR_TYPE__ uintptr_t
An unsigned integer type with the property that any valid pointer to void can be converted to this ty...
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()