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())
229 if (
V.isLValue() &&
V.hasLValuePath() &&
V.getLValuePath().empty() &&
230 !
V.isLValueOnePastTheEnd())
231 return V.getLValueBase().dyn_cast<
const ValueDecl *>();
238 const APValue &
V,
bool IsDefaulted) {
240 initFromIntegral(Ctx,
V.getInt(),
Type, IsDefaulted);
241 else if ((
V.isLValue() &&
V.isNullPointer()) ||
242 (
V.isMemberPointer() && !
V.getMemberPointerDecl()))
243 initFromType(
Type,
true, IsDefaulted);
246 initFromDeclaration(
const_cast<ValueDecl *
>(VD),
Type, IsDefaulted);
248 initFromStructural(Ctx,
Type,
V, IsDefaulted);
261 auto Deps = TemplateArgumentDependence::None;
264 llvm_unreachable(
"Should not have a NULL template argument");
269 Deps |= TemplateArgumentDependence::Dependent;
276 return TemplateArgumentDependence::Dependent |
277 TemplateArgumentDependence::Instantiation;
280 auto *DC = dyn_cast<DeclContext>(
getAsDecl());
283 if (DC->isDependentContext())
284 Deps = TemplateArgumentDependence::Dependent |
285 TemplateArgumentDependence::Instantiation;
292 return TemplateArgumentDependence::None;
297 Deps |= TemplateArgumentDependence::Dependent |
298 TemplateArgumentDependence::Instantiation;
303 Deps |=
P.getDependence();
306 llvm_unreachable(
"unhandled ArgKind");
310 return getDependence() & TemplateArgumentDependence::Dependent;
314 return getDependence() & TemplateArgumentDependence::Instantiation;
332 return isa<PackExpansionType>(
getAsType());
335 return isa<PackExpansionExpr>(
getAsExpr());
338 llvm_unreachable(
"Invalid TemplateArgument Kind!");
342 return getDependence() & TemplateArgumentDependence::UnexpandedPack;
378 llvm_unreachable(
"Invalid TemplateArgument Kind!");
423 ID.AddInteger(
Args.NumArgs);
424 for (
unsigned I = 0; I !=
Args.NumArgs; ++I)
425 Args.Args[I].Profile(ID, Context);
454 Other.getStructuralValueType().getCanonicalType())
457 llvm::FoldingSetNodeID A, B;
459 Other.getAsStructuralValue().Profile(B);
464 if (
Args.NumArgs !=
Other.Args.NumArgs)
return false;
465 for (
unsigned I = 0, E =
Args.NumArgs; I != E; ++I)
466 if (!
Args.Args[I].structurallyEquals(
Other.Args.Args[I]))
471 llvm_unreachable(
"Invalid TemplateArgument Kind!");
482 return cast<PackExpansionExpr>(
getAsExpr())->getPattern();
497 llvm_unreachable(
"Invalid TemplateArgument Kind!");
501 bool IncludeType)
const {
518 if (
auto *TPO = dyn_cast<TemplateParamObjectDecl>(ND)) {
519 TPO->getType().getUnqualifiedType().print(Out, Policy);
520 TPO->printAsInit(Out, Policy);
524 if (
auto *VD = dyn_cast<ValueDecl>(ND)) {
567 P.print(Policy, Out, IncludeType);
600 return TSI->getTypeLoc().getSourceRange();
627 llvm_unreachable(
"Invalid TemplateArgument Kind!");
636 return DB <<
"(null template argument)";
645 return DB <<
"nullptr";
653 llvm::raw_svector_ostream OS(Str);
655 LangOpts.CPlusPlus =
true;
659 return DB << OS.str();
673 llvm::raw_svector_ostream OS(Str);
675 LangOpts.CPlusPlus =
true;
678 return DB << OS.str();
684 llvm::raw_svector_ostream OS(Str);
686 LangOpts.CPlusPlus =
true;
688 Arg.
print(Policy, OS,
true);
689 return DB << OS.str();
693 llvm_unreachable(
"Invalid TemplateArgument Kind!");
704 TemplateTemplateArgLocInfo *Template =
new (Ctx) TemplateTemplateArgLocInfo;
707 Template->TemplateNameLoc = TemplateNameLoc;
708 Template->EllipsisLoc = EllipsisLoc;
715 std::size_t size = totalSizeToAlloc<TemplateArgumentLoc>(List.size());
726 totalSizeToAlloc<TemplateArgumentLoc>(List->getNumTemplateArgs());
731ASTTemplateArgumentListInfo::ASTTemplateArgumentListInfo(
742ASTTemplateArgumentListInfo::ASTTemplateArgumentListInfo(
782 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 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.
@ 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 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>'.
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()