clang  12.0.0git
TypeLoc.cpp
Go to the documentation of this file.
1 //===- TypeLoc.cpp - Type Source Info Wrapper -----------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // This file defines the TypeLoc subclasses implementations.
10 //
11 //===----------------------------------------------------------------------===//
12 
13 #include "clang/AST/TypeLoc.h"
14 #include "clang/AST/DeclTemplate.h"
15 #include "clang/AST/ASTContext.h"
16 #include "clang/AST/Attr.h"
17 #include "clang/AST/Expr.h"
19 #include "clang/AST/TemplateBase.h"
20 #include "clang/AST/TemplateName.h"
23 #include "clang/Basic/Specifiers.h"
24 #include "llvm/Support/ErrorHandling.h"
25 #include "llvm/Support/MathExtras.h"
26 #include <algorithm>
27 #include <cassert>
28 #include <cstdint>
29 #include <cstring>
30 
31 using namespace clang;
32 
33 static const unsigned TypeLocMaxDataAlign = alignof(void *);
34 
35 //===----------------------------------------------------------------------===//
36 // TypeLoc Implementation
37 //===----------------------------------------------------------------------===//
38 
39 namespace {
40 
41 class TypeLocRanger : public TypeLocVisitor<TypeLocRanger, SourceRange> {
42 public:
43 #define ABSTRACT_TYPELOC(CLASS, PARENT)
44 #define TYPELOC(CLASS, PARENT) \
45  SourceRange Visit##CLASS##TypeLoc(CLASS##TypeLoc TyLoc) { \
46  return TyLoc.getLocalSourceRange(); \
47  }
48 #include "clang/AST/TypeLocNodes.def"
49 };
50 
51 } // namespace
52 
53 SourceRange TypeLoc::getLocalSourceRangeImpl(TypeLoc TL) {
54  if (TL.isNull()) return SourceRange();
55  return TypeLocRanger().Visit(TL);
56 }
57 
58 namespace {
59 
60 class TypeAligner : public TypeLocVisitor<TypeAligner, unsigned> {
61 public:
62 #define ABSTRACT_TYPELOC(CLASS, PARENT)
63 #define TYPELOC(CLASS, PARENT) \
64  unsigned Visit##CLASS##TypeLoc(CLASS##TypeLoc TyLoc) { \
65  return TyLoc.getLocalDataAlignment(); \
66  }
67 #include "clang/AST/TypeLocNodes.def"
68 };
69 
70 } // namespace
71 
72 /// Returns the alignment of the type source info data block.
74  if (Ty.isNull()) return 1;
75  return TypeAligner().Visit(TypeLoc(Ty, nullptr));
76 }
77 
78 namespace {
79 
80 class TypeSizer : public TypeLocVisitor<TypeSizer, unsigned> {
81 public:
82 #define ABSTRACT_TYPELOC(CLASS, PARENT)
83 #define TYPELOC(CLASS, PARENT) \
84  unsigned Visit##CLASS##TypeLoc(CLASS##TypeLoc TyLoc) { \
85  return TyLoc.getLocalDataSize(); \
86  }
87 #include "clang/AST/TypeLocNodes.def"
88 };
89 
90 } // namespace
91 
92 /// Returns the size of the type source info data block.
94  unsigned Total = 0;
95  TypeLoc TyLoc(Ty, nullptr);
96  unsigned MaxAlign = 1;
97  while (!TyLoc.isNull()) {
98  unsigned Align = getLocalAlignmentForType(TyLoc.getType());
99  MaxAlign = std::max(Align, MaxAlign);
100  Total = llvm::alignTo(Total, Align);
101  Total += TypeSizer().Visit(TyLoc);
102  TyLoc = TyLoc.getNextTypeLoc();
103  }
104  Total = llvm::alignTo(Total, MaxAlign);
105  return Total;
106 }
107 
108 namespace {
109 
110 class NextLoc : public TypeLocVisitor<NextLoc, TypeLoc> {
111 public:
112 #define ABSTRACT_TYPELOC(CLASS, PARENT)
113 #define TYPELOC(CLASS, PARENT) \
114  TypeLoc Visit##CLASS##TypeLoc(CLASS##TypeLoc TyLoc) { \
115  return TyLoc.getNextTypeLoc(); \
116  }
117 #include "clang/AST/TypeLocNodes.def"
118 };
119 
120 } // namespace
121 
122 /// Get the next TypeLoc pointed by this TypeLoc, e.g for "int*" the
123 /// TypeLoc is a PointerLoc and next TypeLoc is for "int".
124 TypeLoc TypeLoc::getNextTypeLocImpl(TypeLoc TL) {
125  return NextLoc().Visit(TL);
126 }
127 
128 /// Initializes a type location, and all of its children
129 /// recursively, as if the entire tree had been written in the
130 /// given location.
131 void TypeLoc::initializeImpl(ASTContext &Context, TypeLoc TL,
132  SourceLocation Loc) {
133  while (true) {
134  switch (TL.getTypeLocClass()) {
135 #define ABSTRACT_TYPELOC(CLASS, PARENT)
136 #define TYPELOC(CLASS, PARENT) \
137  case CLASS: { \
138  CLASS##TypeLoc TLCasted = TL.castAs<CLASS##TypeLoc>(); \
139  TLCasted.initializeLocal(Context, Loc); \
140  TL = TLCasted.getNextTypeLoc(); \
141  if (!TL) return; \
142  continue; \
143  }
144 #include "clang/AST/TypeLocNodes.def"
145  }
146  }
147 }
148 
149 namespace {
150 
151 class TypeLocCopier : public TypeLocVisitor<TypeLocCopier> {
152  TypeLoc Source;
153 
154 public:
155  TypeLocCopier(TypeLoc source) : Source(source) {}
156 
157 #define ABSTRACT_TYPELOC(CLASS, PARENT)
158 #define TYPELOC(CLASS, PARENT) \
159  void Visit##CLASS##TypeLoc(CLASS##TypeLoc dest) { \
160  dest.copyLocal(Source.castAs<CLASS##TypeLoc>()); \
161  }
162 #include "clang/AST/TypeLocNodes.def"
163 };
164 
165 } // namespace
166 
167 void TypeLoc::copy(TypeLoc other) {
168  assert(getFullDataSize() == other.getFullDataSize());
169 
170  // If both data pointers are aligned to the maximum alignment, we
171  // can memcpy because getFullDataSize() accurately reflects the
172  // layout of the data.
173  if (reinterpret_cast<uintptr_t>(Data) ==
174  llvm::alignTo(reinterpret_cast<uintptr_t>(Data),
176  reinterpret_cast<uintptr_t>(other.Data) ==
177  llvm::alignTo(reinterpret_cast<uintptr_t>(other.Data),
179  memcpy(Data, other.Data, getFullDataSize());
180  return;
181  }
182 
183  // Copy each of the pieces.
184  TypeLoc TL(getType(), Data);
185  do {
186  TypeLocCopier(other).Visit(TL);
187  other = other.getNextTypeLoc();
188  } while ((TL = TL.getNextTypeLoc()));
189 }
190 
192  TypeLoc Cur = *this;
193  TypeLoc LeftMost = Cur;
194  while (true) {
195  switch (Cur.getTypeLocClass()) {
196  case Elaborated:
197  LeftMost = Cur;
198  break;
199  case FunctionProto:
201  ->hasTrailingReturn()) {
202  LeftMost = Cur;
203  break;
204  }
205  LLVM_FALLTHROUGH;
206  case FunctionNoProto:
207  case ConstantArray:
208  case DependentSizedArray:
209  case IncompleteArray:
210  case VariableArray:
211  // FIXME: Currently QualifiedTypeLoc does not have a source range
212  case Qualified:
213  Cur = Cur.getNextTypeLoc();
214  continue;
215  default:
216  if (Cur.getLocalSourceRange().getBegin().isValid())
217  LeftMost = Cur;
218  Cur = Cur.getNextTypeLoc();
219  if (Cur.isNull())
220  break;
221  continue;
222  } // switch
223  break;
224  } // while
225  return LeftMost.getLocalSourceRange().getBegin();
226 }
227 
229  TypeLoc Cur = *this;
230  TypeLoc Last;
231  while (true) {
232  switch (Cur.getTypeLocClass()) {
233  default:
234  if (!Last)
235  Last = Cur;
236  return Last.getLocalSourceRange().getEnd();
237  case Paren:
238  case ConstantArray:
239  case DependentSizedArray:
240  case IncompleteArray:
241  case VariableArray:
242  case FunctionNoProto:
243  Last = Cur;
244  break;
245  case FunctionProto:
247  Last = TypeLoc();
248  else
249  Last = Cur;
250  break;
251  case Pointer:
252  case BlockPointer:
253  case MemberPointer:
254  case LValueReference:
255  case RValueReference:
256  case PackExpansion:
257  if (!Last)
258  Last = Cur;
259  break;
260  case Qualified:
261  case Elaborated:
262  break;
263  }
264  Cur = Cur.getNextTypeLoc();
265  }
266 }
267 
268 namespace {
269 
270 struct TSTChecker : public TypeLocVisitor<TSTChecker, bool> {
271  // Overload resolution does the real work for us.
272  static bool isTypeSpec(TypeSpecTypeLoc _) { return true; }
273  static bool isTypeSpec(TypeLoc _) { return false; }
274 
275 #define ABSTRACT_TYPELOC(CLASS, PARENT)
276 #define TYPELOC(CLASS, PARENT) \
277  bool Visit##CLASS##TypeLoc(CLASS##TypeLoc TyLoc) { \
278  return isTypeSpec(TyLoc); \
279  }
280 #include "clang/AST/TypeLocNodes.def"
281 };
282 
283 } // namespace
284 
285 /// Determines if the given type loc corresponds to a
286 /// TypeSpecTypeLoc. Since there is not actually a TypeSpecType in
287 /// the type hierarchy, this is made somewhat complicated.
288 ///
289 /// There are a lot of types that currently use TypeSpecTypeLoc
290 /// because it's a convenient base class. Ideally we would not accept
291 /// those here, but ideally we would have better implementations for
292 /// them.
293 bool TypeSpecTypeLoc::isKind(const TypeLoc &TL) {
294  if (TL.getType().hasLocalQualifiers()) return false;
295  return TSTChecker().Visit(TL);
296 }
297 
299  TagDecl *D = getDecl();
300  return D->isCompleteDefinition() &&
301  (D->getIdentifier() == nullptr || D->getLocation() == getNameLoc());
302 }
303 
304 // Reimplemented to account for GNU/C++ extension
305 // typeof unary-expression
306 // where there are no parentheses.
308  if (getRParenLoc().isValid())
310  else
311  return SourceRange(getTypeofLoc(),
312  getUnderlyingExpr()->getSourceRange().getEnd());
313 }
314 
315 
317  if (needsExtraLocalData())
318  return static_cast<TypeSpecifierType>(getWrittenBuiltinSpecs().Type);
319  switch (getTypePtr()->getKind()) {
320  case BuiltinType::Void:
321  return TST_void;
322  case BuiltinType::Bool:
323  return TST_bool;
324  case BuiltinType::Char_U:
325  case BuiltinType::Char_S:
326  return TST_char;
327  case BuiltinType::Char8:
328  return TST_char8;
329  case BuiltinType::Char16:
330  return TST_char16;
331  case BuiltinType::Char32:
332  return TST_char32;
333  case BuiltinType::WChar_S:
334  case BuiltinType::WChar_U:
335  return TST_wchar;
336  case BuiltinType::UChar:
337  case BuiltinType::UShort:
338  case BuiltinType::UInt:
339  case BuiltinType::ULong:
340  case BuiltinType::ULongLong:
341  case BuiltinType::UInt128:
342  case BuiltinType::SChar:
343  case BuiltinType::Short:
344  case BuiltinType::Int:
345  case BuiltinType::Long:
347  case BuiltinType::Int128:
348  case BuiltinType::Half:
349  case BuiltinType::Float:
350  case BuiltinType::Double:
351  case BuiltinType::LongDouble:
352  case BuiltinType::Float16:
353  case BuiltinType::Float128:
354  case BuiltinType::ShortAccum:
355  case BuiltinType::Accum:
356  case BuiltinType::LongAccum:
357  case BuiltinType::UShortAccum:
358  case BuiltinType::UAccum:
359  case BuiltinType::ULongAccum:
360  case BuiltinType::ShortFract:
361  case BuiltinType::Fract:
362  case BuiltinType::LongFract:
363  case BuiltinType::UShortFract:
364  case BuiltinType::UFract:
365  case BuiltinType::ULongFract:
366  case BuiltinType::SatShortAccum:
367  case BuiltinType::SatAccum:
368  case BuiltinType::SatLongAccum:
369  case BuiltinType::SatUShortAccum:
370  case BuiltinType::SatUAccum:
371  case BuiltinType::SatULongAccum:
372  case BuiltinType::SatShortFract:
373  case BuiltinType::SatFract:
374  case BuiltinType::SatLongFract:
375  case BuiltinType::SatUShortFract:
376  case BuiltinType::SatUFract:
377  case BuiltinType::SatULongFract:
378  case BuiltinType::BFloat16:
379  llvm_unreachable("Builtin type needs extra local data!");
380  // Fall through, if the impossible happens.
381 
382  case BuiltinType::NullPtr:
383  case BuiltinType::Overload:
384  case BuiltinType::Dependent:
385  case BuiltinType::BoundMember:
386  case BuiltinType::UnknownAny:
387  case BuiltinType::ARCUnbridgedCast:
388  case BuiltinType::PseudoObject:
389  case BuiltinType::ObjCId:
390  case BuiltinType::ObjCClass:
391  case BuiltinType::ObjCSel:
392 #define IMAGE_TYPE(ImgType, Id, SingletonId, Access, Suffix) \
393  case BuiltinType::Id:
394 #include "clang/Basic/OpenCLImageTypes.def"
395 #define EXT_OPAQUE_TYPE(ExtType, Id, Ext) \
396  case BuiltinType::Id:
397 #include "clang/Basic/OpenCLExtensionTypes.def"
398  case BuiltinType::OCLSampler:
399  case BuiltinType::OCLEvent:
400  case BuiltinType::OCLClkEvent:
401  case BuiltinType::OCLQueue:
402  case BuiltinType::OCLReserveID:
403 #define SVE_TYPE(Name, Id, SingletonId) \
404  case BuiltinType::Id:
405 #include "clang/Basic/AArch64SVEACLETypes.def"
406 #define PPC_VECTOR_TYPE(Name, Id, Size) \
407  case BuiltinType::Id:
408 #include "clang/Basic/PPCTypes.def"
409  case BuiltinType::BuiltinFn:
410  case BuiltinType::IncompleteMatrixIdx:
411  case BuiltinType::OMPArraySection:
412  case BuiltinType::OMPArrayShaping:
413  case BuiltinType::OMPIterator:
414  return TST_unspecified;
415  }
416 
417  llvm_unreachable("Invalid BuiltinType Kind!");
418 }
419 
420 TypeLoc TypeLoc::IgnoreParensImpl(TypeLoc TL) {
421  while (ParenTypeLoc PTL = TL.getAs<ParenTypeLoc>())
422  TL = PTL.getInnerLoc();
423  return TL;
424 }
425 
427  if (auto ATL = getAs<AttributedTypeLoc>()) {
428  const Attr *A = ATL.getAttr();
429  if (A && (isa<TypeNullableAttr>(A) || isa<TypeNonNullAttr>(A) ||
430  isa<TypeNullUnspecifiedAttr>(A)))
431  return A->getLocation();
432  }
433 
434  return {};
435 }
436 
438  // Qualified types.
439  if (auto qual = getAs<QualifiedTypeLoc>())
440  return qual;
441 
442  TypeLoc loc = IgnoreParens();
443 
444  // Attributed types.
445  if (auto attr = loc.getAs<AttributedTypeLoc>()) {
446  if (attr.isQualifier()) return attr;
447  return attr.getModifiedLoc().findExplicitQualifierLoc();
448  }
449 
450  // C11 _Atomic types.
451  if (auto atomic = loc.getAs<AtomicTypeLoc>()) {
452  return atomic;
453  }
454 
455  return {};
456 }
457 
459  SourceLocation Loc) {
460  setNameLoc(Loc);
461  if (!getNumProtocols()) return;
462 
465  for (unsigned i = 0, e = getNumProtocols(); i != e; ++i)
466  setProtocolLoc(i, Loc);
467 }
468 
470  SourceLocation Loc) {
474  for (unsigned i = 0, e = getNumTypeArgs(); i != e; ++i) {
475  setTypeArgTInfo(i,
476  Context.getTrivialTypeSourceInfo(
477  getTypePtr()->getTypeArgsAsWritten()[i], Loc));
478  }
481  for (unsigned i = 0, e = getNumProtocols(); i != e; ++i)
482  setProtocolLoc(i, Loc);
483 }
484 
486  // Note that this does *not* include the range of the attribute
487  // enclosure, e.g.:
488  // __attribute__((foo(bar)))
489  // ^~~~~~~~~~~~~~~ ~~
490  // or
491  // [[foo(bar)]]
492  // ^~ ~~
493  // That enclosure doesn't necessarily belong to a single attribute
494  // anyway.
495  return getAttr() ? getAttr()->getRange() : SourceRange();
496 }
497 
499  SourceLocation Loc) {
501  ::initializeLocal(Context, Loc);
503  getUnderlyingType(), Loc);
504 }
505 
507  SourceLocation Loc) {
508  setKWLoc(Loc);
509  setRParenLoc(Loc);
510  setLParenLoc(Loc);
511  this->setUnderlyingTInfo(
512  Context.getTrivialTypeSourceInfo(getTypePtr()->getBaseType(), Loc));
513 }
514 
516  SourceLocation Loc) {
519  Builder.MakeTrivial(Context, getTypePtr()->getQualifier(), Loc);
520  setQualifierLoc(Builder.getWithLocInContext(Context));
521 }
522 
524  SourceLocation Loc) {
527  Builder.MakeTrivial(Context, getTypePtr()->getQualifier(), Loc);
528  setQualifierLoc(Builder.getWithLocInContext(Context));
529  setNameLoc(Loc);
530 }
531 
532 void
534  SourceLocation Loc) {
536  if (getTypePtr()->getQualifier()) {
538  Builder.MakeTrivial(Context, getTypePtr()->getQualifier(), Loc);
539  setQualifierLoc(Builder.getWithLocInContext(Context));
540  } else {
542  }
544  setTemplateNameLoc(Loc);
545  setLAngleLoc(Loc);
546  setRAngleLoc(Loc);
548  getTypePtr()->getArgs(),
549  getArgInfos(), Loc);
550 }
551 
553  unsigned NumArgs,
554  const TemplateArgument *Args,
555  TemplateArgumentLocInfo *ArgInfos,
556  SourceLocation Loc) {
557  for (unsigned i = 0, e = NumArgs; i != e; ++i) {
558  switch (Args[i].getKind()) {
560  llvm_unreachable("Impossible TemplateArgument");
561 
565  ArgInfos[i] = TemplateArgumentLocInfo();
566  break;
567 
569  ArgInfos[i] = TemplateArgumentLocInfo(Args[i].getAsExpr());
570  break;
571 
573  ArgInfos[i] = TemplateArgumentLocInfo(
574  Context.getTrivialTypeSourceInfo(Args[i].getAsType(),
575  Loc));
576  break;
577 
581  TemplateName Template = Args[i].getAsTemplateOrTemplatePattern();
583  Builder.MakeTrivial(Context, DTN->getQualifier(), Loc);
584  else if (QualifiedTemplateName *QTN = Template.getAsQualifiedTemplateName())
585  Builder.MakeTrivial(Context, QTN->getQualifier(), Loc);
586 
587  ArgInfos[i] = TemplateArgumentLocInfo(
588  Context, Builder.getWithLocInContext(Context), Loc,
590  : Loc);
591  break;
592  }
593 
595  ArgInfos[i] = TemplateArgumentLocInfo();
596  break;
597  }
598  }
599 }
600 
602  return DeclarationNameInfo(getNamedConcept()->getDeclName(),
603  getLocalData()->ConceptNameLoc);
604 }
605 
608  setTemplateKWLoc(Loc);
609  setConceptNameLoc(Loc);
610  setFoundDecl(nullptr);
611  setRAngleLoc(Loc);
612  setLAngleLoc(Loc);
614  getTypePtr()->getArgs(),
615  getArgInfos(), Loc);
616  setNameLoc(Loc);
617 }
618 
619 
620 namespace {
621 
622  class GetContainedAutoTypeLocVisitor :
623  public TypeLocVisitor<GetContainedAutoTypeLocVisitor, TypeLoc> {
624  public:
626 
627  TypeLoc VisitAutoTypeLoc(AutoTypeLoc TL) {
628  return TL;
629  }
630 
631  // Only these types can contain the desired 'auto' type.
632 
633  TypeLoc VisitElaboratedTypeLoc(ElaboratedTypeLoc T) {
634  return Visit(T.getNamedTypeLoc());
635  }
636 
637  TypeLoc VisitQualifiedTypeLoc(QualifiedTypeLoc T) {
638  return Visit(T.getUnqualifiedLoc());
639  }
640 
641  TypeLoc VisitPointerTypeLoc(PointerTypeLoc T) {
642  return Visit(T.getPointeeLoc());
643  }
644 
645  TypeLoc VisitBlockPointerTypeLoc(BlockPointerTypeLoc T) {
646  return Visit(T.getPointeeLoc());
647  }
648 
649  TypeLoc VisitReferenceTypeLoc(ReferenceTypeLoc T) {
650  return Visit(T.getPointeeLoc());
651  }
652 
653  TypeLoc VisitMemberPointerTypeLoc(MemberPointerTypeLoc T) {
654  return Visit(T.getPointeeLoc());
655  }
656 
657  TypeLoc VisitArrayTypeLoc(ArrayTypeLoc T) {
658  return Visit(T.getElementLoc());
659  }
660 
661  TypeLoc VisitFunctionTypeLoc(FunctionTypeLoc T) {
662  return Visit(T.getReturnLoc());
663  }
664 
665  TypeLoc VisitParenTypeLoc(ParenTypeLoc T) {
666  return Visit(T.getInnerLoc());
667  }
668 
669  TypeLoc VisitAttributedTypeLoc(AttributedTypeLoc T) {
670  return Visit(T.getModifiedLoc());
671  }
672 
673  TypeLoc VisitMacroQualifiedTypeLoc(MacroQualifiedTypeLoc T) {
674  return Visit(T.getInnerLoc());
675  }
676 
677  TypeLoc VisitAdjustedTypeLoc(AdjustedTypeLoc T) {
678  return Visit(T.getOriginalLoc());
679  }
680 
681  TypeLoc VisitPackExpansionTypeLoc(PackExpansionTypeLoc T) {
682  return Visit(T.getPatternLoc());
683  }
684  };
685 
686 } // namespace
687 
689  TypeLoc Res = GetContainedAutoTypeLocVisitor().Visit(*this);
690  if (Res.isNull())
691  return AutoTypeLoc();
692  return Res.getAs<AutoTypeLoc>();
693 }
Defines the clang::ASTContext interface.
static unsigned getFullDataSizeForType(QualType Ty)
Returns the size of type source info data block for the given type.
Definition: TypeLoc.cpp:93
void initializeLocal(ASTContext &Context, SourceLocation Loc)
Definition: TypeLoc.h:1949
const TypeClass * getTypePtr() const
Definition: TypeLoc.h:502
A (possibly-)qualified type.
Definition: Type.h:661
unsigned getNumArgs() const
Definition: TypeLoc.h:2126
TypeLoc getNextTypeLoc() const
Get the next TypeLoc pointed by this TypeLoc, e.g for "int*" the TypeLoc is a PointerLoc and next Typ...
Definition: TypeLoc.h:169
void setConceptNameLoc(SourceLocation Loc)
Definition: TypeLoc.h:2088
__DEVICE__ int max(int __a, int __b)
The template argument is an expression, and we've not resolved it to one of the other forms yet,...
Definition: TemplateBase.h:97
RetTy Visit(TypeLoc TyLoc)
WrittenBuiltinSpecs & getWrittenBuiltinSpecs()
Definition: TypeLoc.h:575
Defines the C++ template declaration subclasses.
The base class of the type hierarchy.
Definition: Type.h:1478
SourceRange getLocalSourceRange() const
Definition: TypeLoc.cpp:485
void setLAngleLoc(SourceLocation Loc)
Definition: TypeLoc.h:2114
void setTemplateKeywordLoc(SourceLocation Loc)
Definition: TypeLoc.h:2356
The template argument is a declaration that was provided for a pointer, reference,...
Definition: TemplateBase.h:75
TypeLoc getOriginalLoc() const
Definition: TypeLoc.h:1162
SourceLocation getEndLoc() const
Get the end source location.
Definition: TypeLoc.cpp:228
bool isCompleteDefinition() const
Return true if this decl has its body fully specified.
Definition: Decl.h:3380
void initializeLocal(ASTContext &Context, SourceLocation Loc)
Definition: TypeLoc.cpp:533
Wrapper for source info for member pointers.
Definition: TypeLoc.h:1256
Wrapper of type source information for a type with non-trivial direct qualifiers.
Definition: TypeLoc.h:277
Represents an empty template argument, e.g., one that has not been deduced.
Definition: TemplateBase.h:68
TypeSpecifierType
Specifies the kind of type.
Definition: Specifiers.h:43
QualifiedTemplateName * getAsQualifiedTemplateName() const
Retrieve the underlying qualified template name structure, if any.
TypeLoc getNamedTypeLoc() const
Definition: TypeLoc.h:2237
void setProtocolRAngleLoc(SourceLocation Loc)
Definition: TypeLoc.h:784
void * Data
Definition: TypeLoc.h:63
ConceptDecl * getNamedConcept() const
Definition: TypeLoc.h:2100
void setQualifierLoc(NestedNameSpecifierLoc QualifierLoc)
Definition: TypeLoc.h:2217
A reasonable base class for TypeLocs that correspond to types that are written as a type-specifier.
Definition: TypeLoc.h:513
void setTypeArgTInfo(unsigned i, TypeSourceInfo *TInfo)
Definition: TypeLoc.h:949
bool needsExtraLocalData() const
Definition: TypeLoc.h:582
IdentifierInfo * getIdentifier() const
Get the identifier that names this declaration, if there is one.
Definition: Decl.h:244
Base wrapper for a particular "section" of type source info.
Definition: TypeLoc.h:58
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition: ASTContext.h:186
A C++ nested-name-specifier augmented with source location information.
Represents a dependent template name that cannot be resolved prior to template instantiation.
Definition: TemplateName.h:447
TypeLoc getInnerLoc() const
Definition: TypeLoc.h:1142
The template argument is an integral value stored in an llvm::APSInt that was provided for an integra...
Definition: TemplateBase.h:83
bool isDefinition() const
True if the tag was defined in this type specifier.
Definition: TypeLoc.cpp:298
void setElaboratedKeywordLoc(SourceLocation Loc)
Definition: TypeLoc.h:2267
void setUnderlyingTInfo(TypeSourceInfo *TInfo)
Definition: TypeLoc.h:2021
DeclarationNameInfo getConceptNameInfo() const
Definition: TypeLoc.cpp:601
void setProtocolLoc(unsigned i, SourceLocation Loc)
Definition: TypeLoc.h:797
void setNameLoc(SourceLocation Loc)
Definition: TypeLoc.h:527
void setRAngleLoc(SourceLocation Loc)
Definition: TypeLoc.h:2380
unsigned getNumProtocols() const
Definition: TypeLoc.h:788
void initializeLocal(ASTContext &Context, SourceLocation Loc)
Definition: TypeLoc.cpp:515
Wrapper for source info for functions.
Definition: TypeLoc.h:1351
bool isNull() const
Definition: TypeLoc.h:120
void setNameLoc(SourceLocation Loc)
Definition: TypeLoc.h:764
void setProtocolLoc(unsigned i, SourceLocation Loc)
Definition: TypeLoc.h:979
SourceLocation findNullabilityLoc() const
Find the location of the nullability specifier (__nonnull, __nullable, or __null_unspecifier),...
Definition: TypeLoc.cpp:426
void setKWLoc(SourceLocation Loc)
Definition: TypeLoc.h:2009
Class that aids in the construction of nested-name-specifiers along with source-location information ...
TypeLoc()=default
SourceRange getLocalSourceRange() const
Get the local source range.
Definition: TypeLoc.h:158
TypeSourceInfo * getTrivialTypeSourceInfo(QualType T, SourceLocation Loc=SourceLocation()) const
Allocate a TypeSourceInfo where all locations have been initialized to a given location,...
void setTemplateNameLoc(SourceLocation Loc)
Definition: TypeLoc.h:2364
TagDecl * getDecl() const
Definition: TypeLoc.h:711
SourceLocation getBeginLoc() const
Get the begin source location.
Definition: TypeLoc.cpp:191
Type source information for an attributed type.
Definition: TypeLoc.h:851
void setQualifierLoc(NestedNameSpecifierLoc QualifierLoc)
Definition: TypeLoc.h:2336
void initializeLocal(ASTContext &Context, SourceLocation Loc)
Definition: TypeLoc.cpp:606
The template argument is a null pointer or null pointer to member that was provided for a non-type te...
Definition: TemplateBase.h:79
void setFoundDecl(NamedDecl *D)
Definition: TypeLoc.h:2096
T getAs() const
Convert to the specified TypeLoc type, returning a null TypeLoc if this TypeLoc is not of the desired...
Definition: TypeLoc.h:88
void setTemplateKWLoc(SourceLocation Loc)
Definition: TypeLoc.h:2080
Represents a C++ template name within the type system.
Definition: TemplateName.h:192
Defines the clang::TypeLoc interface and its subclasses.
void setNestedNameSpecifierLoc(NestedNameSpecifierLoc NNS)
Definition: TypeLoc.h:2072
void setHasBaseTypeAsWritten(bool HasBaseType)
Definition: TypeLoc.h:998
void initializeLocal(ASTContext &Context, SourceLocation Loc)
Definition: TypeLoc.cpp:498
TypeLoc getInnerLoc() const
Definition: TypeLoc.h:1087
void setLParenLoc(SourceLocation Loc)
Definition: TypeLoc.h:2012
void setQualifierLoc(NestedNameSpecifierLoc QualifierLoc)
Definition: TypeLoc.h:2276
TypeSourceInfo * UnderlyingTInfo
Definition: TypeLoc.h:1905
TypeLoc getReturnLoc() const
Definition: TypeLoc.h:1435
bool hasTrailingReturn() const
Whether this function prototype has a trailing return type.
Definition: Type.h:4225
void initializeLocal(ASTContext &Context, SourceLocation Loc)
Definition: TypeLoc.cpp:458
void initializeLocal(ASTContext &Context, SourceLocation Loc)
Definition: TypeLoc.cpp:523
void initializeLocal(ASTContext &Context, SourceLocation Loc)
Definition: TypeLoc.cpp:506
Wrapper for source info for arrays.
Definition: TypeLoc.h:1484
AutoTypeLoc getContainedAutoTypeLoc() const
Get the typeloc of an AutoType whose type will be deduced for a variable with an initializer of this ...
Definition: TypeLoc.cpp:688
TypeLoc getPatternLoc() const
Definition: TypeLoc.h:2457
TypeLoc IgnoreParens() const
Definition: TypeLoc.h:1151
void setLAngleLoc(SourceLocation Loc)
Definition: TypeLoc.h:2372
const Attr * getAttr() const
The type attribute.
Definition: TypeLoc.h:873
Encodes a location in the source.
void initializeLocal(ASTContext &Context, SourceLocation Loc)
Definition: TypeLoc.cpp:469
void setProtocolLAngleLoc(SourceLocation Loc)
Definition: TypeLoc.h:774
Represents the declaration of a struct/union/class/enum.
Definition: Decl.h:3275
void setProtocolRAngleLoc(SourceLocation Loc)
Definition: TypeLoc.h:966
SourceLocation getLocation() const
Definition: Attr.h:93
static const unsigned TypeLocMaxDataAlign
Definition: TypeLoc.cpp:33
void setElaboratedKeywordLoc(SourceLocation Loc)
Definition: TypeLoc.h:2324
TypeLoc findExplicitQualifierLoc() const
Find a type with the location of an explicit type qualifier.
Definition: TypeLoc.cpp:437
__DEVICE__ void * memcpy(void *__a, const void *__b, size_t __c)
unsigned getFullDataSize() const
Returns the size of the type source info data block.
Definition: TypeLoc.h:163
const void * Ty
Definition: TypeLoc.h:62
DependentTemplateName * getAsDependentTemplateName() const
Retrieve the underlying dependent template name structure, if any.
TypeLoc getElementLoc() const
Definition: TypeLoc.h:1517
Defines various enumerations that describe declaration and type specifiers.
void setTypeArgsLAngleLoc(SourceLocation Loc)
Definition: TypeLoc.h:928
Represents a template argument.
Definition: TemplateBase.h:62
Represents a template name that was expressed as a qualified name.
Definition: TemplateName.h:391
Dataflow Directional Tag Classes.
bool isValid() const
Return true if this is a valid SourceLocation object.
QualType getType() const
Get the type for which this source info wrapper provides information.
Definition: TypeLoc.h:132
The template argument is a pack expansion of a template name that was provided for a template templat...
Definition: TemplateBase.h:91
bool hasLocalQualifiers() const
Determine whether this particular QualType instance has any qualifiers, without looking through any t...
Definition: Type.h:763
SourceRange getLocalSourceRange() const
Definition: TypeLoc.cpp:307
TypeLoc getModifiedLoc() const
The modified type, which is generally canonically different from the attribute type.
Definition: TypeLoc.h:868
DeclarationNameInfo - A collector data type for bundling together a DeclarationName and the correspnd...
void setNameLoc(SourceLocation Loc)
Definition: TypeLoc.h:2287
SourceRange getSourceRange() const LLVM_READONLY
Get the full source range.
Definition: TypeLoc.h:152
TypeLoc getPointeeLoc() const
Definition: TypeLoc.h:1208
static void initializeArgLocs(ASTContext &Context, unsigned NumArgs, const TemplateArgument *Args, TemplateArgumentLocInfo *ArgInfos, SourceLocation Loc)
Definition: TypeLoc.cpp:552
TypeLocClass getTypeLocClass() const
Definition: TypeLoc.h:115
void setTypeArgsRAngleLoc(SourceLocation Loc)
Definition: TypeLoc.h:936
The template argument is a type.
Definition: TemplateBase.h:71
The template argument is actually a parameter pack.
Definition: TemplateBase.h:101
UnqualTypeLoc getUnqualifiedLoc() const
Definition: TypeLoc.h:281
void setRAngleLoc(SourceLocation Loc)
Definition: TypeLoc.h:2122
ArgKind getKind() const
Return the kind of stored template argument.
Definition: TemplateBase.h:245
Defines the clang::SourceLocation class and associated facilities.
The template argument is a template name that was provided for a template template parameter.
Definition: TemplateBase.h:87
static unsigned getLocalAlignmentForType(QualType Ty)
Returns the alignment of type source info data block for the given type.
Definition: TypeLoc.cpp:73
unsigned getNumProtocols() const
Definition: TypeLoc.h:970
Location information for a TemplateArgument.
Definition: TemplateBase.h:405
SourceLocation getNameLoc() const
Definition: TypeLoc.h:523
void setRParenLoc(SourceLocation Loc)
Definition: TypeLoc.h:2015
QualType getUnderlyingType() const
Definition: TypeLoc.h:1973
unsigned getNumTypeArgs() const
Definition: TypeLoc.h:940
static Decl::Kind getKind(const Decl *D)
Definition: DeclBase.cpp:997
QualType getAsType() const
Retrieve the type for a type template argument.
Definition: TemplateBase.h:269
void copy(TypeLoc other)
Copies the other type loc into this one.
Definition: TypeLoc.cpp:167
void setProtocolLAngleLoc(SourceLocation Loc)
Definition: TypeLoc.h:958
TypeSpecifierType getWrittenTypeSpec() const
Definition: TypeLoc.cpp:316
A trivial tuple used to represent a source range.
T castAs() const
Convert to the specified TypeLoc type, asserting that this TypeLoc is of the desired type.
Definition: TypeLoc.h:77
Expr * getUnderlyingExpr() const
Definition: TypeLoc.h:1960
TemplateName getAsTemplateOrTemplatePattern() const
Retrieve the template argument as a template name; if the argument is a pack expansion,...
Definition: TemplateBase.h:300
Wrapper for source info for pointers.
Definition: TypeLoc.h:1226
SourceLocation getBegin() const
Wrapper for source info for block pointers.
Definition: TypeLoc.h:1239
void setElaboratedKeywordLoc(SourceLocation Loc)
Definition: TypeLoc.h:2208
Attr - This represents one attribute.
Definition: Attr.h:46
SourceLocation getLocation() const
Definition: DeclBase.h:430