Decl.cpp revision eb5e9986e577b1e2bff3cca5973a2494fb593fbb 
1//===--- Decl.cpp - Declaration AST Node Implementation -------------------===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the Decl subclasses.
11//
12//===----------------------------------------------------------------------===//
13
14#include "clang/AST/Decl.h"
15#include "clang/AST/DeclCXX.h"
16#include "clang/AST/DeclObjC.h"
17#include "clang/AST/DeclTemplate.h"
18#include "clang/AST/ASTContext.h"
19#include "clang/AST/TypeLoc.h"
20#include "clang/AST/Stmt.h"
21#include "clang/AST/Expr.h"
22#include "clang/AST/ExprCXX.h"
23#include "clang/AST/PrettyPrinter.h"
24#include "clang/Basic/Builtins.h"
25#include "clang/Basic/IdentifierTable.h"
26#include "clang/Basic/Specifiers.h"
27#include "llvm/Support/ErrorHandling.h"
28
29using namespace clang;
30
31//===----------------------------------------------------------------------===//
32// NamedDecl Implementation
33//===----------------------------------------------------------------------===//
34
35/// \brief Get the most restrictive linkage for the types in the given
36/// template parameter list.
37static Linkage
38getLinkageForTemplateParameterList(const TemplateParameterList *Params) {
39  Linkage L = ExternalLinkage;
40  for (TemplateParameterList::const_iterator P = Params->begin(),
41                                          PEnd = Params->end();
42       P != PEnd; ++P) {
43    if (NonTypeTemplateParmDecl *NTTP = dyn_cast<NonTypeTemplateParmDecl>(*P))
44      if (!NTTP->getType()->isDependentType()) {
45        L = minLinkage(L, NTTP->getType()->getLinkage());
46        continue;
47      }
48
49    if (TemplateTemplateParmDecl *TTP
50                                   = dyn_cast<TemplateTemplateParmDecl>(*P)) {
51      L = minLinkage(L,
52            getLinkageForTemplateParameterList(TTP->getTemplateParameters()));
53    }
54  }
55
56  return L;
57}
58
59/// \brief Get the most restrictive linkage for the types and
60/// declarations in the given template argument list.
61static Linkage getLinkageForTemplateArgumentList(const TemplateArgument *Args,
62                                                 unsigned NumArgs) {
63  Linkage L = ExternalLinkage;
64
65  for (unsigned I = 0; I != NumArgs; ++I) {
66    switch (Args[I].getKind()) {
67    case TemplateArgument::Null:
68    case TemplateArgument::Integral:
69    case TemplateArgument::Expression:
70      break;
71
72    case TemplateArgument::Type:
73      L = minLinkage(L, Args[I].getAsType()->getLinkage());
74      break;
75
76    case TemplateArgument::Declaration:
77      if (NamedDecl *ND = dyn_cast<NamedDecl>(Args[I].getAsDecl()))
78        L = minLinkage(L, ND->getLinkage());
79      if (ValueDecl *VD = dyn_cast<ValueDecl>(Args[I].getAsDecl()))
80        L = minLinkage(L, VD->getType()->getLinkage());
81      break;
82
83    case TemplateArgument::Template:
84      if (TemplateDecl *Template
85                                = Args[I].getAsTemplate().getAsTemplateDecl())
86        L = minLinkage(L, Template->getLinkage());
87      break;
88
89    case TemplateArgument::Pack:
90      L = minLinkage(L,
91                     getLinkageForTemplateArgumentList(Args[I].pack_begin(),
92                                                       Args[I].pack_size()));
93      break;
94    }
95  }
96
97  return L;
98}
99
100static Linkage
101getLinkageForTemplateArgumentList(const TemplateArgumentList &TArgs) {
102  return getLinkageForTemplateArgumentList(TArgs.getFlatArgumentList(),
103                                           TArgs.flat_size());
104}
105
106static Linkage getLinkageForNamespaceScopeDecl(const NamedDecl *D) {
107  assert(D->getDeclContext()->getRedeclContext()->isFileContext() &&
108         "Not a name having namespace scope");
109  ASTContext &Context = D->getASTContext();
110
111  // C++ [basic.link]p3:
112  //   A name having namespace scope (3.3.6) has internal linkage if it
113  //   is the name of
114  //     - an object, reference, function or function template that is
115  //       explicitly declared static; or,
116  // (This bullet corresponds to C99 6.2.2p3.)
117  if (const VarDecl *Var = dyn_cast<VarDecl>(D)) {
118    // Explicitly declared static.
119    if (Var->getStorageClass() == SC_Static)
120      return InternalLinkage;
121
122    // - an object or reference that is explicitly declared const
123    //   and neither explicitly declared extern nor previously
124    //   declared to have external linkage; or
125    // (there is no equivalent in C99)
126    if (Context.getLangOptions().CPlusPlus &&
127        Var->getType().isConstant(Context) &&
128        Var->getStorageClass() != SC_Extern &&
129        Var->getStorageClass() != SC_PrivateExtern) {
130      bool FoundExtern = false;
131      for (const VarDecl *PrevVar = Var->getPreviousDeclaration();
132           PrevVar && !FoundExtern;
133           PrevVar = PrevVar->getPreviousDeclaration())
134        if (isExternalLinkage(PrevVar->getLinkage()))
135          FoundExtern = true;
136
137      if (!FoundExtern)
138        return InternalLinkage;
139    }
140  } else if (isa<FunctionDecl>(D) || isa<FunctionTemplateDecl>(D)) {
141    // C++ [temp]p4:
142    //   A non-member function template can have internal linkage; any
143    //   other template name shall have external linkage.
144    const FunctionDecl *Function = 0;
145    if (const FunctionTemplateDecl *FunTmpl
146                                        = dyn_cast<FunctionTemplateDecl>(D))
147      Function = FunTmpl->getTemplatedDecl();
148    else
149      Function = cast<FunctionDecl>(D);
150
151    // Explicitly declared static.
152    if (Function->getStorageClass() == SC_Static)
153      return InternalLinkage;
154  } else if (const FieldDecl *Field = dyn_cast<FieldDecl>(D)) {
155    //   - a data member of an anonymous union.
156    if (cast<RecordDecl>(Field->getDeclContext())->isAnonymousStructOrUnion())
157      return InternalLinkage;
158  }
159
160  // C++ [basic.link]p4:
161
162  //   A name having namespace scope has external linkage if it is the
163  //   name of
164  //
165  //     - an object or reference, unless it has internal linkage; or
166  if (const VarDecl *Var = dyn_cast<VarDecl>(D)) {
167    if (!Context.getLangOptions().CPlusPlus &&
168        (Var->getStorageClass() == SC_Extern ||
169         Var->getStorageClass() == SC_PrivateExtern)) {
170      // C99 6.2.2p4:
171      //   For an identifier declared with the storage-class specifier
172      //   extern in a scope in which a prior declaration of that
173      //   identifier is visible, if the prior declaration specifies
174      //   internal or external linkage, the linkage of the identifier
175      //   at the later declaration is the same as the linkage
176      //   specified at the prior declaration. If no prior declaration
177      //   is visible, or if the prior declaration specifies no
178      //   linkage, then the identifier has external linkage.
179      if (const VarDecl *PrevVar = Var->getPreviousDeclaration()) {
180        if (Linkage L = PrevVar->getLinkage())
181          return L;
182      }
183    }
184
185    // C99 6.2.2p5:
186    //   If the declaration of an identifier for an object has file
187    //   scope and no storage-class specifier, its linkage is
188    //   external.
189    if (Var->isInAnonymousNamespace())
190      return UniqueExternalLinkage;
191
192    return ExternalLinkage;
193  }
194
195  //     - a function, unless it has internal linkage; or
196  if (const FunctionDecl *Function = dyn_cast<FunctionDecl>(D)) {
197    // C99 6.2.2p5:
198    //   If the declaration of an identifier for a function has no
199    //   storage-class specifier, its linkage is determined exactly
200    //   as if it were declared with the storage-class specifier
201    //   extern.
202    if (!Context.getLangOptions().CPlusPlus &&
203        (Function->getStorageClass() == SC_Extern ||
204         Function->getStorageClass() == SC_PrivateExtern ||
205         Function->getStorageClass() == SC_None)) {
206      // C99 6.2.2p4:
207      //   For an identifier declared with the storage-class specifier
208      //   extern in a scope in which a prior declaration of that
209      //   identifier is visible, if the prior declaration specifies
210      //   internal or external linkage, the linkage of the identifier
211      //   at the later declaration is the same as the linkage
212      //   specified at the prior declaration. If no prior declaration
213      //   is visible, or if the prior declaration specifies no
214      //   linkage, then the identifier has external linkage.
215      if (const FunctionDecl *PrevFunc = Function->getPreviousDeclaration()) {
216        if (Linkage L = PrevFunc->getLinkage())
217          return L;
218      }
219    }
220
221    if (Function->isInAnonymousNamespace())
222      return UniqueExternalLinkage;
223
224    if (FunctionTemplateSpecializationInfo *SpecInfo
225                               = Function->getTemplateSpecializationInfo()) {
226      Linkage L = SpecInfo->getTemplate()->getLinkage();
227      const TemplateArgumentList &TemplateArgs = *SpecInfo->TemplateArguments;
228      L = minLinkage(L, getLinkageForTemplateArgumentList(TemplateArgs));
229      return L;
230    }
231
232    return ExternalLinkage;
233  }
234
235  //     - a named class (Clause 9), or an unnamed class defined in a
236  //       typedef declaration in which the class has the typedef name
237  //       for linkage purposes (7.1.3); or
238  //     - a named enumeration (7.2), or an unnamed enumeration
239  //       defined in a typedef declaration in which the enumeration
240  //       has the typedef name for linkage purposes (7.1.3); or
241  if (const TagDecl *Tag = dyn_cast<TagDecl>(D))
242    if (Tag->getDeclName() || Tag->getTypedefForAnonDecl()) {
243      if (Tag->isInAnonymousNamespace())
244        return UniqueExternalLinkage;
245
246      // If this is a class template specialization, consider the
247      // linkage of the template and template arguments.
248      if (const ClassTemplateSpecializationDecl *Spec
249            = dyn_cast<ClassTemplateSpecializationDecl>(Tag)) {
250        const TemplateArgumentList &TemplateArgs = Spec->getTemplateArgs();
251        Linkage L = getLinkageForTemplateArgumentList(TemplateArgs);
252        return minLinkage(L, Spec->getSpecializedTemplate()->getLinkage());
253      }
254
255      return ExternalLinkage;
256    }
257
258  //     - an enumerator belonging to an enumeration with external linkage;
259  if (isa<EnumConstantDecl>(D)) {
260    Linkage L = cast<NamedDecl>(D->getDeclContext())->getLinkage();
261    if (isExternalLinkage(L))
262      return L;
263  }
264
265  //     - a template, unless it is a function template that has
266  //       internal linkage (Clause 14);
267  if (const TemplateDecl *Template = dyn_cast<TemplateDecl>(D)) {
268    if (D->isInAnonymousNamespace())
269      return UniqueExternalLinkage;
270
271    return getLinkageForTemplateParameterList(
272                                         Template->getTemplateParameters());
273  }
274
275  //     - a namespace (7.3), unless it is declared within an unnamed
276  //       namespace.
277  if (isa<NamespaceDecl>(D) && !D->isInAnonymousNamespace())
278    return ExternalLinkage;
279
280  return NoLinkage;
281}
282
283static Linkage getLinkageForClassMember(const NamedDecl *D) {
284  if (!(isa<CXXMethodDecl>(D) ||
285        isa<VarDecl>(D) ||
286        (isa<TagDecl>(D) &&
287         (D->getDeclName() || cast<TagDecl>(D)->getTypedefForAnonDecl()))))
288    return NoLinkage;
289
290  // Class members only have linkage if their class has external linkage.
291  Linkage L = cast<RecordDecl>(D->getDeclContext())->getLinkage();
292  if (!isExternalLinkage(L)) return NoLinkage;
293
294  // If the class already has unique-external linkage, we can't improve.
295  if (L == UniqueExternalLinkage) return UniqueExternalLinkage;
296
297  // If this is a method template specialization, use the linkage for
298  // the template parameters and arguments.
299  if (const CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(D)) {
300    if (FunctionTemplateSpecializationInfo *SpecInfo
301           = MD->getTemplateSpecializationInfo()) {
302      Linkage ArgLinkage =
303        getLinkageForTemplateArgumentList(*SpecInfo->TemplateArguments);
304      Linkage ParamLinkage =
305        getLinkageForTemplateParameterList(
306                           SpecInfo->getTemplate()->getTemplateParameters());
307      return minLinkage(ArgLinkage, ParamLinkage);
308    }
309
310  // Similarly for member class template specializations.
311  } else if (const ClassTemplateSpecializationDecl *Spec
312               = dyn_cast<ClassTemplateSpecializationDecl>(D)) {
313    Linkage ArgLinkage =
314      getLinkageForTemplateArgumentList(Spec->getTemplateArgs());
315    Linkage ParamLinkage =
316      getLinkageForTemplateParameterList(
317                    Spec->getSpecializedTemplate()->getTemplateParameters());
318    return minLinkage(ArgLinkage, ParamLinkage);
319  }
320
321  return ExternalLinkage;
322}
323
324Linkage NamedDecl::getLinkage() const {
325
326  // Objective-C: treat all Objective-C declarations as having external
327  // linkage.
328  switch (getKind()) {
329    default:
330      break;
331    case Decl::ObjCAtDefsField:
332    case Decl::ObjCCategory:
333    case Decl::ObjCCategoryImpl:
334    case Decl::ObjCClass:
335    case Decl::ObjCCompatibleAlias:
336    case Decl::ObjCForwardProtocol:
337    case Decl::ObjCImplementation:
338    case Decl::ObjCInterface:
339    case Decl::ObjCIvar:
340    case Decl::ObjCMethod:
341    case Decl::ObjCProperty:
342    case Decl::ObjCPropertyImpl:
343    case Decl::ObjCProtocol:
344      return ExternalLinkage;
345  }
346
347  // Handle linkage for namespace-scope names.
348  if (getDeclContext()->getRedeclContext()->isFileContext())
349    if (Linkage L = getLinkageForNamespaceScopeDecl(this))
350      return L;
351
352  // C++ [basic.link]p5:
353  //   In addition, a member function, static data member, a named
354  //   class or enumeration of class scope, or an unnamed class or
355  //   enumeration defined in a class-scope typedef declaration such
356  //   that the class or enumeration has the typedef name for linkage
357  //   purposes (7.1.3), has external linkage if the name of the class
358  //   has external linkage.
359  if (getDeclContext()->isRecord())
360    return getLinkageForClassMember(this);
361
362  // C++ [basic.link]p6:
363  //   The name of a function declared in block scope and the name of
364  //   an object declared by a block scope extern declaration have
365  //   linkage. If there is a visible declaration of an entity with
366  //   linkage having the same name and type, ignoring entities
367  //   declared outside the innermost enclosing namespace scope, the
368  //   block scope declaration declares that same entity and receives
369  //   the linkage of the previous declaration. If there is more than
370  //   one such matching entity, the program is ill-formed. Otherwise,
371  //   if no matching entity is found, the block scope entity receives
372  //   external linkage.
373  if (getLexicalDeclContext()->isFunctionOrMethod()) {
374    if (const FunctionDecl *Function = dyn_cast<FunctionDecl>(this)) {
375      if (Function->getPreviousDeclaration())
376        if (Linkage L = Function->getPreviousDeclaration()->getLinkage())
377          return L;
378
379      if (Function->isInAnonymousNamespace())
380        return UniqueExternalLinkage;
381
382      return ExternalLinkage;
383    }
384
385    if (const VarDecl *Var = dyn_cast<VarDecl>(this))
386      if (Var->getStorageClass() == SC_Extern ||
387          Var->getStorageClass() == SC_PrivateExtern) {
388        if (Var->getPreviousDeclaration())
389          if (Linkage L = Var->getPreviousDeclaration()->getLinkage())
390            return L;
391
392        if (Var->isInAnonymousNamespace())
393          return UniqueExternalLinkage;
394
395        return ExternalLinkage;
396      }
397  }
398
399  // C++ [basic.link]p6:
400  //   Names not covered by these rules have no linkage.
401  return NoLinkage;
402  }
403
404std::string NamedDecl::getQualifiedNameAsString() const {
405  return getQualifiedNameAsString(getASTContext().getLangOptions());
406}
407
408std::string NamedDecl::getQualifiedNameAsString(const PrintingPolicy &P) const {
409  const DeclContext *Ctx = getDeclContext();
410
411  if (Ctx->isFunctionOrMethod())
412    return getNameAsString();
413
414  typedef llvm::SmallVector<const DeclContext *, 8> ContextsTy;
415  ContextsTy Contexts;
416
417  // Collect contexts.
418  while (Ctx && isa<NamedDecl>(Ctx)) {
419    Contexts.push_back(Ctx);
420    Ctx = Ctx->getParent();
421  };
422
423  std::string QualName;
424  llvm::raw_string_ostream OS(QualName);
425
426  for (ContextsTy::reverse_iterator I = Contexts.rbegin(), E = Contexts.rend();
427       I != E; ++I) {
428    if (const ClassTemplateSpecializationDecl *Spec
429          = dyn_cast<ClassTemplateSpecializationDecl>(*I)) {
430      const TemplateArgumentList &TemplateArgs = Spec->getTemplateArgs();
431      std::string TemplateArgsStr
432        = TemplateSpecializationType::PrintTemplateArgumentList(
433                                           TemplateArgs.getFlatArgumentList(),
434                                           TemplateArgs.flat_size(),
435                                           P);
436      OS << Spec->getName() << TemplateArgsStr;
437    } else if (const NamespaceDecl *ND = dyn_cast<NamespaceDecl>(*I)) {
438      if (ND->isAnonymousNamespace())
439        OS << "<anonymous namespace>";
440      else
441        OS << ND;
442    } else if (const RecordDecl *RD = dyn_cast<RecordDecl>(*I)) {
443      if (!RD->getIdentifier())
444        OS << "<anonymous " << RD->getKindName() << '>';
445      else
446        OS << RD;
447    } else if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(*I)) {
448      const FunctionProtoType *FT = 0;
449      if (FD->hasWrittenPrototype())
450        FT = dyn_cast<FunctionProtoType>(FD->getType()->getAs<FunctionType>());
451
452      OS << FD << '(';
453      if (FT) {
454        unsigned NumParams = FD->getNumParams();
455        for (unsigned i = 0; i < NumParams; ++i) {
456          if (i)
457            OS << ", ";
458          std::string Param;
459          FD->getParamDecl(i)->getType().getAsStringInternal(Param, P);
460          OS << Param;
461        }
462
463        if (FT->isVariadic()) {
464          if (NumParams > 0)
465            OS << ", ";
466          OS << "...";
467        }
468      }
469      OS << ')';
470    } else {
471      OS << cast<NamedDecl>(*I);
472    }
473    OS << "::";
474  }
475
476  if (getDeclName())
477    OS << this;
478  else
479    OS << "<anonymous>";
480
481  return OS.str();
482}
483
484bool NamedDecl::declarationReplaces(NamedDecl *OldD) const {
485  assert(getDeclName() == OldD->getDeclName() && "Declaration name mismatch");
486
487  // UsingDirectiveDecl's are not really NamedDecl's, and all have same name.
488  // We want to keep it, unless it nominates same namespace.
489  if (getKind() == Decl::UsingDirective) {
490    return cast<UsingDirectiveDecl>(this)->getNominatedNamespace() ==
491           cast<UsingDirectiveDecl>(OldD)->getNominatedNamespace();
492  }
493
494  if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(this))
495    // For function declarations, we keep track of redeclarations.
496    return FD->getPreviousDeclaration() == OldD;
497
498  // For function templates, the underlying function declarations are linked.
499  if (const FunctionTemplateDecl *FunctionTemplate
500        = dyn_cast<FunctionTemplateDecl>(this))
501    if (const FunctionTemplateDecl *OldFunctionTemplate
502          = dyn_cast<FunctionTemplateDecl>(OldD))
503      return FunctionTemplate->getTemplatedDecl()
504               ->declarationReplaces(OldFunctionTemplate->getTemplatedDecl());
505
506  // For method declarations, we keep track of redeclarations.
507  if (isa<ObjCMethodDecl>(this))
508    return false;
509
510  if (isa<ObjCInterfaceDecl>(this) && isa<ObjCCompatibleAliasDecl>(OldD))
511    return true;
512
513  if (isa<UsingShadowDecl>(this) && isa<UsingShadowDecl>(OldD))
514    return cast<UsingShadowDecl>(this)->getTargetDecl() ==
515           cast<UsingShadowDecl>(OldD)->getTargetDecl();
516
517  // For non-function declarations, if the declarations are of the
518  // same kind then this must be a redeclaration, or semantic analysis
519  // would not have given us the new declaration.
520  return this->getKind() == OldD->getKind();
521}
522
523bool NamedDecl::hasLinkage() const {
524  return getLinkage() != NoLinkage;
525}
526
527NamedDecl *NamedDecl::getUnderlyingDecl() {
528  NamedDecl *ND = this;
529  while (true) {
530    if (UsingShadowDecl *UD = dyn_cast<UsingShadowDecl>(ND))
531      ND = UD->getTargetDecl();
532    else if (ObjCCompatibleAliasDecl *AD
533              = dyn_cast<ObjCCompatibleAliasDecl>(ND))
534      return AD->getClassInterface();
535    else
536      return ND;
537  }
538}
539
540bool NamedDecl::isCXXInstanceMember() const {
541  assert(isCXXClassMember() &&
542         "checking whether non-member is instance member");
543
544  const NamedDecl *D = this;
545  if (isa<UsingShadowDecl>(D))
546    D = cast<UsingShadowDecl>(D)->getTargetDecl();
547
548  if (isa<FieldDecl>(D))
549    return true;
550  if (isa<CXXMethodDecl>(D))
551    return cast<CXXMethodDecl>(D)->isInstance();
552  if (isa<FunctionTemplateDecl>(D))
553    return cast<CXXMethodDecl>(cast<FunctionTemplateDecl>(D)
554                                 ->getTemplatedDecl())->isInstance();
555  return false;
556}
557
558//===----------------------------------------------------------------------===//
559// DeclaratorDecl Implementation
560//===----------------------------------------------------------------------===//
561
562template <typename DeclT>
563static SourceLocation getTemplateOrInnerLocStart(const DeclT *decl) {
564  if (decl->getNumTemplateParameterLists() > 0)
565    return decl->getTemplateParameterList(0)->getTemplateLoc();
566  else
567    return decl->getInnerLocStart();
568}
569
570SourceLocation DeclaratorDecl::getTypeSpecStartLoc() const {
571  TypeSourceInfo *TSI = getTypeSourceInfo();
572  if (TSI) return TSI->getTypeLoc().getBeginLoc();
573  return SourceLocation();
574}
575
576void DeclaratorDecl::setQualifierInfo(NestedNameSpecifier *Qualifier,
577                                      SourceRange QualifierRange) {
578  if (Qualifier) {
579    // Make sure the extended decl info is allocated.
580    if (!hasExtInfo()) {
581      // Save (non-extended) type source info pointer.
582      TypeSourceInfo *savedTInfo = DeclInfo.get<TypeSourceInfo*>();
583      // Allocate external info struct.
584      DeclInfo = new (getASTContext()) ExtInfo;
585      // Restore savedTInfo into (extended) decl info.
586      getExtInfo()->TInfo = savedTInfo;
587    }
588    // Set qualifier info.
589    getExtInfo()->NNS = Qualifier;
590    getExtInfo()->NNSRange = QualifierRange;
591  }
592  else {
593    // Here Qualifier == 0, i.e., we are removing the qualifier (if any).
594    assert(QualifierRange.isInvalid());
595    if (hasExtInfo()) {
596      // Save type source info pointer.
597      TypeSourceInfo *savedTInfo = getExtInfo()->TInfo;
598      // Deallocate the extended decl info.
599      getASTContext().Deallocate(getExtInfo());
600      // Restore savedTInfo into (non-extended) decl info.
601      DeclInfo = savedTInfo;
602    }
603  }
604}
605
606SourceLocation DeclaratorDecl::getOuterLocStart() const {
607  return getTemplateOrInnerLocStart(this);
608}
609
610void
611QualifierInfo::setTemplateParameterListsInfo(ASTContext &Context,
612                                             unsigned NumTPLists,
613                                             TemplateParameterList **TPLists) {
614  assert((NumTPLists == 0 || TPLists != 0) &&
615         "Empty array of template parameters with positive size!");
616  assert((NumTPLists == 0 || NNS) &&
617         "Nonempty array of template parameters with no qualifier!");
618
619  // Free previous template parameters (if any).
620  if (NumTemplParamLists > 0) {
621    Context.Deallocate(TemplParamLists);
622    TemplParamLists = 0;
623    NumTemplParamLists = 0;
624  }
625  // Set info on matched template parameter lists (if any).
626  if (NumTPLists > 0) {
627    TemplParamLists = new (Context) TemplateParameterList*[NumTPLists];
628    NumTemplParamLists = NumTPLists;
629    for (unsigned i = NumTPLists; i-- > 0; )
630      TemplParamLists[i] = TPLists[i];
631  }
632}
633
634//===----------------------------------------------------------------------===//
635// VarDecl Implementation
636//===----------------------------------------------------------------------===//
637
638const char *VarDecl::getStorageClassSpecifierString(StorageClass SC) {
639  switch (SC) {
640  case SC_None:          break;
641  case SC_Auto:          return "auto"; break;
642  case SC_Extern:        return "extern"; break;
643  case SC_PrivateExtern: return "__private_extern__"; break;
644  case SC_Register:      return "register"; break;
645  case SC_Static:        return "static"; break;
646  }
647
648  assert(0 && "Invalid storage class");
649  return 0;
650}
651
652VarDecl *VarDecl::Create(ASTContext &C, DeclContext *DC, SourceLocation L,
653                         IdentifierInfo *Id, QualType T, TypeSourceInfo *TInfo,
654                         StorageClass S, StorageClass SCAsWritten) {
655  return new (C) VarDecl(Var, DC, L, Id, T, TInfo, S, SCAsWritten);
656}
657
658SourceLocation VarDecl::getInnerLocStart() const {
659  SourceLocation Start = getTypeSpecStartLoc();
660  if (Start.isInvalid())
661    Start = getLocation();
662  return Start;
663}
664
665SourceRange VarDecl::getSourceRange() const {
666  if (getInit())
667    return SourceRange(getOuterLocStart(), getInit()->getLocEnd());
668  return SourceRange(getOuterLocStart(), getLocation());
669}
670
671bool VarDecl::isExternC() const {
672  ASTContext &Context = getASTContext();
673  if (!Context.getLangOptions().CPlusPlus)
674    return (getDeclContext()->isTranslationUnit() &&
675            getStorageClass() != SC_Static) ||
676      (getDeclContext()->isFunctionOrMethod() && hasExternalStorage());
677
678  for (const DeclContext *DC = getDeclContext(); !DC->isTranslationUnit();
679       DC = DC->getParent()) {
680    if (const LinkageSpecDecl *Linkage = dyn_cast<LinkageSpecDecl>(DC))  {
681      if (Linkage->getLanguage() == LinkageSpecDecl::lang_c)
682        return getStorageClass() != SC_Static;
683
684      break;
685    }
686
687    if (DC->isFunctionOrMethod())
688      return false;
689  }
690
691  return false;
692}
693
694VarDecl *VarDecl::getCanonicalDecl() {
695  return getFirstDeclaration();
696}
697
698VarDecl::DefinitionKind VarDecl::isThisDeclarationADefinition() const {
699  // C++ [basic.def]p2:
700  //   A declaration is a definition unless [...] it contains the 'extern'
701  //   specifier or a linkage-specification and neither an initializer [...],
702  //   it declares a static data member in a class declaration [...].
703  // C++ [temp.expl.spec]p15:
704  //   An explicit specialization of a static data member of a template is a
705  //   definition if the declaration includes an initializer; otherwise, it is
706  //   a declaration.
707  if (isStaticDataMember()) {
708    if (isOutOfLine() && (hasInit() ||
709          getTemplateSpecializationKind() != TSK_ExplicitSpecialization))
710      return Definition;
711    else
712      return DeclarationOnly;
713  }
714  // C99 6.7p5:
715  //   A definition of an identifier is a declaration for that identifier that
716  //   [...] causes storage to be reserved for that object.
717  // Note: that applies for all non-file-scope objects.
718  // C99 6.9.2p1:
719  //   If the declaration of an identifier for an object has file scope and an
720  //   initializer, the declaration is an external definition for the identifier
721  if (hasInit())
722    return Definition;
723  // AST for 'extern "C" int foo;' is annotated with 'extern'.
724  if (hasExternalStorage())
725    return DeclarationOnly;
726
727  if (getStorageClassAsWritten() == SC_Extern ||
728       getStorageClassAsWritten() == SC_PrivateExtern) {
729    for (const VarDecl *PrevVar = getPreviousDeclaration();
730         PrevVar; PrevVar = PrevVar->getPreviousDeclaration()) {
731      if (PrevVar->getLinkage() == InternalLinkage && PrevVar->hasInit())
732        return DeclarationOnly;
733    }
734  }
735  // C99 6.9.2p2:
736  //   A declaration of an object that has file scope without an initializer,
737  //   and without a storage class specifier or the scs 'static', constitutes
738  //   a tentative definition.
739  // No such thing in C++.
740  if (!getASTContext().getLangOptions().CPlusPlus && isFileVarDecl())
741    return TentativeDefinition;
742
743  // What's left is (in C, block-scope) declarations without initializers or
744  // external storage. These are definitions.
745  return Definition;
746}
747
748VarDecl *VarDecl::getActingDefinition() {
749  DefinitionKind Kind = isThisDeclarationADefinition();
750  if (Kind != TentativeDefinition)
751    return 0;
752
753  VarDecl *LastTentative = 0;
754  VarDecl *First = getFirstDeclaration();
755  for (redecl_iterator I = First->redecls_begin(), E = First->redecls_end();
756       I != E; ++I) {
757    Kind = (*I)->isThisDeclarationADefinition();
758    if (Kind == Definition)
759      return 0;
760    else if (Kind == TentativeDefinition)
761      LastTentative = *I;
762  }
763  return LastTentative;
764}
765
766bool VarDecl::isTentativeDefinitionNow() const {
767  DefinitionKind Kind = isThisDeclarationADefinition();
768  if (Kind != TentativeDefinition)
769    return false;
770
771  for (redecl_iterator I = redecls_begin(), E = redecls_end(); I != E; ++I) {
772    if ((*I)->isThisDeclarationADefinition() == Definition)
773      return false;
774  }
775  return true;
776}
777
778VarDecl *VarDecl::getDefinition() {
779  VarDecl *First = getFirstDeclaration();
780  for (redecl_iterator I = First->redecls_begin(), E = First->redecls_end();
781       I != E; ++I) {
782    if ((*I)->isThisDeclarationADefinition() == Definition)
783      return *I;
784  }
785  return 0;
786}
787
788const Expr *VarDecl::getAnyInitializer(const VarDecl *&D) const {
789  redecl_iterator I = redecls_begin(), E = redecls_end();
790  while (I != E && !I->getInit())
791    ++I;
792
793  if (I != E) {
794    D = *I;
795    return I->getInit();
796  }
797  return 0;
798}
799
800bool VarDecl::isOutOfLine() const {
801  if (Decl::isOutOfLine())
802    return true;
803
804  if (!isStaticDataMember())
805    return false;
806
807  // If this static data member was instantiated from a static data member of
808  // a class template, check whether that static data member was defined
809  // out-of-line.
810  if (VarDecl *VD = getInstantiatedFromStaticDataMember())
811    return VD->isOutOfLine();
812
813  return false;
814}
815
816VarDecl *VarDecl::getOutOfLineDefinition() {
817  if (!isStaticDataMember())
818    return 0;
819
820  for (VarDecl::redecl_iterator RD = redecls_begin(), RDEnd = redecls_end();
821       RD != RDEnd; ++RD) {
822    if (RD->getLexicalDeclContext()->isFileContext())
823      return *RD;
824  }
825
826  return 0;
827}
828
829void VarDecl::setInit(Expr *I) {
830  if (EvaluatedStmt *Eval = Init.dyn_cast<EvaluatedStmt *>()) {
831    Eval->~EvaluatedStmt();
832    getASTContext().Deallocate(Eval);
833  }
834
835  Init = I;
836}
837
838VarDecl *VarDecl::getInstantiatedFromStaticDataMember() const {
839  if (MemberSpecializationInfo *MSI = getMemberSpecializationInfo())
840    return cast<VarDecl>(MSI->getInstantiatedFrom());
841
842  return 0;
843}
844
845TemplateSpecializationKind VarDecl::getTemplateSpecializationKind() const {
846  if (MemberSpecializationInfo *MSI = getMemberSpecializationInfo())
847    return MSI->getTemplateSpecializationKind();
848
849  return TSK_Undeclared;
850}
851
852MemberSpecializationInfo *VarDecl::getMemberSpecializationInfo() const {
853  return getASTContext().getInstantiatedFromStaticDataMember(this);
854}
855
856void VarDecl::setTemplateSpecializationKind(TemplateSpecializationKind TSK,
857                                         SourceLocation PointOfInstantiation) {
858  MemberSpecializationInfo *MSI = getMemberSpecializationInfo();
859  assert(MSI && "Not an instantiated static data member?");
860  MSI->setTemplateSpecializationKind(TSK);
861  if (TSK != TSK_ExplicitSpecialization &&
862      PointOfInstantiation.isValid() &&
863      MSI->getPointOfInstantiation().isInvalid())
864    MSI->setPointOfInstantiation(PointOfInstantiation);
865}
866
867//===----------------------------------------------------------------------===//
868// ParmVarDecl Implementation
869//===----------------------------------------------------------------------===//
870
871ParmVarDecl *ParmVarDecl::Create(ASTContext &C, DeclContext *DC,
872                                 SourceLocation L, IdentifierInfo *Id,
873                                 QualType T, TypeSourceInfo *TInfo,
874                                 StorageClass S, StorageClass SCAsWritten,
875                                 Expr *DefArg) {
876  return new (C) ParmVarDecl(ParmVar, DC, L, Id, T, TInfo,
877                             S, SCAsWritten, DefArg);
878}
879
880Expr *ParmVarDecl::getDefaultArg() {
881  assert(!hasUnparsedDefaultArg() && "Default argument is not yet parsed!");
882  assert(!hasUninstantiatedDefaultArg() &&
883         "Default argument is not yet instantiated!");
884
885  Expr *Arg = getInit();
886  if (CXXExprWithTemporaries *E = dyn_cast_or_null<CXXExprWithTemporaries>(Arg))
887    return E->getSubExpr();
888
889  return Arg;
890}
891
892unsigned ParmVarDecl::getNumDefaultArgTemporaries() const {
893  if (const CXXExprWithTemporaries *E =
894        dyn_cast<CXXExprWithTemporaries>(getInit()))
895    return E->getNumTemporaries();
896
897  return 0;
898}
899
900CXXTemporary *ParmVarDecl::getDefaultArgTemporary(unsigned i) {
901  assert(getNumDefaultArgTemporaries() &&
902         "Default arguments does not have any temporaries!");
903
904  CXXExprWithTemporaries *E = cast<CXXExprWithTemporaries>(getInit());
905  return E->getTemporary(i);
906}
907
908SourceRange ParmVarDecl::getDefaultArgRange() const {
909  if (const Expr *E = getInit())
910    return E->getSourceRange();
911
912  if (hasUninstantiatedDefaultArg())
913    return getUninstantiatedDefaultArg()->getSourceRange();
914
915  return SourceRange();
916}
917
918//===----------------------------------------------------------------------===//
919// FunctionDecl Implementation
920//===----------------------------------------------------------------------===//
921
922void FunctionDecl::getNameForDiagnostic(std::string &S,
923                                        const PrintingPolicy &Policy,
924                                        bool Qualified) const {
925  NamedDecl::getNameForDiagnostic(S, Policy, Qualified);
926  const TemplateArgumentList *TemplateArgs = getTemplateSpecializationArgs();
927  if (TemplateArgs)
928    S += TemplateSpecializationType::PrintTemplateArgumentList(
929                                         TemplateArgs->getFlatArgumentList(),
930                                         TemplateArgs->flat_size(),
931                                                               Policy);
932
933}
934
935bool FunctionDecl::isVariadic() const {
936  if (const FunctionProtoType *FT = getType()->getAs<FunctionProtoType>())
937    return FT->isVariadic();
938  return false;
939}
940
941bool FunctionDecl::hasBody(const FunctionDecl *&Definition) const {
942  for (redecl_iterator I = redecls_begin(), E = redecls_end(); I != E; ++I) {
943    if (I->Body) {
944      Definition = *I;
945      return true;
946    }
947  }
948
949  return false;
950}
951
952Stmt *FunctionDecl::getBody(const FunctionDecl *&Definition) const {
953  for (redecl_iterator I = redecls_begin(), E = redecls_end(); I != E; ++I) {
954    if (I->Body) {
955      Definition = *I;
956      return I->Body.get(getASTContext().getExternalSource());
957    }
958  }
959
960  return 0;
961}
962
963void FunctionDecl::setBody(Stmt *B) {
964  Body = B;
965  if (B)
966    EndRangeLoc = B->getLocEnd();
967}
968
969void FunctionDecl::setPure(bool P) {
970  IsPure = P;
971  if (P)
972    if (CXXRecordDecl *Parent = dyn_cast<CXXRecordDecl>(getDeclContext()))
973      Parent->markedVirtualFunctionPure();
974}
975
976bool FunctionDecl::isMain() const {
977  ASTContext &Context = getASTContext();
978  return !Context.getLangOptions().Freestanding &&
979    getDeclContext()->getRedeclContext()->isTranslationUnit() &&
980    getIdentifier() && getIdentifier()->isStr("main");
981}
982
983bool FunctionDecl::isExternC() const {
984  ASTContext &Context = getASTContext();
985  // In C, any non-static, non-overloadable function has external
986  // linkage.
987  if (!Context.getLangOptions().CPlusPlus)
988    return getStorageClass() != SC_Static && !getAttr<OverloadableAttr>();
989
990  for (const DeclContext *DC = getDeclContext(); !DC->isTranslationUnit();
991       DC = DC->getParent()) {
992    if (const LinkageSpecDecl *Linkage = dyn_cast<LinkageSpecDecl>(DC))  {
993      if (Linkage->getLanguage() == LinkageSpecDecl::lang_c)
994        return getStorageClass() != SC_Static &&
995               !getAttr<OverloadableAttr>();
996
997      break;
998    }
999
1000    if (DC->isRecord())
1001      break;
1002  }
1003
1004  return false;
1005}
1006
1007bool FunctionDecl::isGlobal() const {
1008  if (const CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(this))
1009    return Method->isStatic();
1010
1011  if (getStorageClass() == SC_Static)
1012    return false;
1013
1014  for (const DeclContext *DC = getDeclContext();
1015       DC->isNamespace();
1016       DC = DC->getParent()) {
1017    if (const NamespaceDecl *Namespace = cast<NamespaceDecl>(DC)) {
1018      if (!Namespace->getDeclName())
1019        return false;
1020      break;
1021    }
1022  }
1023
1024  return true;
1025}
1026
1027void
1028FunctionDecl::setPreviousDeclaration(FunctionDecl *PrevDecl) {
1029  redeclarable_base::setPreviousDeclaration(PrevDecl);
1030
1031  if (FunctionTemplateDecl *FunTmpl = getDescribedFunctionTemplate()) {
1032    FunctionTemplateDecl *PrevFunTmpl
1033      = PrevDecl? PrevDecl->getDescribedFunctionTemplate() : 0;
1034    assert((!PrevDecl || PrevFunTmpl) && "Function/function template mismatch");
1035    FunTmpl->setPreviousDeclaration(PrevFunTmpl);
1036  }
1037}
1038
1039const FunctionDecl *FunctionDecl::getCanonicalDecl() const {
1040  return getFirstDeclaration();
1041}
1042
1043FunctionDecl *FunctionDecl::getCanonicalDecl() {
1044  return getFirstDeclaration();
1045}
1046
1047/// \brief Returns a value indicating whether this function
1048/// corresponds to a builtin function.
1049///
1050/// The function corresponds to a built-in function if it is
1051/// declared at translation scope or within an extern "C" block and
1052/// its name matches with the name of a builtin. The returned value
1053/// will be 0 for functions that do not correspond to a builtin, a
1054/// value of type \c Builtin::ID if in the target-independent range
1055/// \c [1,Builtin::First), or a target-specific builtin value.
1056unsigned FunctionDecl::getBuiltinID() const {
1057  ASTContext &Context = getASTContext();
1058  if (!getIdentifier() || !getIdentifier()->getBuiltinID())
1059    return 0;
1060
1061  unsigned BuiltinID = getIdentifier()->getBuiltinID();
1062  if (!Context.BuiltinInfo.isPredefinedLibFunction(BuiltinID))
1063    return BuiltinID;
1064
1065  // This function has the name of a known C library
1066  // function. Determine whether it actually refers to the C library
1067  // function or whether it just has the same name.
1068
1069  // If this is a static function, it's not a builtin.
1070  if (getStorageClass() == SC_Static)
1071    return 0;
1072
1073  // If this function is at translation-unit scope and we're not in
1074  // C++, it refers to the C library function.
1075  if (!Context.getLangOptions().CPlusPlus &&
1076      getDeclContext()->isTranslationUnit())
1077    return BuiltinID;
1078
1079  // If the function is in an extern "C" linkage specification and is
1080  // not marked "overloadable", it's the real function.
1081  if (isa<LinkageSpecDecl>(getDeclContext()) &&
1082      cast<LinkageSpecDecl>(getDeclContext())->getLanguage()
1083        == LinkageSpecDecl::lang_c &&
1084      !getAttr<OverloadableAttr>())
1085    return BuiltinID;
1086
1087  // Not a builtin
1088  return 0;
1089}
1090
1091
1092/// getNumParams - Return the number of parameters this function must have
1093/// based on its FunctionType.  This is the length of the PararmInfo array
1094/// after it has been created.
1095unsigned FunctionDecl::getNumParams() const {
1096  const FunctionType *FT = getType()->getAs<FunctionType>();
1097  if (isa<FunctionNoProtoType>(FT))
1098    return 0;
1099  return cast<FunctionProtoType>(FT)->getNumArgs();
1100
1101}
1102
1103void FunctionDecl::setParams(ASTContext &C,
1104                             ParmVarDecl **NewParamInfo, unsigned NumParams) {
1105  assert(ParamInfo == 0 && "Already has param info!");
1106  assert(NumParams == getNumParams() && "Parameter count mismatch!");
1107
1108  // Zero params -> null pointer.
1109  if (NumParams) {
1110    void *Mem = C.Allocate(sizeof(ParmVarDecl*)*NumParams);
1111    ParamInfo = new (Mem) ParmVarDecl*[NumParams];
1112    memcpy(ParamInfo, NewParamInfo, sizeof(ParmVarDecl*)*NumParams);
1113
1114    // Update source range. The check below allows us to set EndRangeLoc before
1115    // setting the parameters.
1116    if (EndRangeLoc.isInvalid() || EndRangeLoc == getLocation())
1117      EndRangeLoc = NewParamInfo[NumParams-1]->getLocEnd();
1118  }
1119}
1120
1121/// getMinRequiredArguments - Returns the minimum number of arguments
1122/// needed to call this function. This may be fewer than the number of
1123/// function parameters, if some of the parameters have default
1124/// arguments (in C++).
1125unsigned FunctionDecl::getMinRequiredArguments() const {
1126  unsigned NumRequiredArgs = getNumParams();
1127  while (NumRequiredArgs > 0
1128         && getParamDecl(NumRequiredArgs-1)->hasDefaultArg())
1129    --NumRequiredArgs;
1130
1131  return NumRequiredArgs;
1132}
1133
1134bool FunctionDecl::isInlined() const {
1135  // FIXME: This is not enough. Consider:
1136  //
1137  // inline void f();
1138  // void f() { }
1139  //
1140  // f is inlined, but does not have inline specified.
1141  // To fix this we should add an 'inline' flag to FunctionDecl.
1142  if (isInlineSpecified())
1143    return true;
1144
1145  if (isa<CXXMethodDecl>(this)) {
1146    if (!isOutOfLine() || getCanonicalDecl()->isInlineSpecified())
1147      return true;
1148  }
1149
1150  switch (getTemplateSpecializationKind()) {
1151  case TSK_Undeclared:
1152  case TSK_ExplicitSpecialization:
1153    return false;
1154
1155  case TSK_ImplicitInstantiation:
1156  case TSK_ExplicitInstantiationDeclaration:
1157  case TSK_ExplicitInstantiationDefinition:
1158    // Handle below.
1159    break;
1160  }
1161
1162  const FunctionDecl *PatternDecl = getTemplateInstantiationPattern();
1163  bool HasPattern = false;
1164  if (PatternDecl)
1165    HasPattern = PatternDecl->hasBody(PatternDecl);
1166
1167  if (HasPattern && PatternDecl)
1168    return PatternDecl->isInlined();
1169
1170  return false;
1171}
1172
1173/// \brief For an inline function definition in C or C++, determine whether the
1174/// definition will be externally visible.
1175///
1176/// Inline function definitions are always available for inlining optimizations.
1177/// However, depending on the language dialect, declaration specifiers, and
1178/// attributes, the definition of an inline function may or may not be
1179/// "externally" visible to other translation units in the program.
1180///
1181/// In C99, inline definitions are not externally visible by default. However,
1182/// if even one of the global-scope declarations is marked "extern inline", the
1183/// inline definition becomes externally visible (C99 6.7.4p6).
1184///
1185/// In GNU89 mode, or if the gnu_inline attribute is attached to the function
1186/// definition, we use the GNU semantics for inline, which are nearly the
1187/// opposite of C99 semantics. In particular, "inline" by itself will create
1188/// an externally visible symbol, but "extern inline" will not create an
1189/// externally visible symbol.
1190bool FunctionDecl::isInlineDefinitionExternallyVisible() const {
1191  assert(isThisDeclarationADefinition() && "Must have the function definition");
1192  assert(isInlined() && "Function must be inline");
1193  ASTContext &Context = getASTContext();
1194
1195  if (!Context.getLangOptions().C99 || hasAttr<GNUInlineAttr>()) {
1196    // GNU inline semantics. Based on a number of examples, we came up with the
1197    // following heuristic: if the "inline" keyword is present on a
1198    // declaration of the function but "extern" is not present on that
1199    // declaration, then the symbol is externally visible. Otherwise, the GNU
1200    // "extern inline" semantics applies and the symbol is not externally
1201    // visible.
1202    for (redecl_iterator Redecl = redecls_begin(), RedeclEnd = redecls_end();
1203         Redecl != RedeclEnd;
1204         ++Redecl) {
1205      if (Redecl->isInlineSpecified() && Redecl->getStorageClass() != SC_Extern)
1206        return true;
1207    }
1208
1209    // GNU "extern inline" semantics; no externally visible symbol.
1210    return false;
1211  }
1212
1213  // C99 6.7.4p6:
1214  //   [...] If all of the file scope declarations for a function in a
1215  //   translation unit include the inline function specifier without extern,
1216  //   then the definition in that translation unit is an inline definition.
1217  for (redecl_iterator Redecl = redecls_begin(), RedeclEnd = redecls_end();
1218       Redecl != RedeclEnd;
1219       ++Redecl) {
1220    // Only consider file-scope declarations in this test.
1221    if (!Redecl->getLexicalDeclContext()->isTranslationUnit())
1222      continue;
1223
1224    if (!Redecl->isInlineSpecified() || Redecl->getStorageClass() == SC_Extern)
1225      return true; // Not an inline definition
1226  }
1227
1228  // C99 6.7.4p6:
1229  //   An inline definition does not provide an external definition for the
1230  //   function, and does not forbid an external definition in another
1231  //   translation unit.
1232  return false;
1233}
1234
1235/// getOverloadedOperator - Which C++ overloaded operator this
1236/// function represents, if any.
1237OverloadedOperatorKind FunctionDecl::getOverloadedOperator() const {
1238  if (getDeclName().getNameKind() == DeclarationName::CXXOperatorName)
1239    return getDeclName().getCXXOverloadedOperator();
1240  else
1241    return OO_None;
1242}
1243
1244/// getLiteralIdentifier - The literal suffix identifier this function
1245/// represents, if any.
1246const IdentifierInfo *FunctionDecl::getLiteralIdentifier() const {
1247  if (getDeclName().getNameKind() == DeclarationName::CXXLiteralOperatorName)
1248    return getDeclName().getCXXLiteralIdentifier();
1249  else
1250    return 0;
1251}
1252
1253FunctionDecl::TemplatedKind FunctionDecl::getTemplatedKind() const {
1254  if (TemplateOrSpecialization.isNull())
1255    return TK_NonTemplate;
1256  if (TemplateOrSpecialization.is<FunctionTemplateDecl *>())
1257    return TK_FunctionTemplate;
1258  if (TemplateOrSpecialization.is<MemberSpecializationInfo *>())
1259    return TK_MemberSpecialization;
1260  if (TemplateOrSpecialization.is<FunctionTemplateSpecializationInfo *>())
1261    return TK_FunctionTemplateSpecialization;
1262  if (TemplateOrSpecialization.is
1263                               <DependentFunctionTemplateSpecializationInfo*>())
1264    return TK_DependentFunctionTemplateSpecialization;
1265
1266  assert(false && "Did we miss a TemplateOrSpecialization type?");
1267  return TK_NonTemplate;
1268}
1269
1270FunctionDecl *FunctionDecl::getInstantiatedFromMemberFunction() const {
1271  if (MemberSpecializationInfo *Info = getMemberSpecializationInfo())
1272    return cast<FunctionDecl>(Info->getInstantiatedFrom());
1273
1274  return 0;
1275}
1276
1277MemberSpecializationInfo *FunctionDecl::getMemberSpecializationInfo() const {
1278  return TemplateOrSpecialization.dyn_cast<MemberSpecializationInfo*>();
1279}
1280
1281void
1282FunctionDecl::setInstantiationOfMemberFunction(ASTContext &C,
1283                                               FunctionDecl *FD,
1284                                               TemplateSpecializationKind TSK) {
1285  assert(TemplateOrSpecialization.isNull() &&
1286         "Member function is already a specialization");
1287  MemberSpecializationInfo *Info
1288    = new (C) MemberSpecializationInfo(FD, TSK);
1289  TemplateOrSpecialization = Info;
1290}
1291
1292bool FunctionDecl::isImplicitlyInstantiable() const {
1293  // If the function is invalid, it can't be implicitly instantiated.
1294  if (isInvalidDecl())
1295    return false;
1296
1297  switch (getTemplateSpecializationKind()) {
1298  case TSK_Undeclared:
1299  case TSK_ExplicitSpecialization:
1300  case TSK_ExplicitInstantiationDefinition:
1301    return false;
1302
1303  case TSK_ImplicitInstantiation:
1304    return true;
1305
1306  case TSK_ExplicitInstantiationDeclaration:
1307    // Handled below.
1308    break;
1309  }
1310
1311  // Find the actual template from which we will instantiate.
1312  const FunctionDecl *PatternDecl = getTemplateInstantiationPattern();
1313  bool HasPattern = false;
1314  if (PatternDecl)
1315    HasPattern = PatternDecl->hasBody(PatternDecl);
1316
1317  // C++0x [temp.explicit]p9:
1318  //   Except for inline functions, other explicit instantiation declarations
1319  //   have the effect of suppressing the implicit instantiation of the entity
1320  //   to which they refer.
1321  if (!HasPattern || !PatternDecl)
1322    return true;
1323
1324  return PatternDecl->isInlined();
1325}
1326
1327FunctionDecl *FunctionDecl::getTemplateInstantiationPattern() const {
1328  if (FunctionTemplateDecl *Primary = getPrimaryTemplate()) {
1329    while (Primary->getInstantiatedFromMemberTemplate()) {
1330      // If we have hit a point where the user provided a specialization of
1331      // this template, we're done looking.
1332      if (Primary->isMemberSpecialization())
1333        break;
1334
1335      Primary = Primary->getInstantiatedFromMemberTemplate();
1336    }
1337
1338    return Primary->getTemplatedDecl();
1339  }
1340
1341  return getInstantiatedFromMemberFunction();
1342}
1343
1344FunctionTemplateDecl *FunctionDecl::getPrimaryTemplate() const {
1345  if (FunctionTemplateSpecializationInfo *Info
1346        = TemplateOrSpecialization
1347            .dyn_cast<FunctionTemplateSpecializationInfo*>()) {
1348    return Info->Template.getPointer();
1349  }
1350  return 0;
1351}
1352
1353const TemplateArgumentList *
1354FunctionDecl::getTemplateSpecializationArgs() const {
1355  if (FunctionTemplateSpecializationInfo *Info
1356        = TemplateOrSpecialization
1357            .dyn_cast<FunctionTemplateSpecializationInfo*>()) {
1358    return Info->TemplateArguments;
1359  }
1360  return 0;
1361}
1362
1363const TemplateArgumentListInfo *
1364FunctionDecl::getTemplateSpecializationArgsAsWritten() const {
1365  if (FunctionTemplateSpecializationInfo *Info
1366        = TemplateOrSpecialization
1367            .dyn_cast<FunctionTemplateSpecializationInfo*>()) {
1368    return Info->TemplateArgumentsAsWritten;
1369  }
1370  return 0;
1371}
1372
1373void
1374FunctionDecl::setFunctionTemplateSpecialization(ASTContext &C,
1375                                                FunctionTemplateDecl *Template,
1376                                     const TemplateArgumentList *TemplateArgs,
1377                                                void *InsertPos,
1378                                                TemplateSpecializationKind TSK,
1379                        const TemplateArgumentListInfo *TemplateArgsAsWritten,
1380                                          SourceLocation PointOfInstantiation) {
1381  assert(TSK != TSK_Undeclared &&
1382         "Must specify the type of function template specialization");
1383  FunctionTemplateSpecializationInfo *Info
1384    = TemplateOrSpecialization.dyn_cast<FunctionTemplateSpecializationInfo*>();
1385  if (!Info)
1386    Info = FunctionTemplateSpecializationInfo::Create(C, this, Template, TSK,
1387                                                      TemplateArgs,
1388                                                      TemplateArgsAsWritten,
1389                                                      PointOfInstantiation);
1390  TemplateOrSpecialization = Info;
1391
1392  // Insert this function template specialization into the set of known
1393  // function template specializations.
1394  if (InsertPos)
1395    Template->getSpecializations().InsertNode(Info, InsertPos);
1396  else {
1397    // Try to insert the new node. If there is an existing node, leave it, the
1398    // set will contain the canonical decls while
1399    // FunctionTemplateDecl::findSpecialization will return
1400    // the most recent redeclarations.
1401    FunctionTemplateSpecializationInfo *Existing
1402      = Template->getSpecializations().GetOrInsertNode(Info);
1403    (void)Existing;
1404    assert((!Existing || Existing->Function->isCanonicalDecl()) &&
1405           "Set is supposed to only contain canonical decls");
1406  }
1407}
1408
1409void
1410FunctionDecl::setDependentTemplateSpecialization(ASTContext &Context,
1411                                    const UnresolvedSetImpl &Templates,
1412                             const TemplateArgumentListInfo &TemplateArgs) {
1413  assert(TemplateOrSpecialization.isNull());
1414  size_t Size = sizeof(DependentFunctionTemplateSpecializationInfo);
1415  Size += Templates.size() * sizeof(FunctionTemplateDecl*);
1416  Size += TemplateArgs.size() * sizeof(TemplateArgumentLoc);
1417  void *Buffer = Context.Allocate(Size);
1418  DependentFunctionTemplateSpecializationInfo *Info =
1419    new (Buffer) DependentFunctionTemplateSpecializationInfo(Templates,
1420                                                             TemplateArgs);
1421  TemplateOrSpecialization = Info;
1422}
1423
1424DependentFunctionTemplateSpecializationInfo::
1425DependentFunctionTemplateSpecializationInfo(const UnresolvedSetImpl &Ts,
1426                                      const TemplateArgumentListInfo &TArgs)
1427  : AngleLocs(TArgs.getLAngleLoc(), TArgs.getRAngleLoc()) {
1428
1429  d.NumTemplates = Ts.size();
1430  d.NumArgs = TArgs.size();
1431
1432  FunctionTemplateDecl **TsArray =
1433    const_cast<FunctionTemplateDecl**>(getTemplates());
1434  for (unsigned I = 0, E = Ts.size(); I != E; ++I)
1435    TsArray[I] = cast<FunctionTemplateDecl>(Ts[I]->getUnderlyingDecl());
1436
1437  TemplateArgumentLoc *ArgsArray =
1438    const_cast<TemplateArgumentLoc*>(getTemplateArgs());
1439  for (unsigned I = 0, E = TArgs.size(); I != E; ++I)
1440    new (&ArgsArray[I]) TemplateArgumentLoc(TArgs[I]);
1441}
1442
1443TemplateSpecializationKind FunctionDecl::getTemplateSpecializationKind() const {
1444  // For a function template specialization, query the specialization
1445  // information object.
1446  FunctionTemplateSpecializationInfo *FTSInfo
1447    = TemplateOrSpecialization.dyn_cast<FunctionTemplateSpecializationInfo*>();
1448  if (FTSInfo)
1449    return FTSInfo->getTemplateSpecializationKind();
1450
1451  MemberSpecializationInfo *MSInfo
1452    = TemplateOrSpecialization.dyn_cast<MemberSpecializationInfo*>();
1453  if (MSInfo)
1454    return MSInfo->getTemplateSpecializationKind();
1455
1456  return TSK_Undeclared;
1457}
1458
1459void
1460FunctionDecl::setTemplateSpecializationKind(TemplateSpecializationKind TSK,
1461                                          SourceLocation PointOfInstantiation) {
1462  if (FunctionTemplateSpecializationInfo *FTSInfo
1463        = TemplateOrSpecialization.dyn_cast<
1464                                    FunctionTemplateSpecializationInfo*>()) {
1465    FTSInfo->setTemplateSpecializationKind(TSK);
1466    if (TSK != TSK_ExplicitSpecialization &&
1467        PointOfInstantiation.isValid() &&
1468        FTSInfo->getPointOfInstantiation().isInvalid())
1469      FTSInfo->setPointOfInstantiation(PointOfInstantiation);
1470  } else if (MemberSpecializationInfo *MSInfo
1471             = TemplateOrSpecialization.dyn_cast<MemberSpecializationInfo*>()) {
1472    MSInfo->setTemplateSpecializationKind(TSK);
1473    if (TSK != TSK_ExplicitSpecialization &&
1474        PointOfInstantiation.isValid() &&
1475        MSInfo->getPointOfInstantiation().isInvalid())
1476      MSInfo->setPointOfInstantiation(PointOfInstantiation);
1477  } else
1478    assert(false && "Function cannot have a template specialization kind");
1479}
1480
1481SourceLocation FunctionDecl::getPointOfInstantiation() const {
1482  if (FunctionTemplateSpecializationInfo *FTSInfo
1483        = TemplateOrSpecialization.dyn_cast<
1484                                        FunctionTemplateSpecializationInfo*>())
1485    return FTSInfo->getPointOfInstantiation();
1486  else if (MemberSpecializationInfo *MSInfo
1487             = TemplateOrSpecialization.dyn_cast<MemberSpecializationInfo*>())
1488    return MSInfo->getPointOfInstantiation();
1489
1490  return SourceLocation();
1491}
1492
1493bool FunctionDecl::isOutOfLine() const {
1494  if (Decl::isOutOfLine())
1495    return true;
1496
1497  // If this function was instantiated from a member function of a
1498  // class template, check whether that member function was defined out-of-line.
1499  if (FunctionDecl *FD = getInstantiatedFromMemberFunction()) {
1500    const FunctionDecl *Definition;
1501    if (FD->hasBody(Definition))
1502      return Definition->isOutOfLine();
1503  }
1504
1505  // If this function was instantiated from a function template,
1506  // check whether that function template was defined out-of-line.
1507  if (FunctionTemplateDecl *FunTmpl = getPrimaryTemplate()) {
1508    const FunctionDecl *Definition;
1509    if (FunTmpl->getTemplatedDecl()->hasBody(Definition))
1510      return Definition->isOutOfLine();
1511  }
1512
1513  return false;
1514}
1515
1516//===----------------------------------------------------------------------===//
1517// FieldDecl Implementation
1518//===----------------------------------------------------------------------===//
1519
1520FieldDecl *FieldDecl::Create(ASTContext &C, DeclContext *DC, SourceLocation L,
1521                             IdentifierInfo *Id, QualType T,
1522                             TypeSourceInfo *TInfo, Expr *BW, bool Mutable) {
1523  return new (C) FieldDecl(Decl::Field, DC, L, Id, T, TInfo, BW, Mutable);
1524}
1525
1526bool FieldDecl::isAnonymousStructOrUnion() const {
1527  if (!isImplicit() || getDeclName())
1528    return false;
1529
1530  if (const RecordType *Record = getType()->getAs<RecordType>())
1531    return Record->getDecl()->isAnonymousStructOrUnion();
1532
1533  return false;
1534}
1535
1536//===----------------------------------------------------------------------===//
1537// TagDecl Implementation
1538//===----------------------------------------------------------------------===//
1539
1540SourceLocation TagDecl::getOuterLocStart() const {
1541  return getTemplateOrInnerLocStart(this);
1542}
1543
1544SourceRange TagDecl::getSourceRange() const {
1545  SourceLocation E = RBraceLoc.isValid() ? RBraceLoc : getLocation();
1546  return SourceRange(getOuterLocStart(), E);
1547}
1548
1549TagDecl* TagDecl::getCanonicalDecl() {
1550  return getFirstDeclaration();
1551}
1552
1553void TagDecl::setTypedefForAnonDecl(TypedefDecl *TDD) {
1554  TypedefDeclOrQualifier = TDD;
1555  if (TypeForDecl)
1556    TypeForDecl->ClearLinkageCache();
1557}
1558
1559void TagDecl::startDefinition() {
1560  IsBeingDefined = true;
1561
1562  if (isa<CXXRecordDecl>(this)) {
1563    CXXRecordDecl *D = cast<CXXRecordDecl>(this);
1564    struct CXXRecordDecl::DefinitionData *Data =
1565      new (getASTContext()) struct CXXRecordDecl::DefinitionData(D);
1566    for (redecl_iterator I = redecls_begin(), E = redecls_end(); I != E; ++I)
1567      cast<CXXRecordDecl>(*I)->DefinitionData = Data;
1568  }
1569}
1570
1571void TagDecl::completeDefinition() {
1572  assert((!isa<CXXRecordDecl>(this) ||
1573          cast<CXXRecordDecl>(this)->hasDefinition()) &&
1574         "definition completed but not started");
1575
1576  IsDefinition = true;
1577  IsBeingDefined = false;
1578}
1579
1580TagDecl* TagDecl::getDefinition() const {
1581  if (isDefinition())
1582    return const_cast<TagDecl *>(this);
1583
1584  for (redecl_iterator R = redecls_begin(), REnd = redecls_end();
1585       R != REnd; ++R)
1586    if (R->isDefinition())
1587      return *R;
1588
1589  return 0;
1590}
1591
1592void TagDecl::setQualifierInfo(NestedNameSpecifier *Qualifier,
1593                               SourceRange QualifierRange) {
1594  if (Qualifier) {
1595    // Make sure the extended qualifier info is allocated.
1596    if (!hasExtInfo())
1597      TypedefDeclOrQualifier = new (getASTContext()) ExtInfo;
1598    // Set qualifier info.
1599    getExtInfo()->NNS = Qualifier;
1600    getExtInfo()->NNSRange = QualifierRange;
1601  }
1602  else {
1603    // Here Qualifier == 0, i.e., we are removing the qualifier (if any).
1604    assert(QualifierRange.isInvalid());
1605    if (hasExtInfo()) {
1606      getASTContext().Deallocate(getExtInfo());
1607      TypedefDeclOrQualifier = (TypedefDecl*) 0;
1608    }
1609  }
1610}
1611
1612//===----------------------------------------------------------------------===//
1613// EnumDecl Implementation
1614//===----------------------------------------------------------------------===//
1615
1616EnumDecl *EnumDecl::Create(ASTContext &C, DeclContext *DC, SourceLocation L,
1617                           IdentifierInfo *Id, SourceLocation TKL,
1618                           EnumDecl *PrevDecl, bool IsScoped, bool IsFixed) {
1619  EnumDecl *Enum = new (C) EnumDecl(DC, L, Id, PrevDecl, TKL,
1620                                    IsScoped, IsFixed);
1621  C.getTypeDeclType(Enum, PrevDecl);
1622  return Enum;
1623}
1624
1625EnumDecl *EnumDecl::Create(ASTContext &C, EmptyShell Empty) {
1626  return new (C) EnumDecl(0, SourceLocation(), 0, 0, SourceLocation(),
1627                          false, false);
1628}
1629
1630void EnumDecl::completeDefinition(QualType NewType,
1631                                  QualType NewPromotionType,
1632                                  unsigned NumPositiveBits,
1633                                  unsigned NumNegativeBits) {
1634  assert(!isDefinition() && "Cannot redefine enums!");
1635  if (!IntegerType)
1636    IntegerType = NewType.getTypePtr();
1637  PromotionType = NewPromotionType;
1638  setNumPositiveBits(NumPositiveBits);
1639  setNumNegativeBits(NumNegativeBits);
1640  TagDecl::completeDefinition();
1641}
1642
1643//===----------------------------------------------------------------------===//
1644// RecordDecl Implementation
1645//===----------------------------------------------------------------------===//
1646
1647RecordDecl::RecordDecl(Kind DK, TagKind TK, DeclContext *DC, SourceLocation L,
1648                       IdentifierInfo *Id, RecordDecl *PrevDecl,
1649                       SourceLocation TKL)
1650  : TagDecl(DK, TK, DC, L, Id, PrevDecl, TKL) {
1651  HasFlexibleArrayMember = false;
1652  AnonymousStructOrUnion = false;
1653  HasObjectMember = false;
1654  LoadedFieldsFromExternalStorage = false;
1655  assert(classof(static_cast<Decl*>(this)) && "Invalid Kind!");
1656}
1657
1658RecordDecl *RecordDecl::Create(ASTContext &C, TagKind TK, DeclContext *DC,
1659                               SourceLocation L, IdentifierInfo *Id,
1660                               SourceLocation TKL, RecordDecl* PrevDecl) {
1661
1662  RecordDecl* R = new (C) RecordDecl(Record, TK, DC, L, Id, PrevDecl, TKL);
1663  C.getTypeDeclType(R, PrevDecl);
1664  return R;
1665}
1666
1667RecordDecl *RecordDecl::Create(ASTContext &C, EmptyShell Empty) {
1668  return new (C) RecordDecl(Record, TTK_Struct, 0, SourceLocation(), 0, 0,
1669                            SourceLocation());
1670}
1671
1672bool RecordDecl::isInjectedClassName() const {
1673  return isImplicit() && getDeclName() && getDeclContext()->isRecord() &&
1674    cast<RecordDecl>(getDeclContext())->getDeclName() == getDeclName();
1675}
1676
1677RecordDecl::field_iterator RecordDecl::field_begin() const {
1678  if (hasExternalLexicalStorage() && !LoadedFieldsFromExternalStorage)
1679    LoadFieldsFromExternalStorage();
1680
1681  return field_iterator(decl_iterator(FirstDecl));
1682}
1683
1684/// completeDefinition - Notes that the definition of this type is now
1685/// complete.
1686void RecordDecl::completeDefinition() {
1687  assert(!isDefinition() && "Cannot redefine record!");
1688  TagDecl::completeDefinition();
1689}
1690
1691ValueDecl *RecordDecl::getAnonymousStructOrUnionObject() {
1692  // Force the decl chain to come into existence properly.
1693  if (!getNextDeclInContext()) getParent()->decls_begin();
1694
1695  assert(isAnonymousStructOrUnion());
1696  ValueDecl *D = cast<ValueDecl>(getNextDeclInContext());
1697  assert(D->getType()->isRecordType());
1698  assert(D->getType()->getAs<RecordType>()->getDecl() == this);
1699  return D;
1700}
1701
1702void RecordDecl::LoadFieldsFromExternalStorage() const {
1703  ExternalASTSource *Source = getASTContext().getExternalSource();
1704  assert(hasExternalLexicalStorage() && Source && "No external storage?");
1705
1706  // Notify that we have a RecordDecl doing some initialization.
1707  ExternalASTSource::Deserializing TheFields(Source);
1708
1709  llvm::SmallVector<Decl*, 64> Decls;
1710  if (Source->FindExternalLexicalDeclsBy<FieldDecl>(this, Decls))
1711    return;
1712
1713#ifndef NDEBUG
1714  // Check that all decls we got were FieldDecls.
1715  for (unsigned i=0, e=Decls.size(); i != e; ++i)
1716    assert(isa<FieldDecl>(Decls[i]));
1717#endif
1718
1719  LoadedFieldsFromExternalStorage = true;
1720
1721  if (Decls.empty())
1722    return;
1723
1724  llvm::tie(FirstDecl, LastDecl) = BuildDeclChain(Decls);
1725}
1726
1727//===----------------------------------------------------------------------===//
1728// BlockDecl Implementation
1729//===----------------------------------------------------------------------===//
1730
1731void BlockDecl::setParams(ParmVarDecl **NewParamInfo,
1732                          unsigned NParms) {
1733  assert(ParamInfo == 0 && "Already has param info!");
1734
1735  // Zero params -> null pointer.
1736  if (NParms) {
1737    NumParams = NParms;
1738    void *Mem = getASTContext().Allocate(sizeof(ParmVarDecl*)*NumParams);
1739    ParamInfo = new (Mem) ParmVarDecl*[NumParams];
1740    memcpy(ParamInfo, NewParamInfo, sizeof(ParmVarDecl*)*NumParams);
1741  }
1742}
1743
1744unsigned BlockDecl::getNumParams() const {
1745  return NumParams;
1746}
1747
1748
1749//===----------------------------------------------------------------------===//
1750// Other Decl Allocation/Deallocation Method Implementations
1751//===----------------------------------------------------------------------===//
1752
1753TranslationUnitDecl *TranslationUnitDecl::Create(ASTContext &C) {
1754  return new (C) TranslationUnitDecl(C);
1755}
1756
1757NamespaceDecl *NamespaceDecl::Create(ASTContext &C, DeclContext *DC,
1758                                     SourceLocation L, IdentifierInfo *Id) {
1759  return new (C) NamespaceDecl(DC, L, Id);
1760}
1761
1762ImplicitParamDecl *ImplicitParamDecl::Create(ASTContext &C, DeclContext *DC,
1763    SourceLocation L, IdentifierInfo *Id, QualType T) {
1764  return new (C) ImplicitParamDecl(ImplicitParam, DC, L, Id, T);
1765}
1766
1767FunctionDecl *FunctionDecl::Create(ASTContext &C, DeclContext *DC,
1768                                   const DeclarationNameInfo &NameInfo,
1769                                   QualType T, TypeSourceInfo *TInfo,
1770                                   StorageClass S, StorageClass SCAsWritten,
1771                                   bool isInline, bool hasWrittenPrototype) {
1772  FunctionDecl *New = new (C) FunctionDecl(Function, DC, NameInfo, T, TInfo,
1773                                           S, SCAsWritten, isInline);
1774  New->HasWrittenPrototype = hasWrittenPrototype;
1775  return New;
1776}
1777
1778BlockDecl *BlockDecl::Create(ASTContext &C, DeclContext *DC, SourceLocation L) {
1779  return new (C) BlockDecl(DC, L);
1780}
1781
1782EnumConstantDecl *EnumConstantDecl::Create(ASTContext &C, EnumDecl *CD,
1783                                           SourceLocation L,
1784                                           IdentifierInfo *Id, QualType T,
1785                                           Expr *E, const llvm::APSInt &V) {
1786  return new (C) EnumConstantDecl(CD, L, Id, T, E, V);
1787}
1788
1789SourceRange EnumConstantDecl::getSourceRange() const {
1790  SourceLocation End = getLocation();
1791  if (Init)
1792    End = Init->getLocEnd();
1793  return SourceRange(getLocation(), End);
1794}
1795
1796TypedefDecl *TypedefDecl::Create(ASTContext &C, DeclContext *DC,
1797                                 SourceLocation L, IdentifierInfo *Id,
1798                                 TypeSourceInfo *TInfo) {
1799  return new (C) TypedefDecl(DC, L, Id, TInfo);
1800}
1801
1802FileScopeAsmDecl *FileScopeAsmDecl::Create(ASTContext &C, DeclContext *DC,
1803                                           SourceLocation L,
1804                                           StringLiteral *Str) {
1805  return new (C) FileScopeAsmDecl(DC, L, Str);
1806}
1807