/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp

Bug Summary

File:	tools/clang/lib/Sema/SemaExprMember.cpp
Warning:	line 1009, column 26 Called C++ object pointer is null

Annotated Source Code

Press '?' to see keyboard shortcuts

Show analyzer invocation

clang -cc1 -triple x86_64-pc-linux-gnu -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name SemaExprMember.cpp -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=cplusplus -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -analyzer-config-compatibility-mode=true -mrelocation-model pic -pic-level 2 -mthread-model posix -mframe-pointer=none -relaxed-aliasing -fmath-errno -masm-verbose -mconstructor-aliases -munwind-tables -fuse-init-array -target-cpu x86-64 -dwarf-column-info -debugger-tuning=gdb -ffunction-sections -fdata-sections -resource-dir /usr/lib/llvm-10/lib/clang/10.0.0 -D CLANG_VENDOR="Debian " -D _DEBUG -D _GNU_SOURCE -D __STDC_CONSTANT_MACROS -D __STDC_FORMAT_MACROS -D __STDC_LIMIT_MACROS -I /build/llvm-toolchain-snapshot-10~svn373517/build-llvm/tools/clang/lib/Sema -I /build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema -I /build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include -I /build/llvm-toolchain-snapshot-10~svn373517/build-llvm/tools/clang/include -I /build/llvm-toolchain-snapshot-10~svn373517/build-llvm/include -I /build/llvm-toolchain-snapshot-10~svn373517/include -U NDEBUG -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/6.3.0/../../../../include/c++/6.3.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/6.3.0/../../../../include/x86_64-linux-gnu/c++/6.3.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/6.3.0/../../../../include/x86_64-linux-gnu/c++/6.3.0 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/6.3.0/../../../../include/c++/6.3.0/backward -internal-isystem /usr/local/include -internal-isystem /usr/lib/llvm-10/lib/clang/10.0.0/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -O2 -Wno-unused-parameter -Wwrite-strings -Wno-missing-field-initializers -Wno-long-long -Wno-maybe-uninitialized -Wno-comment -std=c++14 -fdeprecated-macro -fdebug-compilation-dir /build/llvm-toolchain-snapshot-10~svn373517/build-llvm/tools/clang/lib/Sema -fdebug-prefix-map=/build/llvm-toolchain-snapshot-10~svn373517=. -ferror-limit 19 -fmessage-length 0 -fvisibility-inlines-hidden -stack-protector 2 -fobjc-runtime=gcc -fno-common -fdiagnostics-show-option -vectorize-loops -vectorize-slp -analyzer-output=html -analyzer-config stable-report-filename=true -faddrsig -o /tmp/scan-build-2019-10-02-234743-9763-1 -x c++ /build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp

/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp

→

1//===--- SemaExprMember.cpp - Semantic Analysis for Expressions -----------===//
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 implements semantic analysis member access expressions.
10//
11//===----------------------------------------------------------------------===//
12#include "clang/Sema/Overload.h"
13#include "clang/AST/ASTLambda.h"
14#include "clang/AST/DeclCXX.h"
15#include "clang/AST/DeclObjC.h"
16#include "clang/AST/DeclTemplate.h"
17#include "clang/AST/ExprCXX.h"
18#include "clang/AST/ExprObjC.h"
19#include "clang/Lex/Preprocessor.h"
20#include "clang/Sema/Lookup.h"
21#include "clang/Sema/Scope.h"
22#include "clang/Sema/ScopeInfo.h"
23#include "clang/Sema/SemaInternal.h"

25using namespace clang;
26using namespace sema;

28typedef llvm::SmallPtrSet<const CXXRecordDecl*, 4> BaseSet;

30/// Determines if the given class is provably not derived from all of
31/// the prospective base classes.
32static bool isProvablyNotDerivedFrom(Sema &SemaRef, CXXRecordDecl *Record,
                                   const BaseSet &Bases) {
auto BaseIsNotInSet = [&Bases](const CXXRecordDecl *Base) {
  return !Bases.count(Base->getCanonicalDecl());
};
return BaseIsNotInSet(Record) && Record->forallBases(BaseIsNotInSet);
38}

40enum IMAKind {
/// The reference is definitely not an instance member access.
IMA_Static,

/// The reference may be an implicit instance member access.
IMA_Mixed,

/// The reference may be to an instance member, but it might be invalid if
/// so, because the context is not an instance method.
IMA_Mixed_StaticContext,

/// The reference may be to an instance member, but it is invalid if
/// so, because the context is from an unrelated class.
IMA_Mixed_Unrelated,

/// The reference is definitely an implicit instance member access.
IMA_Instance,

/// The reference may be to an unresolved using declaration.
IMA_Unresolved,

/// The reference is a contextually-permitted abstract member reference.
IMA_Abstract,

/// The reference may be to an unresolved using declaration and the
/// context is not an instance method.
IMA_Unresolved_StaticContext,

// The reference refers to a field which is not a member of the containing
// class, which is allowed because we're in C++11 mode and the context is
// unevaluated.
IMA_Field_Uneval_Context,

/// All possible referrents are instance members and the current
/// context is not an instance method.
IMA_Error_StaticContext,

/// All possible referrents are instance members of an unrelated
/// class.
IMA_Error_Unrelated
80};

82/// The given lookup names class member(s) and is not being used for
83/// an address-of-member expression.  Classify the type of access
84/// according to whether it's possible that this reference names an
85/// instance member.  This is best-effort in dependent contexts; it is okay to
86/// conservatively answer "yes", in which case some errors will simply
87/// not be caught until template-instantiation.
88static IMAKind ClassifyImplicitMemberAccess(Sema &SemaRef,
                                          const LookupResult &R) {
assert(!R.empty() && (*R.begin())->isCXXClassMember())((!R.empty() && (*R.begin())->isCXXClassMember()) ?
 static_cast<void> (0) : __assert_fail ("!R.empty() && (*R.begin())->isCXXClassMember()"
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 90, __PRETTY_FUNCTION__));

DeclContext *DC = SemaRef.getFunctionLevelDeclContext();

bool isStaticContext = SemaRef.CXXThisTypeOverride.isNull() &&
  (!isa<CXXMethodDecl>(DC) || cast<CXXMethodDecl>(DC)->isStatic());

if (R.isUnresolvableResult())
  return isStaticContext ? IMA_Unresolved_StaticContext : IMA_Unresolved;

// Collect all the declaring classes of instance members we find.
bool hasNonInstance = false;
bool isField = false;
BaseSet Classes;
for (NamedDecl *D : R) {
  // Look through any using decls.
  D = D->getUnderlyingDecl();

  if (D->isCXXInstanceMember()) {
    isField |= isa<FieldDecl>(D) || isa<MSPropertyDecl>(D) ||
               isa<IndirectFieldDecl>(D);

    CXXRecordDecl *R = cast<CXXRecordDecl>(D->getDeclContext());
    Classes.insert(R->getCanonicalDecl());
  } else
    hasNonInstance = true;
}

// If we didn't find any instance members, it can't be an implicit
// member reference.
if (Classes.empty())
  return IMA_Static;

// C++11 [expr.prim.general]p12:
//   An id-expression that denotes a non-static data member or non-static
//   member function of a class can only be used:
//   (...)
//   - if that id-expression denotes a non-static data member and it
//     appears in an unevaluated operand.
//
// This rule is specific to C++11.  However, we also permit this form
// in unevaluated inline assembly operands, like the operand to a SIZE.
IMAKind AbstractInstanceResult = IMA_Static; // happens to be 'false'
assert(!AbstractInstanceResult)((!AbstractInstanceResult) ? static_cast<void> (0) : __assert_fail
 ("!AbstractInstanceResult", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 133, __PRETTY_FUNCTION__));
switch (SemaRef.ExprEvalContexts.back().Context) {
case Sema::ExpressionEvaluationContext::Unevaluated:
case Sema::ExpressionEvaluationContext::UnevaluatedList:
  if (isField && SemaRef.getLangOpts().CPlusPlus11)
    AbstractInstanceResult = IMA_Field_Uneval_Context;
  break;

case Sema::ExpressionEvaluationContext::UnevaluatedAbstract:
  AbstractInstanceResult = IMA_Abstract;
  break;

case Sema::ExpressionEvaluationContext::DiscardedStatement:
case Sema::ExpressionEvaluationContext::ConstantEvaluated:
case Sema::ExpressionEvaluationContext::PotentiallyEvaluated:
case Sema::ExpressionEvaluationContext::PotentiallyEvaluatedIfUsed:
  break;
}

// If the current context is not an instance method, it can't be
// an implicit member reference.
if (isStaticContext) {
  if (hasNonInstance)
    return IMA_Mixed_StaticContext;

  return AbstractInstanceResult ? AbstractInstanceResult
                                : IMA_Error_StaticContext;
}

CXXRecordDecl *contextClass;
if (CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(DC))
  contextClass = MD->getParent()->getCanonicalDecl();
else
  contextClass = cast<CXXRecordDecl>(DC);

// [class.mfct.non-static]p3:
// ...is used in the body of a non-static member function of class X,
// if name lookup (3.4.1) resolves the name in the id-expression to a
// non-static non-type member of some class C [...]
// ...if C is not X or a base class of X, the class member access expression
// is ill-formed.
if (R.getNamingClass() &&
    contextClass->getCanonicalDecl() !=
      R.getNamingClass()->getCanonicalDecl()) {
  // If the naming class is not the current context, this was a qualified
  // member name lookup, and it's sufficient to check that we have the naming
  // class as a base class.
  Classes.clear();
  Classes.insert(R.getNamingClass()->getCanonicalDecl());
}

// If we can prove that the current context is unrelated to all the
// declaring classes, it can't be an implicit member reference (in
// which case it's an error if any of those members are selected).
if (isProvablyNotDerivedFrom(SemaRef, contextClass, Classes))
  return hasNonInstance ? IMA_Mixed_Unrelated :
         AbstractInstanceResult ? AbstractInstanceResult :
                                  IMA_Error_Unrelated;

return (hasNonInstance ? IMA_Mixed : IMA_Instance);
193}

195/// Diagnose a reference to a field with no object available.
196static void diagnoseInstanceReference(Sema &SemaRef,
                                    const CXXScopeSpec &SS,
                                    NamedDecl *Rep,
                                    const DeclarationNameInfo &nameInfo) {
SourceLocation Loc = nameInfo.getLoc();
SourceRange Range(Loc);
if (SS.isSet()) Range.setBegin(SS.getRange().getBegin());

// Look through using shadow decls and aliases.
Rep = Rep->getUnderlyingDecl();

DeclContext *FunctionLevelDC = SemaRef.getFunctionLevelDeclContext();
CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(FunctionLevelDC);
CXXRecordDecl *ContextClass = Method ? Method->getParent() : nullptr;
CXXRecordDecl *RepClass = dyn_cast<CXXRecordDecl>(Rep->getDeclContext());

bool InStaticMethod = Method && Method->isStatic();
bool IsField = isa<FieldDecl>(Rep) || isa<IndirectFieldDecl>(Rep);

if (IsField && InStaticMethod)
  // "invalid use of member 'x' in static member function"
  SemaRef.Diag(Loc, diag::err_invalid_member_use_in_static_method)
      << Range << nameInfo.getName();
else if (ContextClass && RepClass && SS.isEmpty() && !InStaticMethod &&
         !RepClass->Equals(ContextClass) && RepClass->Encloses(ContextClass))
  // Unqualified lookup in a non-static member function found a member of an
  // enclosing class.
  SemaRef.Diag(Loc, diag::err_nested_non_static_member_use)
    << IsField << RepClass << nameInfo.getName() << ContextClass << Range;
else if (IsField)
  SemaRef.Diag(Loc, diag::err_invalid_non_static_member_use)
    << nameInfo.getName() << Range;
else
  SemaRef.Diag(Loc, diag::err_member_call_without_object)
    << Range;
231}

233/// Builds an expression which might be an implicit member expression.
234ExprResult
235Sema::BuildPossibleImplicitMemberExpr(const CXXScopeSpec &SS,
                                    SourceLocation TemplateKWLoc,
                                    LookupResult &R,
                              const TemplateArgumentListInfo *TemplateArgs,
                                    const Scope *S) {
switch (ClassifyImplicitMemberAccess(*this, R)) {
case IMA_Instance:
  return BuildImplicitMemberExpr(SS, TemplateKWLoc, R, TemplateArgs, true, S);

case IMA_Mixed:
case IMA_Mixed_Unrelated:
case IMA_Unresolved:
  return BuildImplicitMemberExpr(SS, TemplateKWLoc, R, TemplateArgs, false,
                                 S);

case IMA_Field_Uneval_Context:
  Diag(R.getNameLoc(), diag::warn_cxx98_compat_non_static_member_use)
    << R.getLookupNameInfo().getName();
  LLVM_FALLTHROUGH[[gnu::fallthrough]];
case IMA_Static:
case IMA_Abstract:
case IMA_Mixed_StaticContext:
case IMA_Unresolved_StaticContext:
  if (TemplateArgs || TemplateKWLoc.isValid())
    return BuildTemplateIdExpr(SS, TemplateKWLoc, R, false, TemplateArgs);
  return BuildDeclarationNameExpr(SS, R, false);

case IMA_Error_StaticContext:
case IMA_Error_Unrelated:
  diagnoseInstanceReference(*this, SS, R.getRepresentativeDecl(),
                            R.getLookupNameInfo());
  return ExprError();
}

llvm_unreachable("unexpected instance member access kind")::llvm::llvm_unreachable_internal("unexpected instance member access kind"
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 269);
270}

272/// Determine whether input char is from rgba component set.
273static bool
274IsRGBA(char c) {
switch (c) {
case 'r':
case 'g':
case 'b':
case 'a':
  return true;
default:
  return false;
}
284}

286// OpenCL v1.1, s6.1.7
287// The component swizzle length must be in accordance with the acceptable
288// vector sizes.
289static bool IsValidOpenCLComponentSwizzleLength(unsigned len)
290{
return (len >= 1 && len <= 4) || len == 8 || len == 16;
292}

294/// Check an ext-vector component access expression.
295///
296/// VK should be set in advance to the value kind of the base
297/// expression.
298static QualType
299CheckExtVectorComponent(Sema &S, QualType baseType, ExprValueKind &VK,
                      SourceLocation OpLoc, const IdentifierInfo *CompName,
                      SourceLocation CompLoc) {
// FIXME: Share logic with ExtVectorElementExpr::containsDuplicateElements,
// see FIXME there.
//
// FIXME: This logic can be greatly simplified by splitting it along
// halving/not halving and reworking the component checking.
const ExtVectorType *vecType = baseType->getAs<ExtVectorType>();

// The vector accessor can't exceed the number of elements.
const char *compStr = CompName->getNameStart();

// This flag determines whether or not the component is one of the four
// special names that indicate a subset of exactly half the elements are
// to be selected.
bool HalvingSwizzle = false;

// This flag determines whether or not CompName has an 's' char prefix,
// indicating that it is a string of hex values to be used as vector indices.
bool HexSwizzle = (*compStr == 's' || *compStr == 'S') && compStr[1];

bool HasRepeated = false;
bool HasIndex[16] = {};

int Idx;

// Check that we've found one of the special components, or that the component
// names must come from the same set.
if (!strcmp(compStr, "hi") || !strcmp(compStr, "lo") ||
    !strcmp(compStr, "even") || !strcmp(compStr, "odd")) {
  HalvingSwizzle = true;
} else if (!HexSwizzle &&
           (Idx = vecType->getPointAccessorIdx(*compStr)) != -1) {
  bool HasRGBA = IsRGBA(*compStr);
  do {
    // Ensure that xyzw and rgba components don't intermingle.
    if (HasRGBA != IsRGBA(*compStr))
      break;
    if (HasIndex[Idx]) HasRepeated = true;
    HasIndex[Idx] = true;
    compStr++;
  } while (*compStr && (Idx = vecType->getPointAccessorIdx(*compStr)) != -1);

  // Emit a warning if an rgba selector is used earlier than OpenCL 2.2
  if (HasRGBA || (*compStr && IsRGBA(*compStr))) {
    if (S.getLangOpts().OpenCL && S.getLangOpts().OpenCLVersion < 220) {
      const char *DiagBegin = HasRGBA ? CompName->getNameStart() : compStr;
      S.Diag(OpLoc, diag::ext_opencl_ext_vector_type_rgba_selector)
        << StringRef(DiagBegin, 1)
        << S.getLangOpts().OpenCLVersion << SourceRange(CompLoc);
    }
  }
} else {
  if (HexSwizzle) compStr++;
  while ((Idx = vecType->getNumericAccessorIdx(*compStr)) != -1) {
    if (HasIndex[Idx]) HasRepeated = true;
    HasIndex[Idx] = true;
    compStr++;
  }
}

if (!HalvingSwizzle && *compStr) {
  // We didn't get to the end of the string. This means the component names
  // didn't come from the same set *or* we encountered an illegal name.
  S.Diag(OpLoc, diag::err_ext_vector_component_name_illegal)
    << StringRef(compStr, 1) << SourceRange(CompLoc);
  return QualType();
}

// Ensure no component accessor exceeds the width of the vector type it
// operates on.
if (!HalvingSwizzle) {
  compStr = CompName->getNameStart();

  if (HexSwizzle)
    compStr++;

  while (*compStr) {
    if (!vecType->isAccessorWithinNumElements(*compStr++, HexSwizzle)) {
      S.Diag(OpLoc, diag::err_ext_vector_component_exceeds_length)
        << baseType << SourceRange(CompLoc);
      return QualType();
    }
  }
}

// OpenCL mode requires swizzle length to be in accordance with accepted
// sizes. Clang however supports arbitrary lengths for other languages.
if (S.getLangOpts().OpenCL && !HalvingSwizzle) {
  unsigned SwizzleLength = CompName->getLength();

  if (HexSwizzle)
    SwizzleLength--;

  if (IsValidOpenCLComponentSwizzleLength(SwizzleLength) == false) {
    S.Diag(OpLoc, diag::err_opencl_ext_vector_component_invalid_length)
      << SwizzleLength << SourceRange(CompLoc);
    return QualType();
  }
}

// The component accessor looks fine - now we need to compute the actual type.
// The vector type is implied by the component accessor. For example,
// vec4.b is a float, vec4.xy is a vec2, vec4.rgb is a vec3, etc.
// vec4.s0 is a float, vec4.s23 is a vec3, etc.
// vec4.hi, vec4.lo, vec4.e, and vec4.o all return vec2.
unsigned CompSize = HalvingSwizzle ? (vecType->getNumElements() + 1) / 2
                                   : CompName->getLength();
if (HexSwizzle)
  CompSize--;

if (CompSize == 1)
  return vecType->getElementType();

if (HasRepeated) VK = VK_RValue;

QualType VT = S.Context.getExtVectorType(vecType->getElementType(), CompSize);
// Now look up the TypeDefDecl from the vector type. Without this,
// diagostics look bad. We want extended vector types to appear built-in.
for (Sema::ExtVectorDeclsType::iterator
       I = S.ExtVectorDecls.begin(S.getExternalSource()),
       E = S.ExtVectorDecls.end();
     I != E; ++I) {
  if ((*I)->getUnderlyingType() == VT)
    return S.Context.getTypedefType(*I);
}

return VT; // should never get here (a typedef type should always be found).
428}

430static Decl *FindGetterSetterNameDeclFromProtocolList(const ObjCProtocolDecl*PDecl,
                                              IdentifierInfo *Member,
                                              const Selector &Sel,
                                              ASTContext &Context) {
if (Member)
  if (ObjCPropertyDecl *PD = PDecl->FindPropertyDeclaration(
          Member, ObjCPropertyQueryKind::OBJC_PR_query_instance))
    return PD;
if (ObjCMethodDecl *OMD = PDecl->getInstanceMethod(Sel))
  return OMD;

for (const auto *I : PDecl->protocols()) {
  if (Decl *D = FindGetterSetterNameDeclFromProtocolList(I, Member, Sel,
                                                         Context))
    return D;
}
return nullptr;
447}

449static Decl *FindGetterSetterNameDecl(const ObjCObjectPointerType *QIdTy,
                                    IdentifierInfo *Member,
                                    const Selector &Sel,
                                    ASTContext &Context) {
// Check protocols on qualified interfaces.
Decl *GDecl = nullptr;
for (const auto *I : QIdTy->quals()) {
  if (Member)
    if (ObjCPropertyDecl *PD = I->FindPropertyDeclaration(
            Member, ObjCPropertyQueryKind::OBJC_PR_query_instance)) {
      GDecl = PD;
      break;
    }
  // Also must look for a getter or setter name which uses property syntax.
  if (ObjCMethodDecl *OMD = I->getInstanceMethod(Sel)) {
    GDecl = OMD;
    break;
  }
}
if (!GDecl) {
  for (const auto *I : QIdTy->quals()) {
    // Search in the protocol-qualifier list of current protocol.
    GDecl = FindGetterSetterNameDeclFromProtocolList(I, Member, Sel, Context);
    if (GDecl)
      return GDecl;
  }
}
return GDecl;
477}

479ExprResult
480Sema::ActOnDependentMemberExpr(Expr *BaseExpr, QualType BaseType,
                             bool IsArrow, SourceLocation OpLoc,
                             const CXXScopeSpec &SS,
                             SourceLocation TemplateKWLoc,
                             NamedDecl *FirstQualifierInScope,
                             const DeclarationNameInfo &NameInfo,
                             const TemplateArgumentListInfo *TemplateArgs) {
// Even in dependent contexts, try to diagnose base expressions with
// obviously wrong types, e.g.:
//
// T* t;
// t.f;
//
// In Obj-C++, however, the above expression is valid, since it could be
// accessing the 'f' property if T is an Obj-C interface. The extra check
// allows this, while still reporting an error if T is a struct pointer.
if (!IsArrow) {
  const PointerType *PT = BaseType->getAs<PointerType>();
  if (PT && (!getLangOpts().ObjC ||
             PT->getPointeeType()->isRecordType())) {
    assert(BaseExpr && "cannot happen with implicit member accesses")((BaseExpr && "cannot happen with implicit member accesses"
) ? static_cast<void> (0) : __assert_fail ("BaseExpr && \"cannot happen with implicit member accesses\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 500, __PRETTY_FUNCTION__));
    Diag(OpLoc, diag::err_typecheck_member_reference_struct_union)
      << BaseType << BaseExpr->getSourceRange() << NameInfo.getSourceRange();
    return ExprError();
  }
}

assert(BaseType->isDependentType() ||((BaseType->isDependentType() || NameInfo.getName().isDependentName
() || isDependentScopeSpecifier(SS)) ? static_cast<void>
 (0) : __assert_fail ("BaseType->isDependentType() || NameInfo.getName().isDependentName() || isDependentScopeSpecifier(SS)"
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 509, __PRETTY_FUNCTION__))
       NameInfo.getName().isDependentName() ||((BaseType->isDependentType() || NameInfo.getName().isDependentName
() || isDependentScopeSpecifier(SS)) ? static_cast<void>
 (0) : __assert_fail ("BaseType->isDependentType() || NameInfo.getName().isDependentName() || isDependentScopeSpecifier(SS)"
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 509, __PRETTY_FUNCTION__))
       isDependentScopeSpecifier(SS))((BaseType->isDependentType() || NameInfo.getName().isDependentName
() || isDependentScopeSpecifier(SS)) ? static_cast<void>
 (0) : __assert_fail ("BaseType->isDependentType() || NameInfo.getName().isDependentName() || isDependentScopeSpecifier(SS)"
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 509, __PRETTY_FUNCTION__));

// Get the type being accessed in BaseType.  If this is an arrow, the BaseExpr
// must have pointer type, and the accessed type is the pointee.
return CXXDependentScopeMemberExpr::Create(
    Context, BaseExpr, BaseType, IsArrow, OpLoc,
    SS.getWithLocInContext(Context), TemplateKWLoc, FirstQualifierInScope,
    NameInfo, TemplateArgs);
517}

519/// We know that the given qualified member reference points only to
520/// declarations which do not belong to the static type of the base
521/// expression.  Diagnose the problem.
522static void DiagnoseQualifiedMemberReference(Sema &SemaRef,
                                           Expr *BaseExpr,
                                           QualType BaseType,
                                           const CXXScopeSpec &SS,
                                           NamedDecl *rep,
                                     const DeclarationNameInfo &nameInfo) {
// If this is an implicit member access, use a different set of
// diagnostics.
if (!BaseExpr)
  return diagnoseInstanceReference(SemaRef, SS, rep, nameInfo);

SemaRef.Diag(nameInfo.getLoc(), diag::err_qualified_member_of_unrelated)
  << SS.getRange() << rep << BaseType;
535}

537// Check whether the declarations we found through a nested-name
538// specifier in a member expression are actually members of the base
539// type.  The restriction here is:
540//
541//   C++ [expr.ref]p2:
542//     ... In these cases, the id-expression shall name a
543//     member of the class or of one of its base classes.
544//
545// So it's perfectly legitimate for the nested-name specifier to name
546// an unrelated class, and for us to find an overload set including
547// decls from classes which are not superclasses, as long as the decl
548// we actually pick through overload resolution is from a superclass.
549bool Sema::CheckQualifiedMemberReference(Expr *BaseExpr,
                                       QualType BaseType,
                                       const CXXScopeSpec &SS,
                                       const LookupResult &R) {
CXXRecordDecl *BaseRecord =
  cast_or_null<CXXRecordDecl>(computeDeclContext(BaseType));
if (!BaseRecord) {
  // We can't check this yet because the base type is still
  // dependent.
  assert(BaseType->isDependentType())((BaseType->isDependentType()) ? static_cast<void> (
0) : __assert_fail ("BaseType->isDependentType()", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 558, __PRETTY_FUNCTION__));
  return false;
}

for (LookupResult::iterator I = R.begin(), E = R.end(); I != E; ++I) {
  // If this is an implicit member reference and we find a
  // non-instance member, it's not an error.
  if (!BaseExpr && !(*I)->isCXXInstanceMember())
    return false;

  // Note that we use the DC of the decl, not the underlying decl.
  DeclContext *DC = (*I)->getDeclContext();
  while (DC->isTransparentContext())
    DC = DC->getParent();

  if (!DC->isRecord())
    continue;

  CXXRecordDecl *MemberRecord = cast<CXXRecordDecl>(DC)->getCanonicalDecl();
  if (BaseRecord->getCanonicalDecl() == MemberRecord ||
      !BaseRecord->isProvablyNotDerivedFrom(MemberRecord))
    return false;
}

DiagnoseQualifiedMemberReference(*this, BaseExpr, BaseType, SS,
                                 R.getRepresentativeDecl(),
                                 R.getLookupNameInfo());
return true;
586}

588namespace {

590// Callback to only accept typo corrections that are either a ValueDecl or a
591// FunctionTemplateDecl and are declared in the current record or, for a C++
592// classes, one of its base classes.
593class RecordMemberExprValidatorCCC final : public CorrectionCandidateCallback {
594public:
explicit RecordMemberExprValidatorCCC(const RecordType *RTy)
    : Record(RTy->getDecl()) {
  // Don't add bare keywords to the consumer since they will always fail
  // validation by virtue of not being associated with any decls.
  WantTypeSpecifiers = false;
  WantExpressionKeywords = false;
  WantCXXNamedCasts = false;
  WantFunctionLikeCasts = false;
  WantRemainingKeywords = false;
}

bool ValidateCandidate(const TypoCorrection &candidate) override {
  NamedDecl *ND = candidate.getCorrectionDecl();
  // Don't accept candidates that cannot be member functions, constants,
  // variables, or templates.
  if (!ND || !(isa<ValueDecl>(ND) || isa<FunctionTemplateDecl>(ND)))
    return false;

  // Accept candidates that occur in the current record.
  if (Record->containsDecl(ND))
    return true;

  if (const CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(Record)) {
    // Accept candidates that occur in any of the current class' base classes.
    for (const auto &BS : RD->bases()) {
      if (const RecordType *BSTy =
              dyn_cast_or_null<RecordType>(BS.getType().getTypePtrOrNull())) {
        if (BSTy->getDecl()->containsDecl(ND))
          return true;
      }
    }
  }

  return false;
}

std::unique_ptr<CorrectionCandidateCallback> clone() override {
  return std::make_unique<RecordMemberExprValidatorCCC>(*this);
}

635private:
const RecordDecl *const Record;
637};

639}

641static bool LookupMemberExprInRecord(Sema &SemaRef, LookupResult &R,
                                   Expr *BaseExpr,
                                   const RecordType *RTy,
                                   SourceLocation OpLoc, bool IsArrow,
                                   CXXScopeSpec &SS, bool HasTemplateArgs,
                                   SourceLocation TemplateKWLoc,
                                   TypoExpr *&TE) {
SourceRange BaseRange = BaseExpr ? BaseExpr->getSourceRange() : SourceRange();
RecordDecl *RDecl = RTy->getDecl();
if (!SemaRef.isThisOutsideMemberFunctionBody(QualType(RTy, 0)) &&
    SemaRef.RequireCompleteType(OpLoc, QualType(RTy, 0),
                                diag::err_typecheck_incomplete_tag,
                                BaseRange))
  return true;

if (HasTemplateArgs || TemplateKWLoc.isValid()) {
  // LookupTemplateName doesn't expect these both to exist simultaneously.
  QualType ObjectType = SS.isSet() ? QualType() : QualType(RTy, 0);

  bool MOUS;
  return SemaRef.LookupTemplateName(R, nullptr, SS, ObjectType, false, MOUS,
                                    TemplateKWLoc);
}

DeclContext *DC = RDecl;
if (SS.isSet()) {
  // If the member name was a qualified-id, look into the
  // nested-name-specifier.
  DC = SemaRef.computeDeclContext(SS, false);

  if (SemaRef.RequireCompleteDeclContext(SS, DC)) {
    SemaRef.Diag(SS.getRange().getEnd(), diag::err_typecheck_incomplete_tag)
        << SS.getRange() << DC;
    return true;
  }

  assert(DC && "Cannot handle non-computable dependent contexts in lookup")((DC && "Cannot handle non-computable dependent contexts in lookup"
) ? static_cast<void> (0) : __assert_fail ("DC && \"Cannot handle non-computable dependent contexts in lookup\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 677, __PRETTY_FUNCTION__));

  if (!isa<TypeDecl>(DC)) {
    SemaRef.Diag(R.getNameLoc(), diag::err_qualified_member_nonclass)
        << DC << SS.getRange();
    return true;
  }
}

// The record definition is complete, now look up the member.
SemaRef.LookupQualifiedName(R, DC, SS);

if (!R.empty())
  return false;

DeclarationName Typo = R.getLookupName();
SourceLocation TypoLoc = R.getNameLoc();

struct QueryState {
  Sema &SemaRef;
  DeclarationNameInfo NameInfo;
  Sema::LookupNameKind LookupKind;
  Sema::RedeclarationKind Redecl;
};
QueryState Q = {R.getSema(), R.getLookupNameInfo(), R.getLookupKind(),
                R.redeclarationKind()};
RecordMemberExprValidatorCCC CCC(RTy);
TE = SemaRef.CorrectTypoDelayed(
    R.getLookupNameInfo(), R.getLookupKind(), nullptr, &SS, CCC,
    [=, &SemaRef](const TypoCorrection &TC) {
      if (TC) {
        assert(!TC.isKeyword() &&((!TC.isKeyword() && "Got a keyword as a correction for a member!"
) ? static_cast<void> (0) : __assert_fail ("!TC.isKeyword() && \"Got a keyword as a correction for a member!\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 709, __PRETTY_FUNCTION__))
               "Got a keyword as a correction for a member!")((!TC.isKeyword() && "Got a keyword as a correction for a member!"
) ? static_cast<void> (0) : __assert_fail ("!TC.isKeyword() && \"Got a keyword as a correction for a member!\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 709, __PRETTY_FUNCTION__));
        bool DroppedSpecifier =
            TC.WillReplaceSpecifier() &&
            Typo.getAsString() == TC.getAsString(SemaRef.getLangOpts());
        SemaRef.diagnoseTypo(TC, SemaRef.PDiag(diag::err_no_member_suggest)
                                     << Typo << DC << DroppedSpecifier
                                     << SS.getRange());
      } else {
        SemaRef.Diag(TypoLoc, diag::err_no_member) << Typo << DC << BaseRange;
      }
    },
    [=](Sema &SemaRef, TypoExpr *TE, TypoCorrection TC) mutable {
      LookupResult R(Q.SemaRef, Q.NameInfo, Q.LookupKind, Q.Redecl);
      R.clear(); // Ensure there's no decls lingering in the shared state.
      R.suppressDiagnostics();
      R.setLookupName(TC.getCorrection());
      for (NamedDecl *ND : TC)
        R.addDecl(ND);
      R.resolveKind();
      return SemaRef.BuildMemberReferenceExpr(
          BaseExpr, BaseExpr->getType(), OpLoc, IsArrow, SS, SourceLocation(),
          nullptr, R, nullptr, nullptr);
    },
    Sema::CTK_ErrorRecovery, DC);

return false;
735}

737static ExprResult LookupMemberExpr(Sema &S, LookupResult &R,
                                 ExprResult &BaseExpr, bool &IsArrow,
                                 SourceLocation OpLoc, CXXScopeSpec &SS,
                                 Decl *ObjCImpDecl, bool HasTemplateArgs,
                                 SourceLocation TemplateKWLoc);

743ExprResult
744Sema::BuildMemberReferenceExpr(Expr *Base, QualType BaseType,
                             SourceLocation OpLoc, bool IsArrow,
                             CXXScopeSpec &SS,
                             SourceLocation TemplateKWLoc,
                             NamedDecl *FirstQualifierInScope,
                             const DeclarationNameInfo &NameInfo,
                             const TemplateArgumentListInfo *TemplateArgs,
                             const Scope *S,
                             ActOnMemberAccessExtraArgs *ExtraArgs) {
if (BaseType->isDependentType() ||
    (SS.isSet() && isDependentScopeSpecifier(SS)))
  return ActOnDependentMemberExpr(Base, BaseType,
                                  IsArrow, OpLoc,
                                  SS, TemplateKWLoc, FirstQualifierInScope,
                                  NameInfo, TemplateArgs);

LookupResult R(*this, NameInfo, LookupMemberName);

// Implicit member accesses.
if (!Base) {
  TypoExpr *TE = nullptr;
  QualType RecordTy = BaseType;
  if (IsArrow) RecordTy = RecordTy->getAs<PointerType>()->getPointeeType();
  if (LookupMemberExprInRecord(
          *this, R, nullptr, RecordTy->getAs<RecordType>(), OpLoc, IsArrow,
          SS, TemplateArgs != nullptr, TemplateKWLoc, TE))
    return ExprError();
  if (TE)
    return TE;

// Explicit member accesses.
} else {
  ExprResult BaseResult = Base;
  ExprResult Result =
      LookupMemberExpr(*this, R, BaseResult, IsArrow, OpLoc, SS,
                       ExtraArgs ? ExtraArgs->ObjCImpDecl : nullptr,
                       TemplateArgs != nullptr, TemplateKWLoc);

  if (BaseResult.isInvalid())
    return ExprError();
  Base = BaseResult.get();

  if (Result.isInvalid())
    return ExprError();

  if (Result.get())
    return Result;

  // LookupMemberExpr can modify Base, and thus change BaseType
  BaseType = Base->getType();
}

return BuildMemberReferenceExpr(Base, BaseType,
                                OpLoc, IsArrow, SS, TemplateKWLoc,
                                FirstQualifierInScope, R, TemplateArgs, S,
                                false, ExtraArgs);
800}

802ExprResult
803Sema::BuildAnonymousStructUnionMemberReference(const CXXScopeSpec &SS,
                                             SourceLocation loc,
                                             IndirectFieldDecl *indirectField,
                                             DeclAccessPair foundDecl,
                                             Expr *baseObjectExpr,
                                             SourceLocation opLoc) {
// First, build the expression that refers to the base object.

// Case 1:  the base of the indirect field is not a field.
VarDecl *baseVariable = indirectField->getVarDecl();
CXXScopeSpec EmptySS;
if (baseVariable) {
  assert(baseVariable->getType()->isRecordType())((baseVariable->getType()->isRecordType()) ? static_cast
<void> (0) : __assert_fail ("baseVariable->getType()->isRecordType()"
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 815, __PRETTY_FUNCTION__));

  // In principle we could have a member access expression that
  // accesses an anonymous struct/union that's a static member of
  // the base object's class.  However, under the current standard,
  // static data members cannot be anonymous structs or unions.
  // Supporting this is as easy as building a MemberExpr here.
  assert(!baseObjectExpr && "anonymous struct/union is static data member?")((!baseObjectExpr && "anonymous struct/union is static data member?"
) ? static_cast<void> (0) : __assert_fail ("!baseObjectExpr && \"anonymous struct/union is static data member?\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 822, __PRETTY_FUNCTION__));

  DeclarationNameInfo baseNameInfo(DeclarationName(), loc);

  ExprResult result
    = BuildDeclarationNameExpr(EmptySS, baseNameInfo, baseVariable);
  if (result.isInvalid()) return ExprError();

  baseObjectExpr = result.get();
}

assert((baseVariable || baseObjectExpr) &&(((baseVariable || baseObjectExpr) && "referencing anonymous struct/union without a base variable or "
 "expression") ? static_cast<void> (0) : __assert_fail (
"(baseVariable || baseObjectExpr) && \"referencing anonymous struct/union without a base variable or \" \"expression\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 835, __PRETTY_FUNCTION__))
       "referencing anonymous struct/union without a base variable or "(((baseVariable || baseObjectExpr) && "referencing anonymous struct/union without a base variable or "
 "expression") ? static_cast<void> (0) : __assert_fail (
"(baseVariable || baseObjectExpr) && \"referencing anonymous struct/union without a base variable or \" \"expression\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 835, __PRETTY_FUNCTION__))
       "expression")(((baseVariable || baseObjectExpr) && "referencing anonymous struct/union without a base variable or "
 "expression") ? static_cast<void> (0) : __assert_fail (
"(baseVariable || baseObjectExpr) && \"referencing anonymous struct/union without a base variable or \" \"expression\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 835, __PRETTY_FUNCTION__));

// Build the implicit member references to the field of the
// anonymous struct/union.
Expr *result = baseObjectExpr;
IndirectFieldDecl::chain_iterator
FI = indirectField->chain_begin(), FEnd = indirectField->chain_end();

// Case 2: the base of the indirect field is a field and the user
// wrote a member expression.
if (!baseVariable) {
  FieldDecl *field = cast<FieldDecl>(*FI);

  bool baseObjectIsPointer = baseObjectExpr->getType()->isPointerType();

  // Make a nameInfo that properly uses the anonymous name.
  DeclarationNameInfo memberNameInfo(field->getDeclName(), loc);

  // Build the first member access in the chain with full information.
  result =
      BuildFieldReferenceExpr(result, baseObjectIsPointer, SourceLocation(),
                              SS, field, foundDecl, memberNameInfo)
          .get();
  if (!result)
    return ExprError();
}

// In all cases, we should now skip the first declaration in the chain.
++FI;

while (FI != FEnd) {
  FieldDecl *field = cast<FieldDecl>(*FI++);

  // FIXME: these are somewhat meaningless
  DeclarationNameInfo memberNameInfo(field->getDeclName(), loc);
  DeclAccessPair fakeFoundDecl =
      DeclAccessPair::make(field, field->getAccess());

  result =
      BuildFieldReferenceExpr(result, /*isarrow*/ false, SourceLocation(),
                              (FI == FEnd ? SS : EmptySS), field,
                              fakeFoundDecl, memberNameInfo)
          .get();
}

return result;
881}

883static ExprResult
884BuildMSPropertyRefExpr(Sema &S, Expr *BaseExpr, bool IsArrow,
                     const CXXScopeSpec &SS,
                     MSPropertyDecl *PD,
                     const DeclarationNameInfo &NameInfo) {
// Property names are always simple identifiers and therefore never
// require any interesting additional storage.
return new (S.Context) MSPropertyRefExpr(BaseExpr, PD, IsArrow,
                                         S.Context.PseudoObjectTy, VK_LValue,
                                         SS.getWithLocInContext(S.Context),
                                         NameInfo.getLoc());
894}

896MemberExpr *Sema::BuildMemberExpr(
  Expr *Base, bool IsArrow, SourceLocation OpLoc, const CXXScopeSpec *SS,
  SourceLocation TemplateKWLoc, ValueDecl *Member, DeclAccessPair FoundDecl,
  bool HadMultipleCandidates, const DeclarationNameInfo &MemberNameInfo,
  QualType Ty, ExprValueKind VK, ExprObjectKind OK,
  const TemplateArgumentListInfo *TemplateArgs) {
NestedNameSpecifierLoc NNS =
    SS ? SS->getWithLocInContext(Context) : NestedNameSpecifierLoc();
return BuildMemberExpr(Base, IsArrow, OpLoc, NNS, TemplateKWLoc, Member,
                       FoundDecl, HadMultipleCandidates, MemberNameInfo, Ty,
                       VK, OK, TemplateArgs);
907}

909MemberExpr *Sema::BuildMemberExpr(
  Expr *Base, bool IsArrow, SourceLocation OpLoc, NestedNameSpecifierLoc NNS,
  SourceLocation TemplateKWLoc, ValueDecl *Member, DeclAccessPair FoundDecl,
  bool HadMultipleCandidates, const DeclarationNameInfo &MemberNameInfo,
  QualType Ty, ExprValueKind VK, ExprObjectKind OK,
  const TemplateArgumentListInfo *TemplateArgs) {
assert((!IsArrow || Base->isRValue()) && "-> base must be a pointer rvalue")(((!IsArrow || Base->isRValue()) && "-> base must be a pointer rvalue"
) ? static_cast<void> (0) : __assert_fail ("(!IsArrow || Base->isRValue()) && \"-> base must be a pointer rvalue\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 915, __PRETTY_FUNCTION__));
MemberExpr *E =
    MemberExpr::Create(Context, Base, IsArrow, OpLoc, NNS, TemplateKWLoc,
                       Member, FoundDecl, MemberNameInfo, TemplateArgs, Ty,
                       VK, OK, getNonOdrUseReasonInCurrentContext(Member));
E->setHadMultipleCandidates(HadMultipleCandidates);
MarkMemberReferenced(E);
return E;
923}

925/// Determine if the given scope is within a function-try-block handler.
926static bool IsInFnTryBlockHandler(const Scope *S) {
// Walk the scope stack until finding a FnTryCatchScope, or leave the
// function scope. If a FnTryCatchScope is found, check whether the TryScope
// flag is set. If it is not, it's a function-try-block handler.
for (; S != S->getFnParent(); S = S->getParent()) {
  if (S->getFlags() & Scope::FnTryCatchScope)
    return (S->getFlags() & Scope::TryScope) != Scope::TryScope;
}
return false;
935}

937VarDecl *
938Sema::getVarTemplateSpecialization(VarTemplateDecl *VarTempl,
                    const TemplateArgumentListInfo *TemplateArgs,
                    const DeclarationNameInfo &MemberNameInfo,
                    SourceLocation TemplateKWLoc) {
if (!TemplateArgs) {
  diagnoseMissingTemplateArguments(TemplateName(VarTempl),
                                   MemberNameInfo.getBeginLoc());
  return nullptr;
}

DeclResult VDecl = CheckVarTemplateId(VarTempl, TemplateKWLoc,
                                      MemberNameInfo.getLoc(), *TemplateArgs);
if (VDecl.isInvalid())
  return nullptr;
VarDecl *Var = cast<VarDecl>(VDecl.get());
if (!Var->getTemplateSpecializationKind())
  Var->setTemplateSpecializationKind(TSK_ImplicitInstantiation,
                                     MemberNameInfo.getLoc());
return Var;
957}

959ExprResult
960Sema::BuildMemberReferenceExpr(Expr *BaseExpr, QualType BaseExprType,
                             SourceLocation OpLoc, bool IsArrow,
                             const CXXScopeSpec &SS,
                             SourceLocation TemplateKWLoc,
                             NamedDecl *FirstQualifierInScope,
                             LookupResult &R,
                             const TemplateArgumentListInfo *TemplateArgs,
                             const Scope *S,
                             bool SuppressQualifierCheck,
                             ActOnMemberAccessExtraArgs *ExtraArgs) {
QualType BaseType = BaseExprType;
if (IsArrow) {
1
Assuming 'IsArrow' is false→
2
←
Taking false branch→
  assert(BaseType->isPointerType())((BaseType->isPointerType()) ? static_cast<void> (0)
 : __assert_fail ("BaseType->isPointerType()", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 972, __PRETTY_FUNCTION__));
  BaseType = BaseType->castAs<PointerType>()->getPointeeType();
}
R.setBaseObjectType(BaseType);

// C++1z [expr.ref]p2:
//   For the first option (dot) the first expression shall be a glvalue [...]
if (!IsArrow2.1
'IsArrow' is false
1
'IsArrow' is false
 && BaseExpr && BaseExpr->isRValue()) {
3
←
Assuming 'BaseExpr' is null→
  ExprResult Converted = TemporaryMaterializationConversion(BaseExpr);
  if (Converted.isInvalid())
    return ExprError();
  BaseExpr = Converted.get();
}


const DeclarationNameInfo &MemberNameInfo = R.getLookupNameInfo();
DeclarationName MemberName = MemberNameInfo.getName();
SourceLocation MemberLoc = MemberNameInfo.getLoc();

if (R.isAmbiguous())
4
←
Assuming the condition is false→
5
←
Taking false branch→
  return ExprError();

// [except.handle]p10: Referring to any non-static member or base class of an
// object in the handler for a function-try-block of a constructor or
// destructor for that object results in undefined behavior.
const auto *FD = getCurFunctionDecl();
if (S && BaseExpr && FD &&
6
←
Assuming 'S' is null→
7
←
Taking false branch→
    (isa<CXXDestructorDecl>(FD) || isa<CXXConstructorDecl>(FD)) &&
    isa<CXXThisExpr>(BaseExpr->IgnoreImpCasts()) &&
    IsInFnTryBlockHandler(S))
  Diag(MemberLoc, diag::warn_cdtor_function_try_handler_mem_expr)
      << isa<CXXDestructorDecl>(FD);

if (R.empty()) {
8
←
Assuming the condition is true→
9
←
Taking true branch→
  // Rederive where we looked up.
  DeclContext *DC = (SS.isSet()
10
←
Calling 'CXXScopeSpec::isSet'→
13
←
Returning from 'CXXScopeSpec::isSet'→
14
←
'?' condition is false→
                     ? computeDeclContext(SS, false)
                     : BaseType->getAs<RecordType>()->getDecl());
15
←
Assuming the object is not a 'RecordType'→
16
←
Called C++ object pointer is null

  if (ExtraArgs) {
    ExprResult RetryExpr;
    if (!IsArrow && BaseExpr) {
      SFINAETrap Trap(*this, true);
      ParsedType ObjectType;
      bool MayBePseudoDestructor = false;
      RetryExpr = ActOnStartCXXMemberReference(getCurScope(), BaseExpr,
                                               OpLoc, tok::arrow, ObjectType,
                                               MayBePseudoDestructor);
      if (RetryExpr.isUsable() && !Trap.hasErrorOccurred()) {
        CXXScopeSpec TempSS(SS);
        RetryExpr = ActOnMemberAccessExpr(
            ExtraArgs->S, RetryExpr.get(), OpLoc, tok::arrow, TempSS,
            TemplateKWLoc, ExtraArgs->Id, ExtraArgs->ObjCImpDecl);
      }
      if (Trap.hasErrorOccurred())
        RetryExpr = ExprError();
    }
    if (RetryExpr.isUsable()) {
      Diag(OpLoc, diag::err_no_member_overloaded_arrow)
        << MemberName << DC << FixItHint::CreateReplacement(OpLoc, "->");
      return RetryExpr;
    }
  }

  Diag(R.getNameLoc(), diag::err_no_member)
    << MemberName << DC
    << (BaseExpr ? BaseExpr->getSourceRange() : SourceRange());
  return ExprError();
}

// Diagnose lookups that find only declarations from a non-base
// type.  This is possible for either qualified lookups (which may
// have been qualified with an unrelated type) or implicit member
// expressions (which were found with unqualified lookup and thus
// may have come from an enclosing scope).  Note that it's okay for
// lookup to find declarations from a non-base type as long as those
// aren't the ones picked by overload resolution.
if ((SS.isSet() || !BaseExpr ||
     (isa<CXXThisExpr>(BaseExpr) &&
      cast<CXXThisExpr>(BaseExpr)->isImplicit())) &&
    !SuppressQualifierCheck &&
    CheckQualifiedMemberReference(BaseExpr, BaseType, SS, R))
  return ExprError();

// Construct an unresolved result if we in fact got an unresolved
// result.
if (R.isOverloadedResult() || R.isUnresolvableResult()) {
  // Suppress any lookup-related diagnostics; we'll do these when we
  // pick a member.
  R.suppressDiagnostics();

  UnresolvedMemberExpr *MemExpr
    = UnresolvedMemberExpr::Create(Context, R.isUnresolvableResult(),
                                   BaseExpr, BaseExprType,
                                   IsArrow, OpLoc,
                                   SS.getWithLocInContext(Context),
                                   TemplateKWLoc, MemberNameInfo,
                                   TemplateArgs, R.begin(), R.end());

  return MemExpr;
}

assert(R.isSingleResult())((R.isSingleResult()) ? static_cast<void> (0) : __assert_fail
 ("R.isSingleResult()", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 1074, __PRETTY_FUNCTION__));
DeclAccessPair FoundDecl = R.begin().getPair();
NamedDecl *MemberDecl = R.getFoundDecl();

// FIXME: diagnose the presence of template arguments now.

// If the decl being referenced had an error, return an error for this
// sub-expr without emitting another error, in order to avoid cascading
// error cases.
if (MemberDecl->isInvalidDecl())
  return ExprError();

// Handle the implicit-member-access case.
if (!BaseExpr) {
  // If this is not an instance member, convert to a non-member access.
  if (!MemberDecl->isCXXInstanceMember()) {
    // If this is a variable template, get the instantiated variable
    // declaration corresponding to the supplied template arguments
    // (while emitting diagnostics as necessary) that will be referenced
    // by this expression.
    assert((!TemplateArgs || isa<VarTemplateDecl>(MemberDecl)) &&(((!TemplateArgs || isa<VarTemplateDecl>(MemberDecl)) &&
 "How did we get template arguments here sans a variable template"
) ? static_cast<void> (0) : __assert_fail ("(!TemplateArgs || isa<VarTemplateDecl>(MemberDecl)) && \"How did we get template arguments here sans a variable template\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 1095, __PRETTY_FUNCTION__))
           "How did we get template arguments here sans a variable template")(((!TemplateArgs || isa<VarTemplateDecl>(MemberDecl)) &&
 "How did we get template arguments here sans a variable template"
) ? static_cast<void> (0) : __assert_fail ("(!TemplateArgs || isa<VarTemplateDecl>(MemberDecl)) && \"How did we get template arguments here sans a variable template\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 1095, __PRETTY_FUNCTION__));
    if (isa<VarTemplateDecl>(MemberDecl)) {
      MemberDecl = getVarTemplateSpecialization(
          cast<VarTemplateDecl>(MemberDecl), TemplateArgs,
          R.getLookupNameInfo(), TemplateKWLoc);
      if (!MemberDecl)
        return ExprError();
    }
    return BuildDeclarationNameExpr(SS, R.getLookupNameInfo(), MemberDecl,
                                    FoundDecl, TemplateArgs);
  }
  SourceLocation Loc = R.getNameLoc();
  if (SS.getRange().isValid())
    Loc = SS.getRange().getBegin();
  BaseExpr = BuildCXXThisExpr(Loc, BaseExprType, /*IsImplicit=*/true);
}

// Check the use of this member.
if (DiagnoseUseOfDecl(MemberDecl, MemberLoc))
  return ExprError();

if (FieldDecl *FD = dyn_cast<FieldDecl>(MemberDecl))
  return BuildFieldReferenceExpr(BaseExpr, IsArrow, OpLoc, SS, FD, FoundDecl,
                                 MemberNameInfo);

if (MSPropertyDecl *PD = dyn_cast<MSPropertyDecl>(MemberDecl))
  return BuildMSPropertyRefExpr(*this, BaseExpr, IsArrow, SS, PD,
                                MemberNameInfo);

if (IndirectFieldDecl *FD = dyn_cast<IndirectFieldDecl>(MemberDecl))
  // We may have found a field within an anonymous union or struct
  // (C++ [class.union]).
  return BuildAnonymousStructUnionMemberReference(SS, MemberLoc, FD,
                                                  FoundDecl, BaseExpr,
                                                  OpLoc);

if (VarDecl *Var = dyn_cast<VarDecl>(MemberDecl)) {
  return BuildMemberExpr(BaseExpr, IsArrow, OpLoc, &SS, TemplateKWLoc, Var,
                         FoundDecl, /*HadMultipleCandidates=*/false,
                         MemberNameInfo, Var->getType().getNonReferenceType(),
                         VK_LValue, OK_Ordinary);
}

if (CXXMethodDecl *MemberFn = dyn_cast<CXXMethodDecl>(MemberDecl)) {
  ExprValueKind valueKind;
  QualType type;
  if (MemberFn->isInstance()) {
    valueKind = VK_RValue;
    type = Context.BoundMemberTy;
  } else {
    valueKind = VK_LValue;
    type = MemberFn->getType();
  }

  return BuildMemberExpr(BaseExpr, IsArrow, OpLoc, &SS, TemplateKWLoc,
                         MemberFn, FoundDecl, /*HadMultipleCandidates=*/false,
                         MemberNameInfo, type, valueKind, OK_Ordinary);
}
assert(!isa<FunctionDecl>(MemberDecl) && "member function not C++ method?")((!isa<FunctionDecl>(MemberDecl) && "member function not C++ method?"
) ? static_cast<void> (0) : __assert_fail ("!isa<FunctionDecl>(MemberDecl) && \"member function not C++ method?\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 1153, __PRETTY_FUNCTION__));

if (EnumConstantDecl *Enum = dyn_cast<EnumConstantDecl>(MemberDecl)) {
  return BuildMemberExpr(BaseExpr, IsArrow, OpLoc, &SS, TemplateKWLoc, Enum,
                         FoundDecl, /*HadMultipleCandidates=*/false,
                         MemberNameInfo, Enum->getType(), VK_RValue,
                         OK_Ordinary);
}
if (VarTemplateDecl *VarTempl = dyn_cast<VarTemplateDecl>(MemberDecl)) {
  if (VarDecl *Var = getVarTemplateSpecialization(
          VarTempl, TemplateArgs, MemberNameInfo, TemplateKWLoc))
    return BuildMemberExpr(
        BaseExpr, IsArrow, OpLoc, &SS, TemplateKWLoc, Var, FoundDecl,
        /*HadMultipleCandidates=*/false, MemberNameInfo,
        Var->getType().getNonReferenceType(), VK_LValue, OK_Ordinary);
  return ExprError();
}

// We found something that we didn't expect. Complain.
if (isa<TypeDecl>(MemberDecl))
  Diag(MemberLoc, diag::err_typecheck_member_reference_type)
    << MemberName << BaseType << int(IsArrow);
else
  Diag(MemberLoc, diag::err_typecheck_member_reference_unknown)
    << MemberName << BaseType << int(IsArrow);

Diag(MemberDecl->getLocation(), diag::note_member_declared_here)
  << MemberName;
R.suppressDiagnostics();
return ExprError();
1183}

1185/// Given that normal member access failed on the given expression,
1186/// and given that the expression's type involves builtin-id or
1187/// builtin-Class, decide whether substituting in the redefinition
1188/// types would be profitable.  The redefinition type is whatever
1189/// this translation unit tried to typedef to id/Class;  we store
1190/// it to the side and then re-use it in places like this.
1191static bool ShouldTryAgainWithRedefinitionType(Sema &S, ExprResult &base) {
const ObjCObjectPointerType *opty
  = base.get()->getType()->getAs<ObjCObjectPointerType>();
if (!opty) return false;

const ObjCObjectType *ty = opty->getObjectType();

QualType redef;
if (ty->isObjCId()) {
  redef = S.Context.getObjCIdRedefinitionType();
} else if (ty->isObjCClass()) {
  redef = S.Context.getObjCClassRedefinitionType();
} else {
  return false;
}

// Do the substitution as long as the redefinition type isn't just a
// possibly-qualified pointer to builtin-id or builtin-Class again.
opty = redef->getAs<ObjCObjectPointerType>();
if (opty && !opty->getObjectType()->getInterface())
  return false;

base = S.ImpCastExprToType(base.get(), redef, CK_BitCast);
return true;
1215}

1217static bool isRecordType(QualType T) {
return T->isRecordType();
1219}
1220static bool isPointerToRecordType(QualType T) {
if (const PointerType *PT = T->getAs<PointerType>())
  return PT->getPointeeType()->isRecordType();
return false;
1224}

1226/// Perform conversions on the LHS of a member access expression.
1227ExprResult
1228Sema::PerformMemberExprBaseConversion(Expr *Base, bool IsArrow) {
if (IsArrow && !Base->getType()->isFunctionType())
  return DefaultFunctionArrayLvalueConversion(Base);

return CheckPlaceholderExpr(Base);
1233}

1235/// Look up the given member of the given non-type-dependent
1236/// expression.  This can return in one of two ways:
1237///  * If it returns a sentinel null-but-valid result, the caller will
1238///    assume that lookup was performed and the results written into
1239///    the provided structure.  It will take over from there.
1240///  * Otherwise, the returned expression will be produced in place of
1241///    an ordinary member expression.
1242///
1243/// The ObjCImpDecl bit is a gross hack that will need to be properly
1244/// fixed for ObjC++.
1245static ExprResult LookupMemberExpr(Sema &S, LookupResult &R,
                                 ExprResult &BaseExpr, bool &IsArrow,
                                 SourceLocation OpLoc, CXXScopeSpec &SS,
                                 Decl *ObjCImpDecl, bool HasTemplateArgs,
                                 SourceLocation TemplateKWLoc) {
assert(BaseExpr.get() && "no base expression")((BaseExpr.get() && "no base expression") ? static_cast
<void> (0) : __assert_fail ("BaseExpr.get() && \"no base expression\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 1250, __PRETTY_FUNCTION__));

// Perform default conversions.
BaseExpr = S.PerformMemberExprBaseConversion(BaseExpr.get(), IsArrow);
if (BaseExpr.isInvalid())
  return ExprError();

QualType BaseType = BaseExpr.get()->getType();
assert(!BaseType->isDependentType())((!BaseType->isDependentType()) ? static_cast<void> (
0) : __assert_fail ("!BaseType->isDependentType()", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 1258, __PRETTY_FUNCTION__));

DeclarationName MemberName = R.getLookupName();
SourceLocation MemberLoc = R.getNameLoc();

// For later type-checking purposes, turn arrow accesses into dot
// accesses.  The only access type we support that doesn't follow
// the C equivalence "a->b === (*a).b" is ObjC property accesses,
// and those never use arrows, so this is unaffected.
if (IsArrow) {
  if (const PointerType *Ptr = BaseType->getAs<PointerType>())
    BaseType = Ptr->getPointeeType();
  else if (const ObjCObjectPointerType *Ptr
             = BaseType->getAs<ObjCObjectPointerType>())
    BaseType = Ptr->getPointeeType();
  else if (BaseType->isRecordType()) {
    // Recover from arrow accesses to records, e.g.:
    //   struct MyRecord foo;
    //   foo->bar
    // This is actually well-formed in C++ if MyRecord has an
    // overloaded operator->, but that should have been dealt with
    // by now--or a diagnostic message already issued if a problem
    // was encountered while looking for the overloaded operator->.
    if (!S.getLangOpts().CPlusPlus) {
      S.Diag(OpLoc, diag::err_typecheck_member_reference_suggestion)
        << BaseType << int(IsArrow) << BaseExpr.get()->getSourceRange()
        << FixItHint::CreateReplacement(OpLoc, ".");
    }
    IsArrow = false;
  } else if (BaseType->isFunctionType()) {
    goto fail;
  } else {
    S.Diag(MemberLoc, diag::err_typecheck_member_reference_arrow)
      << BaseType << BaseExpr.get()->getSourceRange();
    return ExprError();
  }
}

// Handle field access to simple records.
if (const RecordType *RTy = BaseType->getAs<RecordType>()) {
  TypoExpr *TE = nullptr;
  if (LookupMemberExprInRecord(S, R, BaseExpr.get(), RTy, OpLoc, IsArrow, SS,
                               HasTemplateArgs, TemplateKWLoc, TE))
    return ExprError();

  // Returning valid-but-null is how we indicate to the caller that
  // the lookup result was filled in. If typo correction was attempted and
  // failed, the lookup result will have been cleared--that combined with the
  // valid-but-null ExprResult will trigger the appropriate diagnostics.
  return ExprResult(TE);
}

// Handle ivar access to Objective-C objects.
if (const ObjCObjectType *OTy = BaseType->getAs<ObjCObjectType>()) {
  if (!SS.isEmpty() && !SS.isInvalid()) {
    S.Diag(SS.getRange().getBegin(), diag::err_qualified_objc_access)
      << 1 << SS.getScopeRep()
      << FixItHint::CreateRemoval(SS.getRange());
    SS.clear();
  }

  IdentifierInfo *Member = MemberName.getAsIdentifierInfo();

  // There are three cases for the base type:
  //   - builtin id (qualified or unqualified)
  //   - builtin Class (qualified or unqualified)
  //   - an interface
  ObjCInterfaceDecl *IDecl = OTy->getInterface();
  if (!IDecl) {
    if (S.getLangOpts().ObjCAutoRefCount &&
        (OTy->isObjCId() || OTy->isObjCClass()))
      goto fail;
    // There's an implicit 'isa' ivar on all objects.
    // But we only actually find it this way on objects of type 'id',
    // apparently.
    if (OTy->isObjCId() && Member->isStr("isa"))
      return new (S.Context) ObjCIsaExpr(BaseExpr.get(), IsArrow, MemberLoc,
                                         OpLoc, S.Context.getObjCClassType());
    if (ShouldTryAgainWithRedefinitionType(S, BaseExpr))
      return LookupMemberExpr(S, R, BaseExpr, IsArrow, OpLoc, SS,
                              ObjCImpDecl, HasTemplateArgs, TemplateKWLoc);
    goto fail;
  }

  if (S.RequireCompleteType(OpLoc, BaseType,
                            diag::err_typecheck_incomplete_tag,
                            BaseExpr.get()))
    return ExprError();

  ObjCInterfaceDecl *ClassDeclared = nullptr;
  ObjCIvarDecl *IV = IDecl->lookupInstanceVariable(Member, ClassDeclared);

  if (!IV) {
    // Attempt to correct for typos in ivar names.
    DeclFilterCCC<ObjCIvarDecl> Validator{};
    Validator.IsObjCIvarLookup = IsArrow;
    if (TypoCorrection Corrected = S.CorrectTypo(
            R.getLookupNameInfo(), Sema::LookupMemberName, nullptr, nullptr,
            Validator, Sema::CTK_ErrorRecovery, IDecl)) {
      IV = Corrected.getCorrectionDeclAs<ObjCIvarDecl>();
      S.diagnoseTypo(
          Corrected,
          S.PDiag(diag::err_typecheck_member_reference_ivar_suggest)
              << IDecl->getDeclName() << MemberName);

      // Figure out the class that declares the ivar.
      assert(!ClassDeclared)((!ClassDeclared) ? static_cast<void> (0) : __assert_fail
 ("!ClassDeclared", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 1364, __PRETTY_FUNCTION__));

      Decl *D = cast<Decl>(IV->getDeclContext());
      if (auto *Category = dyn_cast<ObjCCategoryDecl>(D))
        D = Category->getClassInterface();

      if (auto *Implementation = dyn_cast<ObjCImplementationDecl>(D))
        ClassDeclared = Implementation->getClassInterface();
      else if (auto *Interface = dyn_cast<ObjCInterfaceDecl>(D))
        ClassDeclared = Interface;

      assert(ClassDeclared && "cannot query interface")((ClassDeclared && "cannot query interface") ? static_cast
<void> (0) : __assert_fail ("ClassDeclared && \"cannot query interface\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 1375, __PRETTY_FUNCTION__));
    } else {
      if (IsArrow &&
          IDecl->FindPropertyDeclaration(
              Member, ObjCPropertyQueryKind::OBJC_PR_query_instance)) {
        S.Diag(MemberLoc, diag::err_property_found_suggest)
            << Member << BaseExpr.get()->getType()
            << FixItHint::CreateReplacement(OpLoc, ".");
        return ExprError();
      }

      S.Diag(MemberLoc, diag::err_typecheck_member_reference_ivar)
          << IDecl->getDeclName() << MemberName
          << BaseExpr.get()->getSourceRange();
      return ExprError();
    }
  }

  assert(ClassDeclared)((ClassDeclared) ? static_cast<void> (0) : __assert_fail
 ("ClassDeclared", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 1393, __PRETTY_FUNCTION__));

  // If the decl being referenced had an error, return an error for this
  // sub-expr without emitting another error, in order to avoid cascading
  // error cases.
  if (IV->isInvalidDecl())
    return ExprError();

  // Check whether we can reference this field.
  if (S.DiagnoseUseOfDecl(IV, MemberLoc))
    return ExprError();
  if (IV->getAccessControl() != ObjCIvarDecl::Public &&
      IV->getAccessControl() != ObjCIvarDecl::Package) {
    ObjCInterfaceDecl *ClassOfMethodDecl = nullptr;
    if (ObjCMethodDecl *MD = S.getCurMethodDecl())
      ClassOfMethodDecl =  MD->getClassInterface();
    else if (ObjCImpDecl && S.getCurFunctionDecl()) {
      // Case of a c-function declared inside an objc implementation.
      // FIXME: For a c-style function nested inside an objc implementation
      // class, there is no implementation context available, so we pass
      // down the context as argument to this routine. Ideally, this context
      // need be passed down in the AST node and somehow calculated from the
      // AST for a function decl.
      if (ObjCImplementationDecl *IMPD =
            dyn_cast<ObjCImplementationDecl>(ObjCImpDecl))
        ClassOfMethodDecl = IMPD->getClassInterface();
      else if (ObjCCategoryImplDecl* CatImplClass =
                 dyn_cast<ObjCCategoryImplDecl>(ObjCImpDecl))
        ClassOfMethodDecl = CatImplClass->getClassInterface();
    }
    if (!S.getLangOpts().DebuggerSupport) {
      if (IV->getAccessControl() == ObjCIvarDecl::Private) {
        if (!declaresSameEntity(ClassDeclared, IDecl) ||
            !declaresSameEntity(ClassOfMethodDecl, ClassDeclared))
          S.Diag(MemberLoc, diag::err_private_ivar_access)
            << IV->getDeclName();
      } else if (!IDecl->isSuperClassOf(ClassOfMethodDecl))
        // @protected
        S.Diag(MemberLoc, diag::err_protected_ivar_access)
            << IV->getDeclName();
    }
  }
  bool warn = true;
  if (S.getLangOpts().ObjCWeak) {
    Expr *BaseExp = BaseExpr.get()->IgnoreParenImpCasts();
    if (UnaryOperator *UO = dyn_cast<UnaryOperator>(BaseExp))
      if (UO->getOpcode() == UO_Deref)
        BaseExp = UO->getSubExpr()->IgnoreParenCasts();

    if (DeclRefExpr *DE = dyn_cast<DeclRefExpr>(BaseExp))
      if (DE->getType().getObjCLifetime() == Qualifiers::OCL_Weak) {
        S.Diag(DE->getLocation(), diag::err_arc_weak_ivar_access);
        warn = false;
      }
  }
  if (warn) {
    if (ObjCMethodDecl *MD = S.getCurMethodDecl()) {
      ObjCMethodFamily MF = MD->getMethodFamily();
      warn = (MF != OMF_init && MF != OMF_dealloc &&
              MF != OMF_finalize &&
              !S.IvarBacksCurrentMethodAccessor(IDecl, MD, IV));
    }
    if (warn)
      S.Diag(MemberLoc, diag::warn_direct_ivar_access) << IV->getDeclName();
  }

  ObjCIvarRefExpr *Result = new (S.Context) ObjCIvarRefExpr(
      IV, IV->getUsageType(BaseType), MemberLoc, OpLoc, BaseExpr.get(),
      IsArrow);

  if (IV->getType().getObjCLifetime() == Qualifiers::OCL_Weak) {
    if (!S.isUnevaluatedContext() &&
        !S.Diags.isIgnored(diag::warn_arc_repeated_use_of_weak, MemberLoc))
      S.getCurFunction()->recordUseOfWeak(Result);
  }

  return Result;
}

// Objective-C property access.
const ObjCObjectPointerType *OPT;
if (!IsArrow && (OPT = BaseType->getAs<ObjCObjectPointerType>())) {
  if (!SS.isEmpty() && !SS.isInvalid()) {
    S.Diag(SS.getRange().getBegin(), diag::err_qualified_objc_access)
        << 0 << SS.getScopeRep() << FixItHint::CreateRemoval(SS.getRange());
    SS.clear();
  }

  // This actually uses the base as an r-value.
  BaseExpr = S.DefaultLvalueConversion(BaseExpr.get());
  if (BaseExpr.isInvalid())
    return ExprError();

  assert(S.Context.hasSameUnqualifiedType(BaseType,((S.Context.hasSameUnqualifiedType(BaseType, BaseExpr.get()->
getType())) ? static_cast<void> (0) : __assert_fail ("S.Context.hasSameUnqualifiedType(BaseType, BaseExpr.get()->getType())"
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 1487, __PRETTY_FUNCTION__))
                                          BaseExpr.get()->getType()))((S.Context.hasSameUnqualifiedType(BaseType, BaseExpr.get()->
getType())) ? static_cast<void> (0) : __assert_fail ("S.Context.hasSameUnqualifiedType(BaseType, BaseExpr.get()->getType())"
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 1487, __PRETTY_FUNCTION__));

  IdentifierInfo *Member = MemberName.getAsIdentifierInfo();

  const ObjCObjectType *OT = OPT->getObjectType();

  // id, with and without qualifiers.
  if (OT->isObjCId()) {
    // Check protocols on qualified interfaces.
    Selector Sel = S.PP.getSelectorTable().getNullarySelector(Member);
    if (Decl *PMDecl =
            FindGetterSetterNameDecl(OPT, Member, Sel, S.Context)) {
      if (ObjCPropertyDecl *PD = dyn_cast<ObjCPropertyDecl>(PMDecl)) {
        // Check the use of this declaration
        if (S.DiagnoseUseOfDecl(PD, MemberLoc))
          return ExprError();

        return new (S.Context)
            ObjCPropertyRefExpr(PD, S.Context.PseudoObjectTy, VK_LValue,
                                OK_ObjCProperty, MemberLoc, BaseExpr.get());
      }

      if (ObjCMethodDecl *OMD = dyn_cast<ObjCMethodDecl>(PMDecl)) {
        Selector SetterSel =
          SelectorTable::constructSetterSelector(S.PP.getIdentifierTable(),
                                                 S.PP.getSelectorTable(),
                                                 Member);
        ObjCMethodDecl *SMD = nullptr;
        if (Decl *SDecl = FindGetterSetterNameDecl(OPT,
                                                   /*Property id*/ nullptr,
                                                   SetterSel, S.Context))
          SMD = dyn_cast<ObjCMethodDecl>(SDecl);

        return new (S.Context)
            ObjCPropertyRefExpr(OMD, SMD, S.Context.PseudoObjectTy, VK_LValue,
                                OK_ObjCProperty, MemberLoc, BaseExpr.get());
      }
    }
    // Use of id.member can only be for a property reference. Do not
    // use the 'id' redefinition in this case.
    if (IsArrow && ShouldTryAgainWithRedefinitionType(S, BaseExpr))
      return LookupMemberExpr(S, R, BaseExpr, IsArrow, OpLoc, SS,
                              ObjCImpDecl, HasTemplateArgs, TemplateKWLoc);

    return ExprError(S.Diag(MemberLoc, diag::err_property_not_found)
                       << MemberName << BaseType);
  }

  // 'Class', unqualified only.
  if (OT->isObjCClass()) {
    // Only works in a method declaration (??!).
    ObjCMethodDecl *MD = S.getCurMethodDecl();
    if (!MD) {
      if (ShouldTryAgainWithRedefinitionType(S, BaseExpr))
        return LookupMemberExpr(S, R, BaseExpr, IsArrow, OpLoc, SS,
                                ObjCImpDecl, HasTemplateArgs, TemplateKWLoc);

      goto fail;
    }

    // Also must look for a getter name which uses property syntax.
    Selector Sel = S.PP.getSelectorTable().getNullarySelector(Member);
    ObjCInterfaceDecl *IFace = MD->getClassInterface();
    if (!IFace)
      goto fail;

    ObjCMethodDecl *Getter;
    if ((Getter = IFace->lookupClassMethod(Sel))) {
      // Check the use of this method.
      if (S.DiagnoseUseOfDecl(Getter, MemberLoc))
        return ExprError();
    } else
      Getter = IFace->lookupPrivateMethod(Sel, false);
    // If we found a getter then this may be a valid dot-reference, we
    // will look for the matching setter, in case it is needed.
    Selector SetterSel =
      SelectorTable::constructSetterSelector(S.PP.getIdentifierTable(),
                                             S.PP.getSelectorTable(),
                                             Member);
    ObjCMethodDecl *Setter = IFace->lookupClassMethod(SetterSel);
    if (!Setter) {
      // If this reference is in an @implementation, also check for 'private'
      // methods.
      Setter = IFace->lookupPrivateMethod(SetterSel, false);
    }

    if (Setter && S.DiagnoseUseOfDecl(Setter, MemberLoc))
      return ExprError();

    if (Getter || Setter) {
      return new (S.Context) ObjCPropertyRefExpr(
          Getter, Setter, S.Context.PseudoObjectTy, VK_LValue,
          OK_ObjCProperty, MemberLoc, BaseExpr.get());
    }

    if (ShouldTryAgainWithRedefinitionType(S, BaseExpr))
      return LookupMemberExpr(S, R, BaseExpr, IsArrow, OpLoc, SS,
                              ObjCImpDecl, HasTemplateArgs, TemplateKWLoc);

    return ExprError(S.Diag(MemberLoc, diag::err_property_not_found)
                       << MemberName << BaseType);
  }

  // Normal property access.
  return S.HandleExprPropertyRefExpr(OPT, BaseExpr.get(), OpLoc, MemberName,
                                     MemberLoc, SourceLocation(), QualType(),
                                     false);
}

// Handle 'field access' to vectors, such as 'V.xx'.
if (BaseType->isExtVectorType()) {
  // FIXME: this expr should store IsArrow.
  IdentifierInfo *Member = MemberName.getAsIdentifierInfo();
  ExprValueKind VK;
  if (IsArrow)
    VK = VK_LValue;
  else {
    if (PseudoObjectExpr *POE = dyn_cast<PseudoObjectExpr>(BaseExpr.get()))
      VK = POE->getSyntacticForm()->getValueKind();
    else
      VK = BaseExpr.get()->getValueKind();
  }

  QualType ret = CheckExtVectorComponent(S, BaseType, VK, OpLoc,
                                         Member, MemberLoc);
  if (ret.isNull())
    return ExprError();
  Qualifiers BaseQ =
      S.Context.getCanonicalType(BaseExpr.get()->getType()).getQualifiers();
  ret = S.Context.getQualifiedType(ret, BaseQ);

  return new (S.Context)
      ExtVectorElementExpr(ret, VK, BaseExpr.get(), *Member, MemberLoc);
}

// Adjust builtin-sel to the appropriate redefinition type if that's
// not just a pointer to builtin-sel again.
if (IsArrow && BaseType->isSpecificBuiltinType(BuiltinType::ObjCSel) &&
    !S.Context.getObjCSelRedefinitionType()->isObjCSelType()) {
  BaseExpr = S.ImpCastExprToType(
      BaseExpr.get(), S.Context.getObjCSelRedefinitionType(), CK_BitCast);
  return LookupMemberExpr(S, R, BaseExpr, IsArrow, OpLoc, SS,
                          ObjCImpDecl, HasTemplateArgs, TemplateKWLoc);
}

// Failure cases.
fail:

// Recover from dot accesses to pointers, e.g.:
//   type *foo;
//   foo.bar
// This is actually well-formed in two cases:
//   - 'type' is an Objective C type
//   - 'bar' is a pseudo-destructor name which happens to refer to
//     the appropriate pointer type
if (const PointerType *Ptr = BaseType->getAs<PointerType>()) {
  if (!IsArrow && Ptr->getPointeeType()->isRecordType() &&
      MemberName.getNameKind() != DeclarationName::CXXDestructorName) {
    S.Diag(OpLoc, diag::err_typecheck_member_reference_suggestion)
        << BaseType << int(IsArrow) << BaseExpr.get()->getSourceRange()
        << FixItHint::CreateReplacement(OpLoc, "->");

    // Recurse as an -> access.
    IsArrow = true;
    return LookupMemberExpr(S, R, BaseExpr, IsArrow, OpLoc, SS,
                            ObjCImpDecl, HasTemplateArgs, TemplateKWLoc);
  }
}

// If the user is trying to apply -> or . to a function name, it's probably
// because they forgot parentheses to call that function.
if (S.tryToRecoverWithCall(
        BaseExpr, S.PDiag(diag::err_member_reference_needs_call),
        /*complain*/ false,
        IsArrow ? &isPointerToRecordType : &isRecordType)) {
  if (BaseExpr.isInvalid())
    return ExprError();
  BaseExpr = S.DefaultFunctionArrayConversion(BaseExpr.get());
  return LookupMemberExpr(S, R, BaseExpr, IsArrow, OpLoc, SS,
                          ObjCImpDecl, HasTemplateArgs, TemplateKWLoc);
}

S.Diag(OpLoc, diag::err_typecheck_member_reference_struct_union)
  << BaseType << BaseExpr.get()->getSourceRange() << MemberLoc;

return ExprError();
1673}

1675/// The main callback when the parser finds something like
1676///   expression . [nested-name-specifier] identifier
1677///   expression -> [nested-name-specifier] identifier
1678/// where 'identifier' encompasses a fairly broad spectrum of
1679/// possibilities, including destructor and operator references.
1680///
1681/// \param OpKind either tok::arrow or tok::period
1682/// \param ObjCImpDecl the current Objective-C \@implementation
1683///   decl; this is an ugly hack around the fact that Objective-C
1684///   \@implementations aren't properly put in the context chain
1685ExprResult Sema::ActOnMemberAccessExpr(Scope *S, Expr *Base,
                                     SourceLocation OpLoc,
                                     tok::TokenKind OpKind,
                                     CXXScopeSpec &SS,
                                     SourceLocation TemplateKWLoc,
                                     UnqualifiedId &Id,
                                     Decl *ObjCImpDecl) {
if (SS.isSet() && SS.isInvalid())
  return ExprError();

// Warn about the explicit constructor calls Microsoft extension.
if (getLangOpts().MicrosoftExt &&
    Id.getKind() == UnqualifiedIdKind::IK_ConstructorName)
  Diag(Id.getSourceRange().getBegin(),
       diag::ext_ms_explicit_constructor_call);

TemplateArgumentListInfo TemplateArgsBuffer;

// Decompose the name into its component parts.
DeclarationNameInfo NameInfo;
const TemplateArgumentListInfo *TemplateArgs;
DecomposeUnqualifiedId(Id, TemplateArgsBuffer,
                       NameInfo, TemplateArgs);

DeclarationName Name = NameInfo.getName();
bool IsArrow = (OpKind == tok::arrow);

NamedDecl *FirstQualifierInScope
  = (!SS.isSet() ? nullptr : FindFirstQualifierInScope(S, SS.getScopeRep()));

// This is a postfix expression, so get rid of ParenListExprs.
ExprResult Result = MaybeConvertParenListExprToParenExpr(S, Base);
if (Result.isInvalid()) return ExprError();
Base = Result.get();

if (Base->getType()->isDependentType() || Name.isDependentName() ||
    isDependentScopeSpecifier(SS)) {
  return ActOnDependentMemberExpr(Base, Base->getType(), IsArrow, OpLoc, SS,
                                  TemplateKWLoc, FirstQualifierInScope,
                                  NameInfo, TemplateArgs);
}

ActOnMemberAccessExtraArgs ExtraArgs = {S, Id, ObjCImpDecl};
ExprResult Res = BuildMemberReferenceExpr(
    Base, Base->getType(), OpLoc, IsArrow, SS, TemplateKWLoc,
    FirstQualifierInScope, NameInfo, TemplateArgs, S, &ExtraArgs);

if (!Res.isInvalid() && isa<MemberExpr>(Res.get()))
  CheckMemberAccessOfNoDeref(cast<MemberExpr>(Res.get()));

return Res;
1736}

1738void Sema::CheckMemberAccessOfNoDeref(const MemberExpr *E) {
QualType ResultTy = E->getType();

// Do not warn on member accesses to arrays since this returns an array
// lvalue and does not actually dereference memory.
if (isa<ArrayType>(ResultTy))
  return;

if (E->isArrow()) {
  if (const auto *Ptr = dyn_cast<PointerType>(
          E->getBase()->getType().getDesugaredType(Context))) {
    if (Ptr->getPointeeType()->hasAttr(attr::NoDeref))
      ExprEvalContexts.back().PossibleDerefs.insert(E);
  }
}
1753}

1755ExprResult
1756Sema::BuildFieldReferenceExpr(Expr *BaseExpr, bool IsArrow,
                            SourceLocation OpLoc, const CXXScopeSpec &SS,
                            FieldDecl *Field, DeclAccessPair FoundDecl,
                            const DeclarationNameInfo &MemberNameInfo) {
// x.a is an l-value if 'a' has a reference type. Otherwise:
// x.a is an l-value/x-value/pr-value if the base is (and note
//   that *x is always an l-value), except that if the base isn't
//   an ordinary object then we must have an rvalue.
ExprValueKind VK = VK_LValue;
ExprObjectKind OK = OK_Ordinary;
if (!IsArrow) {
  if (BaseExpr->getObjectKind() == OK_Ordinary)
    VK = BaseExpr->getValueKind();
  else
    VK = VK_RValue;
}
if (VK != VK_RValue && Field->isBitField())
  OK = OK_BitField;

// Figure out the type of the member; see C99 6.5.2.3p3, C++ [expr.ref]
QualType MemberType = Field->getType();
if (const ReferenceType *Ref = MemberType->getAs<ReferenceType>()) {
  MemberType = Ref->getPointeeType();
  VK = VK_LValue;
} else {
  QualType BaseType = BaseExpr->getType();
  if (IsArrow) BaseType = BaseType->getAs<PointerType>()->getPointeeType();

  Qualifiers BaseQuals = BaseType.getQualifiers();

  // GC attributes are never picked up by members.
  BaseQuals.removeObjCGCAttr();

  // CVR attributes from the base are picked up by members,
  // except that 'mutable' members don't pick up 'const'.
  if (Field->isMutable()) BaseQuals.removeConst();

  Qualifiers MemberQuals =
      Context.getCanonicalType(MemberType).getQualifiers();

  assert(!MemberQuals.hasAddressSpace())((!MemberQuals.hasAddressSpace()) ? static_cast<void> (
0) : __assert_fail ("!MemberQuals.hasAddressSpace()", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 1796, __PRETTY_FUNCTION__));

  Qualifiers Combined = BaseQuals + MemberQuals;
  if (Combined != MemberQuals)
    MemberType = Context.getQualifiedType(MemberType, Combined);
}

auto *CurMethod = dyn_cast<CXXMethodDecl>(CurContext);
if (!(CurMethod && CurMethod->isDefaulted()))
  UnusedPrivateFields.remove(Field);

ExprResult Base = PerformObjectMemberConversion(BaseExpr, SS.getScopeRep(),
                                                FoundDecl, Field);
if (Base.isInvalid())
  return ExprError();

// Build a reference to a private copy for non-static data members in
// non-static member functions, privatized by OpenMP constructs.
if (getLangOpts().OpenMP && IsArrow &&
    !CurContext->isDependentContext() &&
    isa<CXXThisExpr>(Base.get()->IgnoreParenImpCasts())) {
  if (auto *PrivateCopy = isOpenMPCapturedDecl(Field)) {
    return getOpenMPCapturedExpr(PrivateCopy, VK, OK,
                                 MemberNameInfo.getLoc());
  }
}

return BuildMemberExpr(Base.get(), IsArrow, OpLoc, &SS,
                       /*TemplateKWLoc=*/SourceLocation(), Field, FoundDecl,
                       /*HadMultipleCandidates=*/false, MemberNameInfo,
                       MemberType, VK, OK);
1827}

1829/// Builds an implicit member access expression.  The current context
1830/// is known to be an instance method, and the given unqualified lookup
1831/// set is known to contain only instance members, at least one of which
1832/// is from an appropriate type.
1833ExprResult
1834Sema::BuildImplicitMemberExpr(const CXXScopeSpec &SS,
                            SourceLocation TemplateKWLoc,
                            LookupResult &R,
                            const TemplateArgumentListInfo *TemplateArgs,
                            bool IsKnownInstance, const Scope *S) {
assert(!R.empty() && !R.isAmbiguous())((!R.empty() && !R.isAmbiguous()) ? static_cast<void
> (0) : __assert_fail ("!R.empty() && !R.isAmbiguous()"
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 1839, __PRETTY_FUNCTION__));

SourceLocation loc = R.getNameLoc();

// If this is known to be an instance access, go ahead and build an
// implicit 'this' expression now.
// 'this' expression now.
QualType ThisTy = getCurrentThisType();
assert(!ThisTy.isNull() && "didn't correctly pre-flight capture of 'this'")((!ThisTy.isNull() && "didn't correctly pre-flight capture of 'this'"
) ? static_cast<void> (0) : __assert_fail ("!ThisTy.isNull() && \"didn't correctly pre-flight capture of 'this'\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/lib/Sema/SemaExprMember.cpp"
, 1847, __PRETTY_FUNCTION__));

Expr *baseExpr = nullptr; // null signifies implicit access
if (IsKnownInstance) {
  SourceLocation Loc = R.getNameLoc();
  if (SS.getRange().isValid())
    Loc = SS.getRange().getBegin();
  baseExpr = BuildCXXThisExpr(loc, ThisTy, /*IsImplicit=*/true);
}

return BuildMemberReferenceExpr(baseExpr, ThisTy,
                                /*OpLoc*/ SourceLocation(),
                                /*IsArrow*/ true,
                                SS, TemplateKWLoc,
                                /*FirstQualifierInScope*/ nullptr,
                                R, TemplateArgs, S);
1863}

←

/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h

1//===--- DeclSpec.h - Parsed declaration specifiers -------------*- C++ -*-===//
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/// \file
10/// This file defines the classes used to store parsed information about
11/// declaration-specifiers and declarators.
12///
13/// \verbatim
14///   static const int volatile x, *y, *(*(*z)[10])(const void *x);
15///   ------------------------- -  --  ---------------------------
16///     declaration-specifiers  \  |   /
17///                            declarators
18/// \endverbatim
19///
20//===----------------------------------------------------------------------===//

22#ifndef LLVM_CLANG_SEMA_DECLSPEC_H
23#define LLVM_CLANG_SEMA_DECLSPEC_H

25#include "clang/AST/DeclCXX.h"
26#include "clang/AST/NestedNameSpecifier.h"
27#include "clang/Basic/ExceptionSpecificationType.h"
28#include "clang/Basic/Lambda.h"
29#include "clang/Basic/OperatorKinds.h"
30#include "clang/Basic/Specifiers.h"
31#include "clang/Lex/Token.h"
32#include "clang/Sema/Ownership.h"
33#include "clang/Sema/ParsedAttr.h"
34#include "llvm/ADT/SmallVector.h"
35#include "llvm/Support/Compiler.h"
36#include "llvm/Support/ErrorHandling.h"

38namespace clang {
class ASTContext;
class CXXRecordDecl;
class TypeLoc;
class LangOptions;
class IdentifierInfo;
class NamespaceAliasDecl;
class NamespaceDecl;
class ObjCDeclSpec;
class Sema;
class Declarator;
struct TemplateIdAnnotation;

51/// Represents a C++ nested-name-specifier or a global scope specifier.
52///
53/// These can be in 3 states:
54///   1) Not present, identified by isEmpty()
55///   2) Present, identified by isNotEmpty()
56///      2.a) Valid, identified by isValid()
57///      2.b) Invalid, identified by isInvalid().
58///
59/// isSet() is deprecated because it mostly corresponded to "valid" but was
60/// often used as if it meant "present".
61///
62/// The actual scope is described by getScopeRep().
63class CXXScopeSpec {
SourceRange Range;
NestedNameSpecifierLocBuilder Builder;

67public:
SourceRange getRange() const { return Range; }
void setRange(SourceRange R) { Range = R; }
void setBeginLoc(SourceLocation Loc) { Range.setBegin(Loc); }
void setEndLoc(SourceLocation Loc) { Range.setEnd(Loc); }
SourceLocation getBeginLoc() const { return Range.getBegin(); }
SourceLocation getEndLoc() const { return Range.getEnd(); }

/// Retrieve the representation of the nested-name-specifier.
NestedNameSpecifier *getScopeRep() const {
  return Builder.getRepresentation();
}

/// Extend the current nested-name-specifier by another
/// nested-name-specifier component of the form 'type::'.
///
/// \param Context The AST context in which this nested-name-specifier
/// resides.
///
/// \param TemplateKWLoc The location of the 'template' keyword, if present.
///
/// \param TL The TypeLoc that describes the type preceding the '::'.
///
/// \param ColonColonLoc The location of the trailing '::'.
void Extend(ASTContext &Context, SourceLocation TemplateKWLoc, TypeLoc TL,
            SourceLocation ColonColonLoc);

/// Extend the current nested-name-specifier by another
/// nested-name-specifier component of the form 'identifier::'.
///
/// \param Context The AST context in which this nested-name-specifier
/// resides.
///
/// \param Identifier The identifier.
///
/// \param IdentifierLoc The location of the identifier.
///
/// \param ColonColonLoc The location of the trailing '::'.
void Extend(ASTContext &Context, IdentifierInfo *Identifier,
            SourceLocation IdentifierLoc, SourceLocation ColonColonLoc);

/// Extend the current nested-name-specifier by another
/// nested-name-specifier component of the form 'namespace::'.
///
/// \param Context The AST context in which this nested-name-specifier
/// resides.
///
/// \param Namespace The namespace.
///
/// \param NamespaceLoc The location of the namespace name.
///
/// \param ColonColonLoc The location of the trailing '::'.
void Extend(ASTContext &Context, NamespaceDecl *Namespace,
            SourceLocation NamespaceLoc, SourceLocation ColonColonLoc);

/// Extend the current nested-name-specifier by another
/// nested-name-specifier component of the form 'namespace-alias::'.
///
/// \param Context The AST context in which this nested-name-specifier
/// resides.
///
/// \param Alias The namespace alias.
///
/// \param AliasLoc The location of the namespace alias
/// name.
///
/// \param ColonColonLoc The location of the trailing '::'.
void Extend(ASTContext &Context, NamespaceAliasDecl *Alias,
            SourceLocation AliasLoc, SourceLocation ColonColonLoc);

/// Turn this (empty) nested-name-specifier into the global
/// nested-name-specifier '::'.
void MakeGlobal(ASTContext &Context, SourceLocation ColonColonLoc);

/// Turns this (empty) nested-name-specifier into '__super'
/// nested-name-specifier.
///
/// \param Context The AST context in which this nested-name-specifier
/// resides.
///
/// \param RD The declaration of the class in which nested-name-specifier
/// appeared.
///
/// \param SuperLoc The location of the '__super' keyword.
/// name.
///
/// \param ColonColonLoc The location of the trailing '::'.
void MakeSuper(ASTContext &Context, CXXRecordDecl *RD,
               SourceLocation SuperLoc, SourceLocation ColonColonLoc);

/// Make a new nested-name-specifier from incomplete source-location
/// information.
///
/// FIXME: This routine should be used very, very rarely, in cases where we
/// need to synthesize a nested-name-specifier. Most code should instead use
/// \c Adopt() with a proper \c NestedNameSpecifierLoc.
void MakeTrivial(ASTContext &Context, NestedNameSpecifier *Qualifier,
                 SourceRange R);

/// Adopt an existing nested-name-specifier (with source-range
/// information).
void Adopt(NestedNameSpecifierLoc Other);

/// Retrieve a nested-name-specifier with location information, copied
/// into the given AST context.
///
/// \param Context The context into which this nested-name-specifier will be
/// copied.
NestedNameSpecifierLoc getWithLocInContext(ASTContext &Context) const;

/// Retrieve the location of the name in the last qualifier
/// in this nested name specifier.
///
/// For example, the location of \c bar
/// in
/// \verbatim
///   \::foo::bar<0>::
///           ^~~
/// \endverbatim
SourceLocation getLastQualifierNameLoc() const;

/// No scope specifier.
bool isEmpty() const { return !Range.isValid(); }
/// A scope specifier is present, but may be valid or invalid.
bool isNotEmpty() const { return !isEmpty(); }

/// An error occurred during parsing of the scope specifier.
bool isInvalid() const { return isNotEmpty() && getScopeRep() == nullptr; }
/// A scope specifier is present, and it refers to a real scope.
bool isValid() const { return isNotEmpty() && getScopeRep() != nullptr; }

/// Indicate that this nested-name-specifier is invalid.
void SetInvalid(SourceRange R) {
  assert(R.isValid() && "Must have a valid source range")((R.isValid() && "Must have a valid source range") ? static_cast
<void> (0) : __assert_fail ("R.isValid() && \"Must have a valid source range\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 200, __PRETTY_FUNCTION__));
  if (Range.getBegin().isInvalid())
    Range.setBegin(R.getBegin());
  Range.setEnd(R.getEnd());
  Builder.Clear();
}

/// Deprecated.  Some call sites intend isNotEmpty() while others intend
/// isValid().
bool isSet() const { return getScopeRep() != nullptr; }
11
←
Assuming the condition is false→
12
←
Returning zero, which participates in a condition later→

void clear() {
  Range = SourceRange();
  Builder.Clear();
}

/// Retrieve the data associated with the source-location information.
char *location_data() const { return Builder.getBuffer().first; }

/// Retrieve the size of the data associated with source-location
/// information.
unsigned location_size() const { return Builder.getBuffer().second; }
222};

224/// Captures information about "declaration specifiers".
225///
226/// "Declaration specifiers" encompasses storage-class-specifiers,
227/// type-specifiers, type-qualifiers, and function-specifiers.
228class DeclSpec {
229public:
/// storage-class-specifier
/// \note The order of these enumerators is important for diagnostics.
enum SCS {
  SCS_unspecified = 0,
  SCS_typedef,
  SCS_extern,
  SCS_static,
  SCS_auto,
  SCS_register,
  SCS_private_extern,
  SCS_mutable
};

// Import thread storage class specifier enumeration and constants.
// These can be combined with SCS_extern and SCS_static.
typedef ThreadStorageClassSpecifier TSCS;
static const TSCS TSCS_unspecified = clang::TSCS_unspecified;
static const TSCS TSCS___thread = clang::TSCS___thread;
static const TSCS TSCS_thread_local = clang::TSCS_thread_local;
static const TSCS TSCS__Thread_local = clang::TSCS__Thread_local;

// Import type specifier width enumeration and constants.
typedef TypeSpecifierWidth TSW;
static const TSW TSW_unspecified = clang::TSW_unspecified;
static const TSW TSW_short = clang::TSW_short;
static const TSW TSW_long = clang::TSW_long;
static const TSW TSW_longlong = clang::TSW_longlong;

enum TSC {
  TSC_unspecified,
  TSC_imaginary,
  TSC_complex
};

// Import type specifier sign enumeration and constants.
typedef TypeSpecifierSign TSS;
static const TSS TSS_unspecified = clang::TSS_unspecified;
static const TSS TSS_signed = clang::TSS_signed;
static const TSS TSS_unsigned = clang::TSS_unsigned;

// Import type specifier type enumeration and constants.
typedef TypeSpecifierType TST;
static const TST TST_unspecified = clang::TST_unspecified;
static const TST TST_void = clang::TST_void;
static const TST TST_char = clang::TST_char;
static const TST TST_wchar = clang::TST_wchar;
static const TST TST_char8 = clang::TST_char8;
static const TST TST_char16 = clang::TST_char16;
static const TST TST_char32 = clang::TST_char32;
static const TST TST_int = clang::TST_int;
static const TST TST_int128 = clang::TST_int128;
static const TST TST_half = clang::TST_half;
static const TST TST_float = clang::TST_float;
static const TST TST_double = clang::TST_double;
static const TST TST_float16 = clang::TST_Float16;
static const TST TST_accum = clang::TST_Accum;
static const TST TST_fract = clang::TST_Fract;
static const TST TST_float128 = clang::TST_float128;
static const TST TST_bool = clang::TST_bool;
static const TST TST_decimal32 = clang::TST_decimal32;
static const TST TST_decimal64 = clang::TST_decimal64;
static const TST TST_decimal128 = clang::TST_decimal128;
static const TST TST_enum = clang::TST_enum;
static const TST TST_union = clang::TST_union;
static const TST TST_struct = clang::TST_struct;
static const TST TST_interface = clang::TST_interface;
static const TST TST_class = clang::TST_class;
static const TST TST_typename = clang::TST_typename;
static const TST TST_typeofType = clang::TST_typeofType;
static const TST TST_typeofExpr = clang::TST_typeofExpr;
static const TST TST_decltype = clang::TST_decltype;
static const TST TST_decltype_auto = clang::TST_decltype_auto;
static const TST TST_underlyingType = clang::TST_underlyingType;
static const TST TST_auto = clang::TST_auto;
static const TST TST_auto_type = clang::TST_auto_type;
static const TST TST_unknown_anytype = clang::TST_unknown_anytype;
static const TST TST_atomic = clang::TST_atomic;
307#define GENERIC_IMAGE_TYPE(ImgType, Id) \
static const TST TST_##ImgType##_t = clang::TST_##ImgType##_t;
309#include "clang/Basic/OpenCLImageTypes.def"
static const TST TST_error = clang::TST_error;

// type-qualifiers
enum TQ {   // NOTE: These flags must be kept in sync with Qualifiers::TQ.
  TQ_unspecified = 0,
  TQ_const       = 1,
  TQ_restrict    = 2,
  TQ_volatile    = 4,
  TQ_unaligned   = 8,
  // This has no corresponding Qualifiers::TQ value, because it's not treated
  // as a qualifier in our type system.
  TQ_atomic      = 16
};

/// ParsedSpecifiers - Flags to query which specifiers were applied.  This is
/// returned by getParsedSpecifiers.
enum ParsedSpecifiers {
  PQ_None                  = 0,
  PQ_StorageClassSpecifier = 1,
  PQ_TypeSpecifier         = 2,
  PQ_TypeQualifier         = 4,
  PQ_FunctionSpecifier     = 8
  // FIXME: Attributes should be included here.
};

335private:
// storage-class-specifier
/*SCS*/unsigned StorageClassSpec : 3;
/*TSCS*/unsigned ThreadStorageClassSpec : 2;
unsigned SCS_extern_in_linkage_spec : 1;

// type-specifier
/*TSW*/unsigned TypeSpecWidth : 2;
/*TSC*/unsigned TypeSpecComplex : 2;
/*TSS*/unsigned TypeSpecSign : 2;
/*TST*/unsigned TypeSpecType : 6;
unsigned TypeAltiVecVector : 1;
unsigned TypeAltiVecPixel : 1;
unsigned TypeAltiVecBool : 1;
unsigned TypeSpecOwned : 1;
unsigned TypeSpecPipe : 1;
unsigned TypeSpecSat : 1;

// type-qualifiers
unsigned TypeQualifiers : 5;  // Bitwise OR of TQ.

// function-specifier
unsigned FS_inline_specified : 1;
unsigned FS_forceinline_specified: 1;
unsigned FS_virtual_specified : 1;
unsigned FS_noreturn_specified : 1;

// friend-specifier
unsigned Friend_specified : 1;

// constexpr-specifier
unsigned ConstexprSpecifier : 2;

union {
  UnionParsedType TypeRep;
  Decl *DeclRep;
  Expr *ExprRep;
};

/// ExplicitSpecifier - Store information about explicit spicifer.
ExplicitSpecifier FS_explicit_specifier;

// attributes.
ParsedAttributes Attrs;

// Scope specifier for the type spec, if applicable.
CXXScopeSpec TypeScope;

// SourceLocation info.  These are null if the item wasn't specified or if
// the setting was synthesized.
SourceRange Range;

SourceLocation StorageClassSpecLoc, ThreadStorageClassSpecLoc;
SourceRange TSWRange;
SourceLocation TSCLoc, TSSLoc, TSTLoc, AltiVecLoc, TSSatLoc;
/// TSTNameLoc - If TypeSpecType is any of class, enum, struct, union,
/// typename, then this is the location of the named type (if present);
/// otherwise, it is the same as TSTLoc. Hence, the pair TSTLoc and
/// TSTNameLoc provides source range info for tag types.
SourceLocation TSTNameLoc;
SourceRange TypeofParensRange;
SourceLocation TQ_constLoc, TQ_restrictLoc, TQ_volatileLoc, TQ_atomicLoc,
    TQ_unalignedLoc;
SourceLocation FS_inlineLoc, FS_virtualLoc, FS_explicitLoc, FS_noreturnLoc;
SourceLocation FS_explicitCloseParenLoc;
SourceLocation FS_forceinlineLoc;
SourceLocation FriendLoc, ModulePrivateLoc, ConstexprLoc;
SourceLocation TQ_pipeLoc;

WrittenBuiltinSpecs writtenBS;
void SaveWrittenBuiltinSpecs();

ObjCDeclSpec *ObjCQualifiers;

static bool isTypeRep(TST T) {
  return (T == TST_typename || T == TST_typeofType ||
          T == TST_underlyingType || T == TST_atomic);
}
static bool isExprRep(TST T) {
  return (T == TST_typeofExpr || T == TST_decltype);
}

DeclSpec(const DeclSpec &) = delete;
void operator=(const DeclSpec &) = delete;
419public:
static bool isDeclRep(TST T) {
  return (T == TST_enum || T == TST_struct ||
          T == TST_interface || T == TST_union ||
          T == TST_class);
}

DeclSpec(AttributeFactory &attrFactory)
    : StorageClassSpec(SCS_unspecified),
      ThreadStorageClassSpec(TSCS_unspecified),
      SCS_extern_in_linkage_spec(false), TypeSpecWidth(TSW_unspecified),
      TypeSpecComplex(TSC_unspecified), TypeSpecSign(TSS_unspecified),
      TypeSpecType(TST_unspecified), TypeAltiVecVector(false),
      TypeAltiVecPixel(false), TypeAltiVecBool(false), TypeSpecOwned(false),
      TypeSpecPipe(false), TypeSpecSat(false), TypeQualifiers(TQ_unspecified),
      FS_inline_specified(false), FS_forceinline_specified(false),
      FS_virtual_specified(false), FS_noreturn_specified(false),
      Friend_specified(false), ConstexprSpecifier(CSK_unspecified),
      FS_explicit_specifier(), Attrs(attrFactory), writtenBS(),
      ObjCQualifiers(nullptr) {}

// storage-class-specifier
SCS getStorageClassSpec() const { return (SCS)StorageClassSpec; }
TSCS getThreadStorageClassSpec() const {
  return (TSCS)ThreadStorageClassSpec;
}
bool isExternInLinkageSpec() const { return SCS_extern_in_linkage_spec; }
void setExternInLinkageSpec(bool Value) {
  SCS_extern_in_linkage_spec = Value;
}

SourceLocation getStorageClassSpecLoc() const { return StorageClassSpecLoc; }
SourceLocation getThreadStorageClassSpecLoc() const {
  return ThreadStorageClassSpecLoc;
}

void ClearStorageClassSpecs() {
  StorageClassSpec           = DeclSpec::SCS_unspecified;
  ThreadStorageClassSpec     = DeclSpec::TSCS_unspecified;
  SCS_extern_in_linkage_spec = false;
  StorageClassSpecLoc        = SourceLocation();
  ThreadStorageClassSpecLoc  = SourceLocation();
}

void ClearTypeSpecType() {
  TypeSpecType = DeclSpec::TST_unspecified;
  TypeSpecOwned = false;
  TSTLoc = SourceLocation();
}

// type-specifier
TSW getTypeSpecWidth() const { return (TSW)TypeSpecWidth; }
TSC getTypeSpecComplex() const { return (TSC)TypeSpecComplex; }
TSS getTypeSpecSign() const { return (TSS)TypeSpecSign; }
TST getTypeSpecType() const { return (TST)TypeSpecType; }
bool isTypeAltiVecVector() const { return TypeAltiVecVector; }
bool isTypeAltiVecPixel() const { return TypeAltiVecPixel; }
bool isTypeAltiVecBool() const { return TypeAltiVecBool; }
bool isTypeSpecOwned() const { return TypeSpecOwned; }
bool isTypeRep() const { return isTypeRep((TST) TypeSpecType); }
bool isTypeSpecPipe() const { return TypeSpecPipe; }
bool isTypeSpecSat() const { return TypeSpecSat; }

ParsedType getRepAsType() const {
  assert(isTypeRep((TST) TypeSpecType) && "DeclSpec does not store a type")((isTypeRep((TST) TypeSpecType) && "DeclSpec does not store a type"
) ? static_cast<void> (0) : __assert_fail ("isTypeRep((TST) TypeSpecType) && \"DeclSpec does not store a type\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 483, __PRETTY_FUNCTION__));
  return TypeRep;
}
Decl *getRepAsDecl() const {
  assert(isDeclRep((TST) TypeSpecType) && "DeclSpec does not store a decl")((isDeclRep((TST) TypeSpecType) && "DeclSpec does not store a decl"
) ? static_cast<void> (0) : __assert_fail ("isDeclRep((TST) TypeSpecType) && \"DeclSpec does not store a decl\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 487, __PRETTY_FUNCTION__));
  return DeclRep;
}
Expr *getRepAsExpr() const {
  assert(isExprRep((TST) TypeSpecType) && "DeclSpec does not store an expr")((isExprRep((TST) TypeSpecType) && "DeclSpec does not store an expr"
) ? static_cast<void> (0) : __assert_fail ("isExprRep((TST) TypeSpecType) && \"DeclSpec does not store an expr\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 491, __PRETTY_FUNCTION__));
  return ExprRep;
}
CXXScopeSpec &getTypeSpecScope() { return TypeScope; }
const CXXScopeSpec &getTypeSpecScope() const { return TypeScope; }

SourceRange getSourceRange() const LLVM_READONLY__attribute__((__pure__)) { return Range; }
SourceLocation getBeginLoc() const LLVM_READONLY__attribute__((__pure__)) { return Range.getBegin(); }
SourceLocation getEndLoc() const LLVM_READONLY__attribute__((__pure__)) { return Range.getEnd(); }

SourceLocation getTypeSpecWidthLoc() const { return TSWRange.getBegin(); }
SourceRange getTypeSpecWidthRange() const { return TSWRange; }
SourceLocation getTypeSpecComplexLoc() const { return TSCLoc; }
SourceLocation getTypeSpecSignLoc() const { return TSSLoc; }
SourceLocation getTypeSpecTypeLoc() const { return TSTLoc; }
SourceLocation getAltiVecLoc() const { return AltiVecLoc; }
SourceLocation getTypeSpecSatLoc() const { return TSSatLoc; }

SourceLocation getTypeSpecTypeNameLoc() const {
  assert(isDeclRep((TST) TypeSpecType) || TypeSpecType == TST_typename)((isDeclRep((TST) TypeSpecType) || TypeSpecType == TST_typename
) ? static_cast<void> (0) : __assert_fail ("isDeclRep((TST) TypeSpecType) || TypeSpecType == TST_typename"
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 510, __PRETTY_FUNCTION__));
  return TSTNameLoc;
}

SourceRange getTypeofParensRange() const { return TypeofParensRange; }
void setTypeofParensRange(SourceRange range) { TypeofParensRange = range; }

bool hasAutoTypeSpec() const {
  return (TypeSpecType == TST_auto || TypeSpecType == TST_auto_type ||
          TypeSpecType == TST_decltype_auto);
}

bool hasTagDefinition() const;

/// Turn a type-specifier-type into a string like "_Bool" or "union".
static const char *getSpecifierName(DeclSpec::TST T,
                                    const PrintingPolicy &Policy);
static const char *getSpecifierName(DeclSpec::TQ Q);
static const char *getSpecifierName(DeclSpec::TSS S);
static const char *getSpecifierName(DeclSpec::TSC C);
static const char *getSpecifierName(DeclSpec::TSW W);
static const char *getSpecifierName(DeclSpec::SCS S);
static const char *getSpecifierName(DeclSpec::TSCS S);
static const char *getSpecifierName(ConstexprSpecKind C);

// type-qualifiers

/// getTypeQualifiers - Return a set of TQs.
unsigned getTypeQualifiers() const { return TypeQualifiers; }
SourceLocation getConstSpecLoc() const { return TQ_constLoc; }
SourceLocation getRestrictSpecLoc() const { return TQ_restrictLoc; }
SourceLocation getVolatileSpecLoc() const { return TQ_volatileLoc; }
SourceLocation getAtomicSpecLoc() const { return TQ_atomicLoc; }
SourceLocation getUnalignedSpecLoc() const { return TQ_unalignedLoc; }
SourceLocation getPipeLoc() const { return TQ_pipeLoc; }

/// Clear out all of the type qualifiers.
void ClearTypeQualifiers() {
  TypeQualifiers = 0;
  TQ_constLoc = SourceLocation();
  TQ_restrictLoc = SourceLocation();
  TQ_volatileLoc = SourceLocation();
  TQ_atomicLoc = SourceLocation();
  TQ_unalignedLoc = SourceLocation();
  TQ_pipeLoc = SourceLocation();
}

// function-specifier
bool isInlineSpecified() const {
  return FS_inline_specified | FS_forceinline_specified;
}
SourceLocation getInlineSpecLoc() const {
  return FS_inline_specified ? FS_inlineLoc : FS_forceinlineLoc;
}

ExplicitSpecifier getExplicitSpecifier() const {
  return FS_explicit_specifier;
}

bool isVirtualSpecified() const { return FS_virtual_specified; }
SourceLocation getVirtualSpecLoc() const { return FS_virtualLoc; }

bool hasExplicitSpecifier() const {
  return FS_explicit_specifier.isSpecified();
}
SourceLocation getExplicitSpecLoc() const { return FS_explicitLoc; }
SourceRange getExplicitSpecRange() const {
  return FS_explicit_specifier.getExpr()
             ? SourceRange(FS_explicitLoc, FS_explicitCloseParenLoc)
             : SourceRange(FS_explicitLoc);
}

bool isNoreturnSpecified() const { return FS_noreturn_specified; }
SourceLocation getNoreturnSpecLoc() const { return FS_noreturnLoc; }

void ClearFunctionSpecs() {
  FS_inline_specified = false;
  FS_inlineLoc = SourceLocation();
  FS_forceinline_specified = false;
  FS_forceinlineLoc = SourceLocation();
  FS_virtual_specified = false;
  FS_virtualLoc = SourceLocation();
  FS_explicit_specifier = ExplicitSpecifier();
  FS_explicitLoc = SourceLocation();
  FS_explicitCloseParenLoc = SourceLocation();
  FS_noreturn_specified = false;
  FS_noreturnLoc = SourceLocation();
}

/// This method calls the passed in handler on each CVRU qual being
/// set.
/// Handle - a handler to be invoked.
void forEachCVRUQualifier(
    llvm::function_ref<void(TQ, StringRef, SourceLocation)> Handle);

/// This method calls the passed in handler on each qual being
/// set.
/// Handle - a handler to be invoked.
void forEachQualifier(
    llvm::function_ref<void(TQ, StringRef, SourceLocation)> Handle);

/// Return true if any type-specifier has been found.
bool hasTypeSpecifier() const {
  return getTypeSpecType() != DeclSpec::TST_unspecified ||
         getTypeSpecWidth() != DeclSpec::TSW_unspecified ||
         getTypeSpecComplex() != DeclSpec::TSC_unspecified ||
         getTypeSpecSign() != DeclSpec::TSS_unspecified;
}

/// Return a bitmask of which flavors of specifiers this
/// DeclSpec includes.
unsigned getParsedSpecifiers() const;

/// isEmpty - Return true if this declaration specifier is completely empty:
/// no tokens were parsed in the production of it.
bool isEmpty() const {
  return getParsedSpecifiers() == DeclSpec::PQ_None;
}

void SetRangeStart(SourceLocation Loc) { Range.setBegin(Loc); }
void SetRangeEnd(SourceLocation Loc) { Range.setEnd(Loc); }

/// These methods set the specified attribute of the DeclSpec and
/// return false if there was no error.  If an error occurs (for
/// example, if we tried to set "auto" on a spec with "extern"
/// already set), they return true and set PrevSpec and DiagID
/// such that
///   Diag(Loc, DiagID) << PrevSpec;
/// will yield a useful result.
///
/// TODO: use a more general approach that still allows these
/// diagnostics to be ignored when desired.
bool SetStorageClassSpec(Sema &S, SCS SC, SourceLocation Loc,
                         const char *&PrevSpec, unsigned &DiagID,
                         const PrintingPolicy &Policy);
bool SetStorageClassSpecThread(TSCS TSC, SourceLocation Loc,
                               const char *&PrevSpec, unsigned &DiagID);
bool SetTypeSpecWidth(TSW W, SourceLocation Loc, const char *&PrevSpec,
                      unsigned &DiagID, const PrintingPolicy &Policy);
bool SetTypeSpecComplex(TSC C, SourceLocation Loc, const char *&PrevSpec,
                        unsigned &DiagID);
bool SetTypeSpecSign(TSS S, SourceLocation Loc, const char *&PrevSpec,
                     unsigned &DiagID);
bool SetTypeSpecType(TST T, SourceLocation Loc, const char *&PrevSpec,
                     unsigned &DiagID, const PrintingPolicy &Policy);
bool SetTypeSpecType(TST T, SourceLocation Loc, const char *&PrevSpec,
                     unsigned &DiagID, ParsedType Rep,
                     const PrintingPolicy &Policy);
bool SetTypeSpecType(TST T, SourceLocation Loc, const char *&PrevSpec,
                     unsigned &DiagID, Decl *Rep, bool Owned,
                     const PrintingPolicy &Policy);
bool SetTypeSpecType(TST T, SourceLocation TagKwLoc,
                     SourceLocation TagNameLoc, const char *&PrevSpec,
                     unsigned &DiagID, ParsedType Rep,
                     const PrintingPolicy &Policy);
bool SetTypeSpecType(TST T, SourceLocation TagKwLoc,
                     SourceLocation TagNameLoc, const char *&PrevSpec,
                     unsigned &DiagID, Decl *Rep, bool Owned,
                     const PrintingPolicy &Policy);

bool SetTypeSpecType(TST T, SourceLocation Loc, const char *&PrevSpec,
                     unsigned &DiagID, Expr *Rep,
                     const PrintingPolicy &policy);
bool SetTypeAltiVecVector(bool isAltiVecVector, SourceLocation Loc,
                     const char *&PrevSpec, unsigned &DiagID,
                     const PrintingPolicy &Policy);
bool SetTypeAltiVecPixel(bool isAltiVecPixel, SourceLocation Loc,
                     const char *&PrevSpec, unsigned &DiagID,
                     const PrintingPolicy &Policy);
bool SetTypeAltiVecBool(bool isAltiVecBool, SourceLocation Loc,
                     const char *&PrevSpec, unsigned &DiagID,
                     const PrintingPolicy &Policy);
bool SetTypePipe(bool isPipe, SourceLocation Loc,
                     const char *&PrevSpec, unsigned &DiagID,
                     const PrintingPolicy &Policy);
bool SetTypeSpecSat(SourceLocation Loc, const char *&PrevSpec,
                    unsigned &DiagID);
bool SetTypeSpecError();
void UpdateDeclRep(Decl *Rep) {
  assert(isDeclRep((TST) TypeSpecType))((isDeclRep((TST) TypeSpecType)) ? static_cast<void> (0
) : __assert_fail ("isDeclRep((TST) TypeSpecType)", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 689, __PRETTY_FUNCTION__));
  DeclRep = Rep;
}
void UpdateTypeRep(ParsedType Rep) {
  assert(isTypeRep((TST) TypeSpecType))((isTypeRep((TST) TypeSpecType)) ? static_cast<void> (0
) : __assert_fail ("isTypeRep((TST) TypeSpecType)", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 693, __PRETTY_FUNCTION__));
  TypeRep = Rep;
}
void UpdateExprRep(Expr *Rep) {
  assert(isExprRep((TST) TypeSpecType))((isExprRep((TST) TypeSpecType)) ? static_cast<void> (0
) : __assert_fail ("isExprRep((TST) TypeSpecType)", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 697, __PRETTY_FUNCTION__));
  ExprRep = Rep;
}

bool SetTypeQual(TQ T, SourceLocation Loc);

bool SetTypeQual(TQ T, SourceLocation Loc, const char *&PrevSpec,
                 unsigned &DiagID, const LangOptions &Lang);

bool setFunctionSpecInline(SourceLocation Loc, const char *&PrevSpec,
                           unsigned &DiagID);
bool setFunctionSpecForceInline(SourceLocation Loc, const char *&PrevSpec,
                                unsigned &DiagID);
bool setFunctionSpecVirtual(SourceLocation Loc, const char *&PrevSpec,
                            unsigned &DiagID);
bool setFunctionSpecExplicit(SourceLocation Loc, const char *&PrevSpec,
                             unsigned &DiagID, ExplicitSpecifier ExplicitSpec,
                             SourceLocation CloseParenLoc);
bool setFunctionSpecNoreturn(SourceLocation Loc, const char *&PrevSpec,
                             unsigned &DiagID);

bool SetFriendSpec(SourceLocation Loc, const char *&PrevSpec,
                   unsigned &DiagID);
bool setModulePrivateSpec(SourceLocation Loc, const char *&PrevSpec,
                          unsigned &DiagID);
bool SetConstexprSpec(ConstexprSpecKind ConstexprKind, SourceLocation Loc,
                      const char *&PrevSpec, unsigned &DiagID);

bool isFriendSpecified() const { return Friend_specified; }
SourceLocation getFriendSpecLoc() const { return FriendLoc; }

bool isModulePrivateSpecified() const { return ModulePrivateLoc.isValid(); }
SourceLocation getModulePrivateSpecLoc() const { return ModulePrivateLoc; }

ConstexprSpecKind getConstexprSpecifier() const {
  return ConstexprSpecKind(ConstexprSpecifier);
}

SourceLocation getConstexprSpecLoc() const { return ConstexprLoc; }
bool hasConstexprSpecifier() const {
  return ConstexprSpecifier != CSK_unspecified;
}

void ClearConstexprSpec() {
  ConstexprSpecifier = CSK_unspecified;
  ConstexprLoc = SourceLocation();
}

AttributePool &getAttributePool() const {
  return Attrs.getPool();
}

/// Concatenates two attribute lists.
///
/// The GCC attribute syntax allows for the following:
///
/// \code
/// short __attribute__(( unused, deprecated ))
/// int __attribute__(( may_alias, aligned(16) )) var;
/// \endcode
///
/// This declares 4 attributes using 2 lists. The following syntax is
/// also allowed and equivalent to the previous declaration.
///
/// \code
/// short __attribute__((unused)) __attribute__((deprecated))
/// int __attribute__((may_alias)) __attribute__((aligned(16))) var;
/// \endcode
///
void addAttributes(ParsedAttributesView &AL) {
  Attrs.addAll(AL.begin(), AL.end());
}

bool hasAttributes() const { return !Attrs.empty(); }

ParsedAttributes &getAttributes() { return Attrs; }
const ParsedAttributes &getAttributes() const { return Attrs; }

void takeAttributesFrom(ParsedAttributes &attrs) {
  Attrs.takeAllFrom(attrs);
}

/// Finish - This does final analysis of the declspec, issuing diagnostics for
/// things like "_Imaginary" (lacking an FP type).  After calling this method,
/// DeclSpec is guaranteed self-consistent, even if an error occurred.
void Finish(Sema &S, const PrintingPolicy &Policy);

const WrittenBuiltinSpecs& getWrittenBuiltinSpecs() const {
  return writtenBS;
}

ObjCDeclSpec *getObjCQualifiers() const { return ObjCQualifiers; }
void setObjCQualifiers(ObjCDeclSpec *quals) { ObjCQualifiers = quals; }

/// Checks if this DeclSpec can stand alone, without a Declarator.
///
/// Only tag declspecs can stand alone.
bool isMissingDeclaratorOk();
795};

797/// Captures information about "declaration specifiers" specific to
798/// Objective-C.
799class ObjCDeclSpec {
800public:
/// ObjCDeclQualifier - Qualifier used on types in method
/// declarations.  Not all combinations are sensible.  Parameters
/// can be one of { in, out, inout } with one of { bycopy, byref }.
/// Returns can either be { oneway } or not.
///
/// This should be kept in sync with Decl::ObjCDeclQualifier.
enum ObjCDeclQualifier {
  DQ_None = 0x0,
  DQ_In = 0x1,
  DQ_Inout = 0x2,
  DQ_Out = 0x4,
  DQ_Bycopy = 0x8,
  DQ_Byref = 0x10,
  DQ_Oneway = 0x20,
  DQ_CSNullability = 0x40
};

/// PropertyAttributeKind - list of property attributes.
/// Keep this list in sync with LLVM's Dwarf.h ApplePropertyAttributes.
enum ObjCPropertyAttributeKind {
  DQ_PR_noattr = 0x0,
  DQ_PR_readonly = 0x01,
  DQ_PR_getter = 0x02,
  DQ_PR_assign = 0x04,
  DQ_PR_readwrite = 0x08,
  DQ_PR_retain = 0x10,
  DQ_PR_copy = 0x20,
  DQ_PR_nonatomic = 0x40,
  DQ_PR_setter = 0x80,
  DQ_PR_atomic = 0x100,
  DQ_PR_weak =   0x200,
  DQ_PR_strong = 0x400,
  DQ_PR_unsafe_unretained = 0x800,
  DQ_PR_nullability = 0x1000,
  DQ_PR_null_resettable = 0x2000,
  DQ_PR_class = 0x4000
};

ObjCDeclSpec()
  : objcDeclQualifier(DQ_None), PropertyAttributes(DQ_PR_noattr),
    Nullability(0), GetterName(nullptr), SetterName(nullptr) { }

ObjCDeclQualifier getObjCDeclQualifier() const {
  return (ObjCDeclQualifier)objcDeclQualifier;
}
void setObjCDeclQualifier(ObjCDeclQualifier DQVal) {
  objcDeclQualifier = (ObjCDeclQualifier) (objcDeclQualifier | DQVal);
}
void clearObjCDeclQualifier(ObjCDeclQualifier DQVal) {
  objcDeclQualifier = (ObjCDeclQualifier) (objcDeclQualifier & ~DQVal);
}

ObjCPropertyAttributeKind getPropertyAttributes() const {
  return ObjCPropertyAttributeKind(PropertyAttributes);
}
void setPropertyAttributes(ObjCPropertyAttributeKind PRVal) {
  PropertyAttributes =
    (ObjCPropertyAttributeKind)(PropertyAttributes | PRVal);
}

NullabilityKind getNullability() const {
  assert(((getObjCDeclQualifier() & DQ_CSNullability) ||((((getObjCDeclQualifier() & DQ_CSNullability) || (getPropertyAttributes
() & DQ_PR_nullability)) && "Objective-C declspec doesn't have nullability"
) ? static_cast<void> (0) : __assert_fail ("((getObjCDeclQualifier() & DQ_CSNullability) || (getPropertyAttributes() & DQ_PR_nullability)) && \"Objective-C declspec doesn't have nullability\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 864, __PRETTY_FUNCTION__))
          (getPropertyAttributes() & DQ_PR_nullability)) &&((((getObjCDeclQualifier() & DQ_CSNullability) || (getPropertyAttributes
() & DQ_PR_nullability)) && "Objective-C declspec doesn't have nullability"
) ? static_cast<void> (0) : __assert_fail ("((getObjCDeclQualifier() & DQ_CSNullability) || (getPropertyAttributes() & DQ_PR_nullability)) && \"Objective-C declspec doesn't have nullability\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 864, __PRETTY_FUNCTION__))
         "Objective-C declspec doesn't have nullability")((((getObjCDeclQualifier() & DQ_CSNullability) || (getPropertyAttributes
() & DQ_PR_nullability)) && "Objective-C declspec doesn't have nullability"
) ? static_cast<void> (0) : __assert_fail ("((getObjCDeclQualifier() & DQ_CSNullability) || (getPropertyAttributes() & DQ_PR_nullability)) && \"Objective-C declspec doesn't have nullability\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 864, __PRETTY_FUNCTION__));
  return static_cast<NullabilityKind>(Nullability);
}

SourceLocation getNullabilityLoc() const {
  assert(((getObjCDeclQualifier() & DQ_CSNullability) ||((((getObjCDeclQualifier() & DQ_CSNullability) || (getPropertyAttributes
() & DQ_PR_nullability)) && "Objective-C declspec doesn't have nullability"
) ? static_cast<void> (0) : __assert_fail ("((getObjCDeclQualifier() & DQ_CSNullability) || (getPropertyAttributes() & DQ_PR_nullability)) && \"Objective-C declspec doesn't have nullability\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 871, __PRETTY_FUNCTION__))
          (getPropertyAttributes() & DQ_PR_nullability)) &&((((getObjCDeclQualifier() & DQ_CSNullability) || (getPropertyAttributes
() & DQ_PR_nullability)) && "Objective-C declspec doesn't have nullability"
) ? static_cast<void> (0) : __assert_fail ("((getObjCDeclQualifier() & DQ_CSNullability) || (getPropertyAttributes() & DQ_PR_nullability)) && \"Objective-C declspec doesn't have nullability\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 871, __PRETTY_FUNCTION__))
         "Objective-C declspec doesn't have nullability")((((getObjCDeclQualifier() & DQ_CSNullability) || (getPropertyAttributes
() & DQ_PR_nullability)) && "Objective-C declspec doesn't have nullability"
) ? static_cast<void> (0) : __assert_fail ("((getObjCDeclQualifier() & DQ_CSNullability) || (getPropertyAttributes() & DQ_PR_nullability)) && \"Objective-C declspec doesn't have nullability\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 871, __PRETTY_FUNCTION__));
  return NullabilityLoc;
}

void setNullability(SourceLocation loc, NullabilityKind kind) {
  assert(((getObjCDeclQualifier() & DQ_CSNullability) ||((((getObjCDeclQualifier() & DQ_CSNullability) || (getPropertyAttributes
() & DQ_PR_nullability)) && "Set the nullability declspec or property attribute first"
) ? static_cast<void> (0) : __assert_fail ("((getObjCDeclQualifier() & DQ_CSNullability) || (getPropertyAttributes() & DQ_PR_nullability)) && \"Set the nullability declspec or property attribute first\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 878, __PRETTY_FUNCTION__))
          (getPropertyAttributes() & DQ_PR_nullability)) &&((((getObjCDeclQualifier() & DQ_CSNullability) || (getPropertyAttributes
() & DQ_PR_nullability)) && "Set the nullability declspec or property attribute first"
) ? static_cast<void> (0) : __assert_fail ("((getObjCDeclQualifier() & DQ_CSNullability) || (getPropertyAttributes() & DQ_PR_nullability)) && \"Set the nullability declspec or property attribute first\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 878, __PRETTY_FUNCTION__))
         "Set the nullability declspec or property attribute first")((((getObjCDeclQualifier() & DQ_CSNullability) || (getPropertyAttributes
() & DQ_PR_nullability)) && "Set the nullability declspec or property attribute first"
) ? static_cast<void> (0) : __assert_fail ("((getObjCDeclQualifier() & DQ_CSNullability) || (getPropertyAttributes() & DQ_PR_nullability)) && \"Set the nullability declspec or property attribute first\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 878, __PRETTY_FUNCTION__));
  Nullability = static_cast<unsigned>(kind);
  NullabilityLoc = loc;
}

const IdentifierInfo *getGetterName() const { return GetterName; }
IdentifierInfo *getGetterName() { return GetterName; }
SourceLocation getGetterNameLoc() const { return GetterNameLoc; }
void setGetterName(IdentifierInfo *name, SourceLocation loc) {
  GetterName = name;
  GetterNameLoc = loc;
}

const IdentifierInfo *getSetterName() const { return SetterName; }
IdentifierInfo *getSetterName() { return SetterName; }
SourceLocation getSetterNameLoc() const { return SetterNameLoc; }
void setSetterName(IdentifierInfo *name, SourceLocation loc) {
  SetterName = name;
  SetterNameLoc = loc;
}

899private:
// FIXME: These two are unrelated and mutually exclusive. So perhaps
// we can put them in a union to reflect their mutual exclusivity
// (space saving is negligible).
unsigned objcDeclQualifier : 7;

// NOTE: VC++ treats enums as signed, avoid using ObjCPropertyAttributeKind
unsigned PropertyAttributes : 15;

unsigned Nullability : 2;

SourceLocation NullabilityLoc;

IdentifierInfo *GetterName;    // getter name or NULL if no getter
IdentifierInfo *SetterName;    // setter name or NULL if no setter
SourceLocation GetterNameLoc; // location of the getter attribute's value
SourceLocation SetterNameLoc; // location of the setter attribute's value

917};

919/// Describes the kind of unqualified-id parsed.
920enum class UnqualifiedIdKind {
/// An identifier.
IK_Identifier,
/// An overloaded operator name, e.g., operator+.
IK_OperatorFunctionId,
/// A conversion function name, e.g., operator int.
IK_ConversionFunctionId,
/// A user-defined literal name, e.g., operator "" _i.
IK_LiteralOperatorId,
/// A constructor name.
IK_ConstructorName,
/// A constructor named via a template-id.
IK_ConstructorTemplateId,
/// A destructor name.
IK_DestructorName,
/// A template-id, e.g., f<int>.
IK_TemplateId,
/// An implicit 'self' parameter
IK_ImplicitSelfParam,
/// A deduction-guide name (a template-name)
IK_DeductionGuideName
941};

943/// Represents a C++ unqualified-id that has been parsed.
944class UnqualifiedId {
945private:
UnqualifiedId(const UnqualifiedId &Other) = delete;
const UnqualifiedId &operator=(const UnqualifiedId &) = delete;

949public:
/// Describes the kind of unqualified-id parsed.
UnqualifiedIdKind Kind;

struct OFI {
  /// The kind of overloaded operator.
  OverloadedOperatorKind Operator;

  /// The source locations of the individual tokens that name
  /// the operator, e.g., the "new", "[", and "]" tokens in
  /// operator new [].
  ///
  /// Different operators have different numbers of tokens in their name,
  /// up to three. Any remaining source locations in this array will be
  /// set to an invalid value for operators with fewer than three tokens.
  unsigned SymbolLocations[3];
};

/// Anonymous union that holds extra data associated with the
/// parsed unqualified-id.
union {
  /// When Kind == IK_Identifier, the parsed identifier, or when
  /// Kind == IK_UserLiteralId, the identifier suffix.
  IdentifierInfo *Identifier;

  /// When Kind == IK_OperatorFunctionId, the overloaded operator
  /// that we parsed.
  struct OFI OperatorFunctionId;

  /// When Kind == IK_ConversionFunctionId, the type that the
  /// conversion function names.
  UnionParsedType ConversionFunctionId;

  /// When Kind == IK_ConstructorName, the class-name of the type
  /// whose constructor is being referenced.
  UnionParsedType ConstructorName;

  /// When Kind == IK_DestructorName, the type referred to by the
  /// class-name.
  UnionParsedType DestructorName;

  /// When Kind == IK_DeductionGuideName, the parsed template-name.
  UnionParsedTemplateTy TemplateName;

  /// When Kind == IK_TemplateId or IK_ConstructorTemplateId,
  /// the template-id annotation that contains the template name and
  /// template arguments.
  TemplateIdAnnotation *TemplateId;
};

/// The location of the first token that describes this unqualified-id,
/// which will be the location of the identifier, "operator" keyword,
/// tilde (for a destructor), or the template name of a template-id.
SourceLocation StartLocation;

/// The location of the last token that describes this unqualified-id.
SourceLocation EndLocation;

UnqualifiedId()
    : Kind(UnqualifiedIdKind::IK_Identifier), Identifier(nullptr) {}

/// Clear out this unqualified-id, setting it to default (invalid)
/// state.
void clear() {
  Kind = UnqualifiedIdKind::IK_Identifier;
  Identifier = nullptr;
  StartLocation = SourceLocation();
  EndLocation = SourceLocation();
}

/// Determine whether this unqualified-id refers to a valid name.
bool isValid() const { return StartLocation.isValid(); }

/// Determine whether this unqualified-id refers to an invalid name.
bool isInvalid() const { return !isValid(); }

/// Determine what kind of name we have.
UnqualifiedIdKind getKind() const { return Kind; }
void setKind(UnqualifiedIdKind kind) { Kind = kind; }

/// Specify that this unqualified-id was parsed as an identifier.
///
/// \param Id the parsed identifier.
/// \param IdLoc the location of the parsed identifier.
void setIdentifier(const IdentifierInfo *Id, SourceLocation IdLoc) {
  Kind = UnqualifiedIdKind::IK_Identifier;
  Identifier = const_cast<IdentifierInfo *>(Id);
  StartLocation = EndLocation = IdLoc;
}

/// Specify that this unqualified-id was parsed as an
/// operator-function-id.
///
/// \param OperatorLoc the location of the 'operator' keyword.
///
/// \param Op the overloaded operator.
///
/// \param SymbolLocations the locations of the individual operator symbols
/// in the operator.
void setOperatorFunctionId(SourceLocation OperatorLoc,
                           OverloadedOperatorKind Op,
                           SourceLocation SymbolLocations[3]);

/// Specify that this unqualified-id was parsed as a
/// conversion-function-id.
///
/// \param OperatorLoc the location of the 'operator' keyword.
///
/// \param Ty the type to which this conversion function is converting.
///
/// \param EndLoc the location of the last token that makes up the type name.
void setConversionFunctionId(SourceLocation OperatorLoc,
                             ParsedType Ty,
                             SourceLocation EndLoc) {
  Kind = UnqualifiedIdKind::IK_ConversionFunctionId;
  StartLocation = OperatorLoc;
  EndLocation = EndLoc;
  ConversionFunctionId = Ty;
}

/// Specific that this unqualified-id was parsed as a
/// literal-operator-id.
///
/// \param Id the parsed identifier.
///
/// \param OpLoc the location of the 'operator' keyword.
///
/// \param IdLoc the location of the identifier.
void setLiteralOperatorId(const IdentifierInfo *Id, SourceLocation OpLoc,
                            SourceLocation IdLoc) {
  Kind = UnqualifiedIdKind::IK_LiteralOperatorId;
  Identifier = const_cast<IdentifierInfo *>(Id);
  StartLocation = OpLoc;
  EndLocation = IdLoc;
}

/// Specify that this unqualified-id was parsed as a constructor name.
///
/// \param ClassType the class type referred to by the constructor name.
///
/// \param ClassNameLoc the location of the class name.
///
/// \param EndLoc the location of the last token that makes up the type name.
void setConstructorName(ParsedType ClassType,
                        SourceLocation ClassNameLoc,
                        SourceLocation EndLoc) {
  Kind = UnqualifiedIdKind::IK_ConstructorName;
  StartLocation = ClassNameLoc;
  EndLocation = EndLoc;
  ConstructorName = ClassType;
}

/// Specify that this unqualified-id was parsed as a
/// template-id that names a constructor.
///
/// \param TemplateId the template-id annotation that describes the parsed
/// template-id. This UnqualifiedId instance will take ownership of the
/// \p TemplateId and will free it on destruction.
void setConstructorTemplateId(TemplateIdAnnotation *TemplateId);

/// Specify that this unqualified-id was parsed as a destructor name.
///
/// \param TildeLoc the location of the '~' that introduces the destructor
/// name.
///
/// \param ClassType the name of the class referred to by the destructor name.
void setDestructorName(SourceLocation TildeLoc,
                       ParsedType ClassType,
                       SourceLocation EndLoc) {
  Kind = UnqualifiedIdKind::IK_DestructorName;
  StartLocation = TildeLoc;
  EndLocation = EndLoc;
  DestructorName = ClassType;
}

/// Specify that this unqualified-id was parsed as a template-id.
///
/// \param TemplateId the template-id annotation that describes the parsed
/// template-id. This UnqualifiedId instance will take ownership of the
/// \p TemplateId and will free it on destruction.
void setTemplateId(TemplateIdAnnotation *TemplateId);

/// Specify that this unqualified-id was parsed as a template-name for
/// a deduction-guide.
///
/// \param Template The parsed template-name.
/// \param TemplateLoc The location of the parsed template-name.
void setDeductionGuideName(ParsedTemplateTy Template,
                           SourceLocation TemplateLoc) {
  Kind = UnqualifiedIdKind::IK_DeductionGuideName;
  TemplateName = Template;
  StartLocation = EndLocation = TemplateLoc;
}

/// Return the source range that covers this unqualified-id.
SourceRange getSourceRange() const LLVM_READONLY__attribute__((__pure__)) {
  return SourceRange(StartLocation, EndLocation);
}
SourceLocation getBeginLoc() const LLVM_READONLY__attribute__((__pure__)) { return StartLocation; }
SourceLocation getEndLoc() const LLVM_READONLY__attribute__((__pure__)) { return EndLocation; }
1149};

1151/// A set of tokens that has been cached for later parsing.
1152typedef SmallVector<Token, 4> CachedTokens;

1154/// One instance of this struct is used for each type in a
1155/// declarator that is parsed.
1156///
1157/// This is intended to be a small value object.
1158struct DeclaratorChunk {
enum {
  Pointer, Reference, Array, Function, BlockPointer, MemberPointer, Paren, Pipe
} Kind;

/// Loc - The place where this type was defined.
SourceLocation Loc;
/// EndLoc - If valid, the place where this chunck ends.
SourceLocation EndLoc;

SourceRange getSourceRange() const {
  if (EndLoc.isInvalid())
    return SourceRange(Loc, Loc);
  return SourceRange(Loc, EndLoc);
}

ParsedAttributesView AttrList;

struct PointerTypeInfo {
  /// The type qualifiers: const/volatile/restrict/unaligned/atomic.
  unsigned TypeQuals : 5;

  /// The location of the const-qualifier, if any.
  unsigned ConstQualLoc;

  /// The location of the volatile-qualifier, if any.
  unsigned VolatileQualLoc;

  /// The location of the restrict-qualifier, if any.
  unsigned RestrictQualLoc;

  /// The location of the _Atomic-qualifier, if any.
  unsigned AtomicQualLoc;

  /// The location of the __unaligned-qualifier, if any.
  unsigned UnalignedQualLoc;

  void destroy() {
  }
};

struct ReferenceTypeInfo {
  /// The type qualifier: restrict. [GNU] C++ extension
  bool HasRestrict : 1;
  /// True if this is an lvalue reference, false if it's an rvalue reference.
  bool LValueRef : 1;
  void destroy() {
  }
};

struct ArrayTypeInfo {
  /// The type qualifiers for the array:
  /// const/volatile/restrict/__unaligned/_Atomic.
  unsigned TypeQuals : 5;

  /// True if this dimension included the 'static' keyword.
  unsigned hasStatic : 1;

  /// True if this dimension was [*].  In this case, NumElts is null.
  unsigned isStar : 1;

  /// This is the size of the array, or null if [] or [*] was specified.
  /// Since the parser is multi-purpose, and we don't want to impose a root
  /// expression class on all clients, NumElts is untyped.
  Expr *NumElts;

  void destroy() {}
};

/// ParamInfo - An array of paraminfo objects is allocated whenever a function
/// declarator is parsed.  There are two interesting styles of parameters
/// here:
/// K&R-style identifier lists and parameter type lists.  K&R-style identifier
/// lists will have information about the identifier, but no type information.
/// Parameter type lists will have type info (if the actions module provides
/// it), but may have null identifier info: e.g. for 'void foo(int X, int)'.
struct ParamInfo {
  IdentifierInfo *Ident;
  SourceLocation IdentLoc;
  Decl *Param;

  /// DefaultArgTokens - When the parameter's default argument
  /// cannot be parsed immediately (because it occurs within the
  /// declaration of a member function), it will be stored here as a
  /// sequence of tokens to be parsed once the class definition is
  /// complete. Non-NULL indicates that there is a default argument.
  std::unique_ptr<CachedTokens> DefaultArgTokens;

  ParamInfo() = default;
  ParamInfo(IdentifierInfo *ident, SourceLocation iloc,
            Decl *param,
            std::unique_ptr<CachedTokens> DefArgTokens = nullptr)
    : Ident(ident), IdentLoc(iloc), Param(param),
      DefaultArgTokens(std::move(DefArgTokens)) {}
};

struct TypeAndRange {
  ParsedType Ty;
  SourceRange Range;
};

struct FunctionTypeInfo {
  /// hasPrototype - This is true if the function had at least one typed
  /// parameter.  If the function is () or (a,b,c), then it has no prototype,
  /// and is treated as a K&R-style function.
  unsigned hasPrototype : 1;

  /// isVariadic - If this function has a prototype, and if that
  /// proto ends with ',...)', this is true. When true, EllipsisLoc
  /// contains the location of the ellipsis.
  unsigned isVariadic : 1;

  /// Can this declaration be a constructor-style initializer?
  unsigned isAmbiguous : 1;

  /// Whether the ref-qualifier (if any) is an lvalue reference.
  /// Otherwise, it's an rvalue reference.
  unsigned RefQualifierIsLValueRef : 1;

  /// ExceptionSpecType - An ExceptionSpecificationType value.
  unsigned ExceptionSpecType : 4;

  /// DeleteParams - If this is true, we need to delete[] Params.
  unsigned DeleteParams : 1;

  /// HasTrailingReturnType - If this is true, a trailing return type was
  /// specified.
  unsigned HasTrailingReturnType : 1;

  /// The location of the left parenthesis in the source.
  unsigned LParenLoc;

  /// When isVariadic is true, the location of the ellipsis in the source.
  unsigned EllipsisLoc;

  /// The location of the right parenthesis in the source.
  unsigned RParenLoc;

  /// NumParams - This is the number of formal parameters specified by the
  /// declarator.
  unsigned NumParams;

  /// NumExceptionsOrDecls - This is the number of types in the
  /// dynamic-exception-decl, if the function has one. In C, this is the
  /// number of declarations in the function prototype.
  unsigned NumExceptionsOrDecls;

  /// The location of the ref-qualifier, if any.
  ///
  /// If this is an invalid location, there is no ref-qualifier.
  unsigned RefQualifierLoc;

  /// The location of the 'mutable' qualifer in a lambda-declarator, if
  /// any.
  unsigned MutableLoc;

  /// The beginning location of the exception specification, if any.
  unsigned ExceptionSpecLocBeg;

  /// The end location of the exception specification, if any.
  unsigned ExceptionSpecLocEnd;

  /// Params - This is a pointer to a new[]'d array of ParamInfo objects that
  /// describe the parameters specified by this function declarator.  null if
  /// there are no parameters specified.
  ParamInfo *Params;

  /// DeclSpec for the function with the qualifier related info.
  DeclSpec *MethodQualifiers;

  /// AtttibuteFactory for the MethodQualifiers.
  AttributeFactory *QualAttrFactory;

  union {
    /// Pointer to a new[]'d array of TypeAndRange objects that
    /// contain the types in the function's dynamic exception specification
    /// and their locations, if there is one.
    TypeAndRange *Exceptions;

    /// Pointer to the expression in the noexcept-specifier of this
    /// function, if it has one.
    Expr *NoexceptExpr;

    /// Pointer to the cached tokens for an exception-specification
    /// that has not yet been parsed.
    CachedTokens *ExceptionSpecTokens;

    /// Pointer to a new[]'d array of declarations that need to be available
    /// for lookup inside the function body, if one exists. Does not exist in
    /// C++.
    NamedDecl **DeclsInPrototype;
  };

  /// If HasTrailingReturnType is true, this is the trailing return
  /// type specified.
  UnionParsedType TrailingReturnType;

  /// Reset the parameter list to having zero parameters.
  ///
  /// This is used in various places for error recovery.
  void freeParams() {
    for (unsigned I = 0; I < NumParams; ++I)
      Params[I].DefaultArgTokens.reset();
    if (DeleteParams) {
      delete[] Params;
      DeleteParams = false;
    }
    NumParams = 0;
  }

  void destroy() {
    freeParams();
    delete QualAttrFactory;
    delete MethodQualifiers;
    switch (getExceptionSpecType()) {
    default:
      break;
    case EST_Dynamic:
      delete[] Exceptions;
      break;
    case EST_Unparsed:
      delete ExceptionSpecTokens;
      break;
    case EST_None:
      if (NumExceptionsOrDecls != 0)
        delete[] DeclsInPrototype;
      break;
    }
  }

  DeclSpec &getOrCreateMethodQualifiers() {
    if (!MethodQualifiers) {
      QualAttrFactory = new AttributeFactory();
      MethodQualifiers = new DeclSpec(*QualAttrFactory);
    }
    return *MethodQualifiers;
  }

  /// isKNRPrototype - Return true if this is a K&R style identifier list,
  /// like "void foo(a,b,c)".  In a function definition, this will be followed
  /// by the parameter type definitions.
  bool isKNRPrototype() const { return !hasPrototype && NumParams != 0; }

  SourceLocation getLParenLoc() const {
    return SourceLocation::getFromRawEncoding(LParenLoc);
  }

  SourceLocation getEllipsisLoc() const {
    return SourceLocation::getFromRawEncoding(EllipsisLoc);
  }

  SourceLocation getRParenLoc() const {
    return SourceLocation::getFromRawEncoding(RParenLoc);
  }

  SourceLocation getExceptionSpecLocBeg() const {
    return SourceLocation::getFromRawEncoding(ExceptionSpecLocBeg);
  }

  SourceLocation getExceptionSpecLocEnd() const {
    return SourceLocation::getFromRawEncoding(ExceptionSpecLocEnd);
  }

  SourceRange getExceptionSpecRange() const {
    return SourceRange(getExceptionSpecLocBeg(), getExceptionSpecLocEnd());
  }

  /// Retrieve the location of the ref-qualifier, if any.
  SourceLocation getRefQualifierLoc() const {
    return SourceLocation::getFromRawEncoding(RefQualifierLoc);
  }

  /// Retrieve the location of the 'const' qualifier.
  SourceLocation getConstQualifierLoc() const {
    assert(MethodQualifiers)((MethodQualifiers) ? static_cast<void> (0) : __assert_fail
 ("MethodQualifiers", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 1432, __PRETTY_FUNCTION__));
    return MethodQualifiers->getConstSpecLoc();
  }

  /// Retrieve the location of the 'volatile' qualifier.
  SourceLocation getVolatileQualifierLoc() const {
    assert(MethodQualifiers)((MethodQualifiers) ? static_cast<void> (0) : __assert_fail
 ("MethodQualifiers", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 1438, __PRETTY_FUNCTION__));
    return MethodQualifiers->getVolatileSpecLoc();
  }

  /// Retrieve the location of the 'restrict' qualifier.
  SourceLocation getRestrictQualifierLoc() const {
    assert(MethodQualifiers)((MethodQualifiers) ? static_cast<void> (0) : __assert_fail
 ("MethodQualifiers", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 1444, __PRETTY_FUNCTION__));
    return MethodQualifiers->getRestrictSpecLoc();
  }

  /// Retrieve the location of the 'mutable' qualifier, if any.
  SourceLocation getMutableLoc() const {
    return SourceLocation::getFromRawEncoding(MutableLoc);
  }

  /// Determine whether this function declaration contains a
  /// ref-qualifier.
  bool hasRefQualifier() const { return getRefQualifierLoc().isValid(); }

  /// Determine whether this lambda-declarator contains a 'mutable'
  /// qualifier.
  bool hasMutableQualifier() const { return getMutableLoc().isValid(); }

  /// Determine whether this method has qualifiers.
  bool hasMethodTypeQualifiers() const {
    return MethodQualifiers && (MethodQualifiers->getTypeQualifiers() ||
                                MethodQualifiers->getAttributes().size());
  }

  /// Get the type of exception specification this function has.
  ExceptionSpecificationType getExceptionSpecType() const {
    return static_cast<ExceptionSpecificationType>(ExceptionSpecType);
  }

  /// Get the number of dynamic exception specifications.
  unsigned getNumExceptions() const {
    assert(ExceptionSpecType != EST_None)((ExceptionSpecType != EST_None) ? static_cast<void> (0
) : __assert_fail ("ExceptionSpecType != EST_None", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 1474, __PRETTY_FUNCTION__));
    return NumExceptionsOrDecls;
  }

  /// Get the non-parameter decls defined within this function
  /// prototype. Typically these are tag declarations.
  ArrayRef<NamedDecl *> getDeclsInPrototype() const {
    assert(ExceptionSpecType == EST_None)((ExceptionSpecType == EST_None) ? static_cast<void> (0
) : __assert_fail ("ExceptionSpecType == EST_None", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 1481, __PRETTY_FUNCTION__));
    return llvm::makeArrayRef(DeclsInPrototype, NumExceptionsOrDecls);
  }

  /// Determine whether this function declarator had a
  /// trailing-return-type.
  bool hasTrailingReturnType() const { return HasTrailingReturnType; }

  /// Get the trailing-return-type for this function declarator.
  ParsedType getTrailingReturnType() const { return TrailingReturnType; }
};

struct BlockPointerTypeInfo {
  /// For now, sema will catch these as invalid.
  /// The type qualifiers: const/volatile/restrict/__unaligned/_Atomic.
  unsigned TypeQuals : 5;

  void destroy() {
  }
};

struct MemberPointerTypeInfo {
  /// The type qualifiers: const/volatile/restrict/__unaligned/_Atomic.
  unsigned TypeQuals : 5;
  // CXXScopeSpec has a constructor, so it can't be a direct member.
  // So we need some pointer-aligned storage and a bit of trickery.
  alignas(CXXScopeSpec) char ScopeMem[sizeof(CXXScopeSpec)];
  CXXScopeSpec &Scope() {
    return *reinterpret_cast<CXXScopeSpec *>(ScopeMem);
  }
  const CXXScopeSpec &Scope() const {
    return *reinterpret_cast<const CXXScopeSpec *>(ScopeMem);
  }
  void destroy() {
    Scope().~CXXScopeSpec();
  }
};

struct PipeTypeInfo {
  /// The access writes.
  unsigned AccessWrites : 3;

  void destroy() {}
};

union {
  PointerTypeInfo       Ptr;
  ReferenceTypeInfo     Ref;
  ArrayTypeInfo         Arr;
  FunctionTypeInfo      Fun;
  BlockPointerTypeInfo  Cls;
  MemberPointerTypeInfo Mem;
  PipeTypeInfo          PipeInfo;
};

void destroy() {
  switch (Kind) {
  case DeclaratorChunk::Function:      return Fun.destroy();
  case DeclaratorChunk::Pointer:       return Ptr.destroy();
  case DeclaratorChunk::BlockPointer:  return Cls.destroy();
  case DeclaratorChunk::Reference:     return Ref.destroy();
  case DeclaratorChunk::Array:         return Arr.destroy();
  case DeclaratorChunk::MemberPointer: return Mem.destroy();
  case DeclaratorChunk::Paren:         return;
  case DeclaratorChunk::Pipe:          return PipeInfo.destroy();
  }
}

/// If there are attributes applied to this declaratorchunk, return
/// them.
const ParsedAttributesView &getAttrs() const { return AttrList; }
ParsedAttributesView &getAttrs() { return AttrList; }

/// Return a DeclaratorChunk for a pointer.
static DeclaratorChunk getPointer(unsigned TypeQuals, SourceLocation Loc,
                                  SourceLocation ConstQualLoc,
                                  SourceLocation VolatileQualLoc,
                                  SourceLocation RestrictQualLoc,
                                  SourceLocation AtomicQualLoc,
                                  SourceLocation UnalignedQualLoc) {
  DeclaratorChunk I;
  I.Kind                = Pointer;
  I.Loc                 = Loc;
  I.Ptr.TypeQuals       = TypeQuals;
  I.Ptr.ConstQualLoc    = ConstQualLoc.getRawEncoding();
  I.Ptr.VolatileQualLoc = VolatileQualLoc.getRawEncoding();
  I.Ptr.RestrictQualLoc = RestrictQualLoc.getRawEncoding();
  I.Ptr.AtomicQualLoc   = AtomicQualLoc.getRawEncoding();
  I.Ptr.UnalignedQualLoc = UnalignedQualLoc.getRawEncoding();
  return I;
}

/// Return a DeclaratorChunk for a reference.
static DeclaratorChunk getReference(unsigned TypeQuals, SourceLocation Loc,
                                    bool lvalue) {
  DeclaratorChunk I;
  I.Kind            = Reference;
  I.Loc             = Loc;
  I.Ref.HasRestrict = (TypeQuals & DeclSpec::TQ_restrict) != 0;
  I.Ref.LValueRef   = lvalue;
  return I;
}

/// Return a DeclaratorChunk for an array.
static DeclaratorChunk getArray(unsigned TypeQuals,
                                bool isStatic, bool isStar, Expr *NumElts,
                                SourceLocation LBLoc, SourceLocation RBLoc) {
  DeclaratorChunk I;
  I.Kind          = Array;
  I.Loc           = LBLoc;
  I.EndLoc        = RBLoc;
  I.Arr.TypeQuals = TypeQuals;
  I.Arr.hasStatic = isStatic;
  I.Arr.isStar    = isStar;
  I.Arr.NumElts   = NumElts;
  return I;
}

/// DeclaratorChunk::getFunction - Return a DeclaratorChunk for a function.
/// "TheDeclarator" is the declarator that this will be added to.
static DeclaratorChunk getFunction(bool HasProto,
                                   bool IsAmbiguous,
                                   SourceLocation LParenLoc,
                                   ParamInfo *Params, unsigned NumParams,
                                   SourceLocation EllipsisLoc,
                                   SourceLocation RParenLoc,
                                   bool RefQualifierIsLvalueRef,
                                   SourceLocation RefQualifierLoc,
                                   SourceLocation MutableLoc,
                                   ExceptionSpecificationType ESpecType,
                                   SourceRange ESpecRange,
                                   ParsedType *Exceptions,
                                   SourceRange *ExceptionRanges,
                                   unsigned NumExceptions,
                                   Expr *NoexceptExpr,
                                   CachedTokens *ExceptionSpecTokens,
                                   ArrayRef<NamedDecl *> DeclsInPrototype,
                                   SourceLocation LocalRangeBegin,
                                   SourceLocation LocalRangeEnd,
                                   Declarator &TheDeclarator,
                                   TypeResult TrailingReturnType =
                                                  TypeResult(),
                                   DeclSpec *MethodQualifiers = nullptr);

/// Return a DeclaratorChunk for a block.
static DeclaratorChunk getBlockPointer(unsigned TypeQuals,
                                       SourceLocation Loc) {
  DeclaratorChunk I;
  I.Kind          = BlockPointer;
  I.Loc           = Loc;
  I.Cls.TypeQuals = TypeQuals;
  return I;
}

/// Return a DeclaratorChunk for a block.
static DeclaratorChunk getPipe(unsigned TypeQuals,
                               SourceLocation Loc) {
  DeclaratorChunk I;
  I.Kind          = Pipe;
  I.Loc           = Loc;
  I.Cls.TypeQuals = TypeQuals;
  return I;
}

static DeclaratorChunk getMemberPointer(const CXXScopeSpec &SS,
                                        unsigned TypeQuals,
                                        SourceLocation Loc) {
  DeclaratorChunk I;
  I.Kind          = MemberPointer;
  I.Loc           = SS.getBeginLoc();
  I.EndLoc        = Loc;
  I.Mem.TypeQuals = TypeQuals;
  new (I.Mem.ScopeMem) CXXScopeSpec(SS);
  return I;
}

/// Return a DeclaratorChunk for a paren.
static DeclaratorChunk getParen(SourceLocation LParenLoc,
                                SourceLocation RParenLoc) {
  DeclaratorChunk I;
  I.Kind          = Paren;
  I.Loc           = LParenLoc;
  I.EndLoc        = RParenLoc;
  return I;
}

bool isParen() const {
  return Kind == Paren;
}
1670};

1672/// A parsed C++17 decomposition declarator of the form
1673///   '[' identifier-list ']'
1674class DecompositionDeclarator {
1675public:
struct Binding {
  IdentifierInfo *Name;
  SourceLocation NameLoc;
};

1681private:
/// The locations of the '[' and ']' tokens.
SourceLocation LSquareLoc, RSquareLoc;

/// The bindings.
Binding *Bindings;
unsigned NumBindings : 31;
unsigned DeleteBindings : 1;

friend class Declarator;

1692public:
DecompositionDeclarator()
    : Bindings(nullptr), NumBindings(0), DeleteBindings(false) {}
DecompositionDeclarator(const DecompositionDeclarator &G) = delete;
DecompositionDeclarator &operator=(const DecompositionDeclarator &G) = delete;
~DecompositionDeclarator() {
  if (DeleteBindings)
    delete[] Bindings;
}

void clear() {
  LSquareLoc = RSquareLoc = SourceLocation();
  if (DeleteBindings)
    delete[] Bindings;
  Bindings = nullptr;
  NumBindings = 0;
  DeleteBindings = false;
}

ArrayRef<Binding> bindings() const {
  return llvm::makeArrayRef(Bindings, NumBindings);
}

bool isSet() const { return LSquareLoc.isValid(); }

SourceLocation getLSquareLoc() const { return LSquareLoc; }
SourceLocation getRSquareLoc() const { return RSquareLoc; }
SourceRange getSourceRange() const {
  return SourceRange(LSquareLoc, RSquareLoc);
}
1722};

1724/// Described the kind of function definition (if any) provided for
1725/// a function.
1726enum FunctionDefinitionKind {
FDK_Declaration,
FDK_Definition,
FDK_Defaulted,
FDK_Deleted
1731};

1733enum class DeclaratorContext {
  FileContext,         // File scope declaration.
  PrototypeContext,    // Within a function prototype.
  ObjCResultContext,   // An ObjC method result type.
  ObjCParameterContext,// An ObjC method parameter type.
  KNRTypeListContext,  // K&R type definition list for formals.
  TypeNameContext,     // Abstract declarator for types.
  FunctionalCastContext, // Type in a C++ functional cast expression.
  MemberContext,       // Struct/Union field.
  BlockContext,        // Declaration within a block in a function.
  ForContext,          // Declaration within first part of a for loop.
  InitStmtContext,     // Declaration within optional init stmt of if/switch.
  ConditionContext,    // Condition declaration in a C++ if/switch/while/for.
  TemplateParamContext,// Within a template parameter list.
  CXXNewContext,       // C++ new-expression.
  CXXCatchContext,     // C++ catch exception-declaration
  ObjCCatchContext,    // Objective-C catch exception-declaration
  BlockLiteralContext, // Block literal declarator.
  LambdaExprContext,   // Lambda-expression declarator.
  LambdaExprParameterContext, // Lambda-expression parameter declarator.
  ConversionIdContext, // C++ conversion-type-id.
  TrailingReturnContext, // C++11 trailing-type-specifier.
  TrailingReturnVarContext, // C++11 trailing-type-specifier for variable.
  TemplateArgContext,  // Any template argument (in template argument list).
  TemplateTypeArgContext, // Template type argument (in default argument).
  AliasDeclContext,    // C++11 alias-declaration.
  AliasTemplateContext // C++11 alias-declaration template.
1760};


1763/// Information about one declarator, including the parsed type
1764/// information and the identifier.
1765///
1766/// When the declarator is fully formed, this is turned into the appropriate
1767/// Decl object.
1768///
1769/// Declarators come in two types: normal declarators and abstract declarators.
1770/// Abstract declarators are used when parsing types, and don't have an
1771/// identifier.  Normal declarators do have ID's.
1772///
1773/// Instances of this class should be a transient object that lives on the
1774/// stack, not objects that are allocated in large quantities on the heap.
1775class Declarator {

1777private:
const DeclSpec &DS;
CXXScopeSpec SS;
UnqualifiedId Name;
SourceRange Range;

/// Where we are parsing this declarator.
DeclaratorContext Context;

/// The C++17 structured binding, if any. This is an alternative to a Name.
DecompositionDeclarator BindingGroup;

/// DeclTypeInfo - This holds each type that the declarator includes as it is
/// parsed.  This is pushed from the identifier out, which means that element
/// #0 will be the most closely bound to the identifier, and
/// DeclTypeInfo.back() will be the least closely bound.
SmallVector<DeclaratorChunk, 8> DeclTypeInfo;

/// InvalidType - Set by Sema::GetTypeForDeclarator().
unsigned InvalidType : 1;

/// GroupingParens - Set by Parser::ParseParenDeclarator().
unsigned GroupingParens : 1;

/// FunctionDefinition - Is this Declarator for a function or member
/// definition and, if so, what kind?
///
/// Actually a FunctionDefinitionKind.
unsigned FunctionDefinition : 2;

/// Is this Declarator a redeclaration?
unsigned Redeclaration : 1;

/// true if the declaration is preceded by \c __extension__.
unsigned Extension : 1;

/// Indicates whether this is an Objective-C instance variable.
unsigned ObjCIvar : 1;

/// Indicates whether this is an Objective-C 'weak' property.
unsigned ObjCWeakProperty : 1;

/// Indicates whether the InlineParams / InlineBindings storage has been used.
unsigned InlineStorageUsed : 1;

/// Attrs - Attributes.
ParsedAttributes Attrs;

/// The asm label, if specified.
Expr *AsmLabel;

1828#ifndef _MSC_VER
union {
1830#endif
  /// InlineParams - This is a local array used for the first function decl
  /// chunk to avoid going to the heap for the common case when we have one
  /// function chunk in the declarator.
  DeclaratorChunk::ParamInfo InlineParams[16];
  DecompositionDeclarator::Binding InlineBindings[16];
1836#ifndef _MSC_VER
};
1838#endif

/// If this is the second or subsequent declarator in this declaration,
/// the location of the comma before this declarator.
SourceLocation CommaLoc;

/// If provided, the source location of the ellipsis used to describe
/// this declarator as a parameter pack.
SourceLocation EllipsisLoc;

friend struct DeclaratorChunk;

1850public:
Declarator(const DeclSpec &ds, DeclaratorContext C)
    : DS(ds), Range(ds.getSourceRange()), Context(C),
      InvalidType(DS.getTypeSpecType() == DeclSpec::TST_error),
      GroupingParens(false), FunctionDefinition(FDK_Declaration),
      Redeclaration(false), Extension(false), ObjCIvar(false),
      ObjCWeakProperty(false), InlineStorageUsed(false),
      Attrs(ds.getAttributePool().getFactory()), AsmLabel(nullptr) {}

~Declarator() {
  clear();
}
/// getDeclSpec - Return the declaration-specifier that this declarator was
/// declared with.
const DeclSpec &getDeclSpec() const { return DS; }

/// getMutableDeclSpec - Return a non-const version of the DeclSpec.  This
/// should be used with extreme care: declspecs can often be shared between
/// multiple declarators, so mutating the DeclSpec affects all of the
/// Declarators.  This should only be done when the declspec is known to not
/// be shared or when in error recovery etc.
DeclSpec &getMutableDeclSpec() { return const_cast<DeclSpec &>(DS); }

AttributePool &getAttributePool() const {
  return Attrs.getPool();
}

/// getCXXScopeSpec - Return the C++ scope specifier (global scope or
/// nested-name-specifier) that is part of the declarator-id.
const CXXScopeSpec &getCXXScopeSpec() const { return SS; }
CXXScopeSpec &getCXXScopeSpec() { return SS; }

/// Retrieve the name specified by this declarator.
UnqualifiedId &getName() { return Name; }

const DecompositionDeclarator &getDecompositionDeclarator() const {
  return BindingGroup;
}

DeclaratorContext getContext() const { return Context; }

bool isPrototypeContext() const {
  return (Context == DeclaratorContext::PrototypeContext ||
          Context == DeclaratorContext::ObjCParameterContext ||
          Context == DeclaratorContext::ObjCResultContext ||
          Context == DeclaratorContext::LambdaExprParameterContext);
}

/// Get the source range that spans this declarator.
SourceRange getSourceRange() const LLVM_READONLY__attribute__((__pure__)) { return Range; }
SourceLocation getBeginLoc() const LLVM_READONLY__attribute__((__pure__)) { return Range.getBegin(); }
SourceLocation getEndLoc() const LLVM_READONLY__attribute__((__pure__)) { return Range.getEnd(); }

void SetSourceRange(SourceRange R) { Range = R; }
/// SetRangeBegin - Set the start of the source range to Loc, unless it's
/// invalid.
void SetRangeBegin(SourceLocation Loc) {
  if (!Loc.isInvalid())
    Range.setBegin(Loc);
}
/// SetRangeEnd - Set the end of the source range to Loc, unless it's invalid.
void SetRangeEnd(SourceLocation Loc) {
  if (!Loc.isInvalid())
    Range.setEnd(Loc);
}
/// ExtendWithDeclSpec - Extend the declarator source range to include the
/// given declspec, unless its location is invalid. Adopts the range start if
/// the current range start is invalid.
void ExtendWithDeclSpec(const DeclSpec &DS) {
  SourceRange SR = DS.getSourceRange();
  if (Range.getBegin().isInvalid())
    Range.setBegin(SR.getBegin());
  if (!SR.getEnd().isInvalid())
    Range.setEnd(SR.getEnd());
}

/// Reset the contents of this Declarator.
void clear() {
  SS.clear();
  Name.clear();
  Range = DS.getSourceRange();
  BindingGroup.clear();

  for (unsigned i = 0, e = DeclTypeInfo.size(); i != e; ++i)
    DeclTypeInfo[i].destroy();
  DeclTypeInfo.clear();
  Attrs.clear();
  AsmLabel = nullptr;
  InlineStorageUsed = false;
  ObjCIvar = false;
  ObjCWeakProperty = false;
  CommaLoc = SourceLocation();
  EllipsisLoc = SourceLocation();
}

/// mayOmitIdentifier - Return true if the identifier is either optional or
/// not allowed.  This is true for typenames, prototypes, and template
/// parameter lists.
bool mayOmitIdentifier() const {
  switch (Context) {
  case DeclaratorContext::FileContext:
  case DeclaratorContext::KNRTypeListContext:
  case DeclaratorContext::MemberContext:
  case DeclaratorContext::BlockContext:
  case DeclaratorContext::ForContext:
  case DeclaratorContext::InitStmtContext:
  case DeclaratorContext::ConditionContext:
    return false;

  case DeclaratorContext::TypeNameContext:
  case DeclaratorContext::FunctionalCastContext:
  case DeclaratorContext::AliasDeclContext:
  case DeclaratorContext::AliasTemplateContext:
  case DeclaratorContext::PrototypeContext:
  case DeclaratorContext::LambdaExprParameterContext:
  case DeclaratorContext::ObjCParameterContext:
  case DeclaratorContext::ObjCResultContext:
  case DeclaratorContext::TemplateParamContext:
  case DeclaratorContext::CXXNewContext:
  case DeclaratorContext::CXXCatchContext:
  case DeclaratorContext::ObjCCatchContext:
  case DeclaratorContext::BlockLiteralContext:
  case DeclaratorContext::LambdaExprContext:
  case DeclaratorContext::ConversionIdContext:
  case DeclaratorContext::TemplateArgContext:
  case DeclaratorContext::TemplateTypeArgContext:
  case DeclaratorContext::TrailingReturnContext:
  case DeclaratorContext::TrailingReturnVarContext:
    return true;
  }
  llvm_unreachable("unknown context kind!")::llvm::llvm_unreachable_internal("unknown context kind!", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 1980);
}

/// mayHaveIdentifier - Return true if the identifier is either optional or
/// required.  This is true for normal declarators and prototypes, but not
/// typenames.
bool mayHaveIdentifier() const {
  switch (Context) {
  case DeclaratorContext::FileContext:
  case DeclaratorContext::KNRTypeListContext:
  case DeclaratorContext::MemberContext:
  case DeclaratorContext::BlockContext:
  case DeclaratorContext::ForContext:
  case DeclaratorContext::InitStmtContext:
  case DeclaratorContext::ConditionContext:
  case DeclaratorContext::PrototypeContext:
  case DeclaratorContext::LambdaExprParameterContext:
  case DeclaratorContext::TemplateParamContext:
  case DeclaratorContext::CXXCatchContext:
  case DeclaratorContext::ObjCCatchContext:
    return true;

  case DeclaratorContext::TypeNameContext:
  case DeclaratorContext::FunctionalCastContext:
  case DeclaratorContext::CXXNewContext:
  case DeclaratorContext::AliasDeclContext:
  case DeclaratorContext::AliasTemplateContext:
  case DeclaratorContext::ObjCParameterContext:
  case DeclaratorContext::ObjCResultContext:
  case DeclaratorContext::BlockLiteralContext:
  case DeclaratorContext::LambdaExprContext:
  case DeclaratorContext::ConversionIdContext:
  case DeclaratorContext::TemplateArgContext:
  case DeclaratorContext::TemplateTypeArgContext:
  case DeclaratorContext::TrailingReturnContext:
  case DeclaratorContext::TrailingReturnVarContext:
    return false;
  }
  llvm_unreachable("unknown context kind!")::llvm::llvm_unreachable_internal("unknown context kind!", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 2018);
}

/// Return true if the context permits a C++17 decomposition declarator.
bool mayHaveDecompositionDeclarator() const {
  switch (Context) {
  case DeclaratorContext::FileContext:
    // FIXME: It's not clear that the proposal meant to allow file-scope
    // structured bindings, but it does.
  case DeclaratorContext::BlockContext:
  case DeclaratorContext::ForContext:
  case DeclaratorContext::InitStmtContext:
  case DeclaratorContext::ConditionContext:
    return true;

  case DeclaratorContext::MemberContext:
  case DeclaratorContext::PrototypeContext:
  case DeclaratorContext::TemplateParamContext:
    // Maybe one day...
    return false;

  // These contexts don't allow any kind of non-abstract declarator.
  case DeclaratorContext::KNRTypeListContext:
  case DeclaratorContext::TypeNameContext:
  case DeclaratorContext::FunctionalCastContext:
  case DeclaratorContext::AliasDeclContext:
  case DeclaratorContext::AliasTemplateContext:
  case DeclaratorContext::LambdaExprParameterContext:
  case DeclaratorContext::ObjCParameterContext:
  case DeclaratorContext::ObjCResultContext:
  case DeclaratorContext::CXXNewContext:
  case DeclaratorContext::CXXCatchContext:
  case DeclaratorContext::ObjCCatchContext:
  case DeclaratorContext::BlockLiteralContext:
  case DeclaratorContext::LambdaExprContext:
  case DeclaratorContext::ConversionIdContext:
  case DeclaratorContext::TemplateArgContext:
  case DeclaratorContext::TemplateTypeArgContext:
  case DeclaratorContext::TrailingReturnContext:
  case DeclaratorContext::TrailingReturnVarContext:
    return false;
  }
  llvm_unreachable("unknown context kind!")::llvm::llvm_unreachable_internal("unknown context kind!", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 2060);
}

/// mayBeFollowedByCXXDirectInit - Return true if the declarator can be
/// followed by a C++ direct initializer, e.g. "int x(1);".
bool mayBeFollowedByCXXDirectInit() const {
  if (hasGroupingParens()) return false;

  if (getDeclSpec().getStorageClassSpec() == DeclSpec::SCS_typedef)
    return false;

  if (getDeclSpec().getStorageClassSpec() == DeclSpec::SCS_extern &&
      Context != DeclaratorContext::FileContext)
    return false;

  // Special names can't have direct initializers.
  if (Name.getKind() != UnqualifiedIdKind::IK_Identifier)
    return false;

  switch (Context) {
  case DeclaratorContext::FileContext:
  case DeclaratorContext::BlockContext:
  case DeclaratorContext::ForContext:
  case DeclaratorContext::InitStmtContext:
  case DeclaratorContext::TrailingReturnVarContext:
    return true;

  case DeclaratorContext::ConditionContext:
    // This may not be followed by a direct initializer, but it can't be a
    // function declaration either, and we'd prefer to perform a tentative
    // parse in order to produce the right diagnostic.
    return true;

  case DeclaratorContext::KNRTypeListContext:
  case DeclaratorContext::MemberContext:
  case DeclaratorContext::PrototypeContext:
  case DeclaratorContext::LambdaExprParameterContext:
  case DeclaratorContext::ObjCParameterContext:
  case DeclaratorContext::ObjCResultContext:
  case DeclaratorContext::TemplateParamContext:
  case DeclaratorContext::CXXCatchContext:
  case DeclaratorContext::ObjCCatchContext:
  case DeclaratorContext::TypeNameContext:
  case DeclaratorContext::FunctionalCastContext: // FIXME
  case DeclaratorContext::CXXNewContext:
  case DeclaratorContext::AliasDeclContext:
  case DeclaratorContext::AliasTemplateContext:
  case DeclaratorContext::BlockLiteralContext:
  case DeclaratorContext::LambdaExprContext:
  case DeclaratorContext::ConversionIdContext:
  case DeclaratorContext::TemplateArgContext:
  case DeclaratorContext::TemplateTypeArgContext:
  case DeclaratorContext::TrailingReturnContext:
    return false;
  }
  llvm_unreachable("unknown context kind!")::llvm::llvm_unreachable_internal("unknown context kind!", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 2115);
}

/// isPastIdentifier - Return true if we have parsed beyond the point where
/// the name would appear. (This may happen even if we haven't actually parsed
/// a name, perhaps because this context doesn't require one.)
bool isPastIdentifier() const { return Name.isValid(); }

/// hasName - Whether this declarator has a name, which might be an
/// identifier (accessible via getIdentifier()) or some kind of
/// special C++ name (constructor, destructor, etc.), or a structured
/// binding (which is not exactly a name, but occupies the same position).
bool hasName() const {
  return Name.getKind() != UnqualifiedIdKind::IK_Identifier ||
         Name.Identifier || isDecompositionDeclarator();
}

/// Return whether this declarator is a decomposition declarator.
bool isDecompositionDeclarator() const {
  return BindingGroup.isSet();
}

IdentifierInfo *getIdentifier() const {
  if (Name.getKind() == UnqualifiedIdKind::IK_Identifier)
    return Name.Identifier;

  return nullptr;
}
SourceLocation getIdentifierLoc() const { return Name.StartLocation; }

/// Set the name of this declarator to be the given identifier.
void SetIdentifier(IdentifierInfo *Id, SourceLocation IdLoc) {
  Name.setIdentifier(Id, IdLoc);
}

/// Set the decomposition bindings for this declarator.
void
setDecompositionBindings(SourceLocation LSquareLoc,
                         ArrayRef<DecompositionDeclarator::Binding> Bindings,
                         SourceLocation RSquareLoc);

/// AddTypeInfo - Add a chunk to this declarator. Also extend the range to
/// EndLoc, which should be the last token of the chunk.
/// This function takes attrs by R-Value reference because it takes ownership
/// of those attributes from the parameter.
void AddTypeInfo(const DeclaratorChunk &TI, ParsedAttributes &&attrs,
                 SourceLocation EndLoc) {
  DeclTypeInfo.push_back(TI);
  DeclTypeInfo.back().getAttrs().addAll(attrs.begin(), attrs.end());
  getAttributePool().takeAllFrom(attrs.getPool());

  if (!EndLoc.isInvalid())
    SetRangeEnd(EndLoc);
}

/// AddTypeInfo - Add a chunk to this declarator. Also extend the range to
/// EndLoc, which should be the last token of the chunk.
void AddTypeInfo(const DeclaratorChunk &TI, SourceLocation EndLoc) {
  DeclTypeInfo.push_back(TI);

  if (!EndLoc.isInvalid())
    SetRangeEnd(EndLoc);
}

/// Add a new innermost chunk to this declarator.
void AddInnermostTypeInfo(const DeclaratorChunk &TI) {
  DeclTypeInfo.insert(DeclTypeInfo.begin(), TI);
}

/// Return the number of types applied to this declarator.
unsigned getNumTypeObjects() const { return DeclTypeInfo.size(); }

/// Return the specified TypeInfo from this declarator.  TypeInfo #0 is
/// closest to the identifier.
const DeclaratorChunk &getTypeObject(unsigned i) const {
  assert(i < DeclTypeInfo.size() && "Invalid type chunk")((i < DeclTypeInfo.size() && "Invalid type chunk")
 ? static_cast<void> (0) : __assert_fail ("i < DeclTypeInfo.size() && \"Invalid type chunk\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 2190, __PRETTY_FUNCTION__));
  return DeclTypeInfo[i];
}
DeclaratorChunk &getTypeObject(unsigned i) {
  assert(i < DeclTypeInfo.size() && "Invalid type chunk")((i < DeclTypeInfo.size() && "Invalid type chunk")
 ? static_cast<void> (0) : __assert_fail ("i < DeclTypeInfo.size() && \"Invalid type chunk\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 2194, __PRETTY_FUNCTION__));
  return DeclTypeInfo[i];
}

typedef SmallVectorImpl<DeclaratorChunk>::const_iterator type_object_iterator;
typedef llvm::iterator_range<type_object_iterator> type_object_range;

/// Returns the range of type objects, from the identifier outwards.
type_object_range type_objects() const {
  return type_object_range(DeclTypeInfo.begin(), DeclTypeInfo.end());
}

void DropFirstTypeObject() {
  assert(!DeclTypeInfo.empty() && "No type chunks to drop.")((!DeclTypeInfo.empty() && "No type chunks to drop.")
 ? static_cast<void> (0) : __assert_fail ("!DeclTypeInfo.empty() && \"No type chunks to drop.\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 2207, __PRETTY_FUNCTION__));
  DeclTypeInfo.front().destroy();
  DeclTypeInfo.erase(DeclTypeInfo.begin());
}

/// Return the innermost (closest to the declarator) chunk of this
/// declarator that is not a parens chunk, or null if there are no
/// non-parens chunks.
const DeclaratorChunk *getInnermostNonParenChunk() const {
  for (unsigned i = 0, i_end = DeclTypeInfo.size(); i < i_end; ++i) {
    if (!DeclTypeInfo[i].isParen())
      return &DeclTypeInfo[i];
  }
  return nullptr;
}

/// Return the outermost (furthest from the declarator) chunk of
/// this declarator that is not a parens chunk, or null if there are
/// no non-parens chunks.
const DeclaratorChunk *getOutermostNonParenChunk() const {
  for (unsigned i = DeclTypeInfo.size(), i_end = 0; i != i_end; --i) {
    if (!DeclTypeInfo[i-1].isParen())
      return &DeclTypeInfo[i-1];
  }
  return nullptr;
}

/// isArrayOfUnknownBound - This method returns true if the declarator
/// is a declarator for an array of unknown bound (looking through
/// parentheses).
bool isArrayOfUnknownBound() const {
  const DeclaratorChunk *chunk = getInnermostNonParenChunk();
  return (chunk && chunk->Kind == DeclaratorChunk::Array &&
          !chunk->Arr.NumElts);
}

/// isFunctionDeclarator - This method returns true if the declarator
/// is a function declarator (looking through parentheses).
/// If true is returned, then the reference type parameter idx is
/// assigned with the index of the declaration chunk.
bool isFunctionDeclarator(unsigned& idx) const {
  for (unsigned i = 0, i_end = DeclTypeInfo.size(); i < i_end; ++i) {
    switch (DeclTypeInfo[i].Kind) {
    case DeclaratorChunk::Function:
      idx = i;
      return true;
    case DeclaratorChunk::Paren:
      continue;
    case DeclaratorChunk::Pointer:
    case DeclaratorChunk::Reference:
    case DeclaratorChunk::Array:
    case DeclaratorChunk::BlockPointer:
    case DeclaratorChunk::MemberPointer:
    case DeclaratorChunk::Pipe:
      return false;
    }
    llvm_unreachable("Invalid type chunk")::llvm::llvm_unreachable_internal("Invalid type chunk", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 2263);
  }
  return false;
}

/// isFunctionDeclarator - Once this declarator is fully parsed and formed,
/// this method returns true if the identifier is a function declarator
/// (looking through parentheses).
bool isFunctionDeclarator() const {
  unsigned index;
  return isFunctionDeclarator(index);
}

/// getFunctionTypeInfo - Retrieves the function type info object
/// (looking through parentheses).
DeclaratorChunk::FunctionTypeInfo &getFunctionTypeInfo() {
  assert(isFunctionDeclarator() && "Not a function declarator!")((isFunctionDeclarator() && "Not a function declarator!"
) ? static_cast<void> (0) : __assert_fail ("isFunctionDeclarator() && \"Not a function declarator!\""
, "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 2279, __PRETTY_FUNCTION__));
  unsigned index = 0;
  isFunctionDeclarator(index);
  return DeclTypeInfo[index].Fun;
}

/// getFunctionTypeInfo - Retrieves the function type info object
/// (looking through parentheses).
const DeclaratorChunk::FunctionTypeInfo &getFunctionTypeInfo() const {
  return const_cast<Declarator*>(this)->getFunctionTypeInfo();
}

/// Determine whether the declaration that will be produced from
/// this declaration will be a function.
///
/// A declaration can declare a function even if the declarator itself
/// isn't a function declarator, if the type specifier refers to a function
/// type. This routine checks for both cases.
bool isDeclarationOfFunction() const;

/// Return true if this declaration appears in a context where a
/// function declarator would be a function declaration.
bool isFunctionDeclarationContext() const {
  if (getDeclSpec().getStorageClassSpec() == DeclSpec::SCS_typedef)
    return false;

  switch (Context) {
  case DeclaratorContext::FileContext:
  case DeclaratorContext::MemberContext:
  case DeclaratorContext::BlockContext:
  case DeclaratorContext::ForContext:
  case DeclaratorContext::InitStmtContext:
    return true;

  case DeclaratorContext::ConditionContext:
  case DeclaratorContext::KNRTypeListContext:
  case DeclaratorContext::TypeNameContext:
  case DeclaratorContext::FunctionalCastContext:
  case DeclaratorContext::AliasDeclContext:
  case DeclaratorContext::AliasTemplateContext:
  case DeclaratorContext::PrototypeContext:
  case DeclaratorContext::LambdaExprParameterContext:
  case DeclaratorContext::ObjCParameterContext:
  case DeclaratorContext::ObjCResultContext:
  case DeclaratorContext::TemplateParamContext:
  case DeclaratorContext::CXXNewContext:
  case DeclaratorContext::CXXCatchContext:
  case DeclaratorContext::ObjCCatchContext:
  case DeclaratorContext::BlockLiteralContext:
  case DeclaratorContext::LambdaExprContext:
  case DeclaratorContext::ConversionIdContext:
  case DeclaratorContext::TemplateArgContext:
  case DeclaratorContext::TemplateTypeArgContext:
  case DeclaratorContext::TrailingReturnContext:
  case DeclaratorContext::TrailingReturnVarContext:
    return false;
  }
  llvm_unreachable("unknown context kind!")::llvm::llvm_unreachable_internal("unknown context kind!", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 2336);
}

/// Determine whether this declaration appears in a context where an
/// expression could appear.
bool isExpressionContext() const {
  switch (Context) {
  case DeclaratorContext::FileContext:
  case DeclaratorContext::KNRTypeListContext:
  case DeclaratorContext::MemberContext:

  // FIXME: sizeof(...) permits an expression.
  case DeclaratorContext::TypeNameContext:

  case DeclaratorContext::FunctionalCastContext:
  case DeclaratorContext::AliasDeclContext:
  case DeclaratorContext::AliasTemplateContext:
  case DeclaratorContext::PrototypeContext:
  case DeclaratorContext::LambdaExprParameterContext:
  case DeclaratorContext::ObjCParameterContext:
  case DeclaratorContext::ObjCResultContext:
  case DeclaratorContext::TemplateParamContext:
  case DeclaratorContext::CXXNewContext:
  case DeclaratorContext::CXXCatchContext:
  case DeclaratorContext::ObjCCatchContext:
  case DeclaratorContext::BlockLiteralContext:
  case DeclaratorContext::LambdaExprContext:
  case DeclaratorContext::ConversionIdContext:
  case DeclaratorContext::TrailingReturnContext:
  case DeclaratorContext::TrailingReturnVarContext:
  case DeclaratorContext::TemplateTypeArgContext:
    return false;

  case DeclaratorContext::BlockContext:
  case DeclaratorContext::ForContext:
  case DeclaratorContext::InitStmtContext:
  case DeclaratorContext::ConditionContext:
  case DeclaratorContext::TemplateArgContext:
    return true;
  }

  llvm_unreachable("unknown context kind!")::llvm::llvm_unreachable_internal("unknown context kind!", "/build/llvm-toolchain-snapshot-10~svn373517/tools/clang/include/clang/Sema/DeclSpec.h"
, 2377);
}

/// Return true if a function declarator at this position would be a
/// function declaration.
bool isFunctionDeclaratorAFunctionDeclaration() const {
  if (!isFunctionDeclarationContext())
    return false;

  for (unsigned I = 0, N = getNumTypeObjects(); I != N; ++I)
    if (getTypeObject(I).Kind != DeclaratorChunk::Paren)
      return false;

  return true;
}

/// Determine whether a trailing return type was written (at any
/// level) within this declarator.
bool hasTrailingReturnType() const {
  for (const auto &Chunk : type_objects())
    if (Chunk.Kind == DeclaratorChunk::Function &&
        Chunk.Fun.hasTrailingReturnType())
      return true;
  return false;
}

/// takeAttributes - Takes attributes from the given parsed-attributes
/// set and add them to this declarator.
///
/// These examples both add 3 attributes to "var":
///  short int var __attribute__((aligned(16),common,deprecated));
///  short int x, __attribute__((aligned(16)) var
///                                 __attribute__((common,deprecated));
///
/// Also extends the range of the declarator.
void takeAttributes(ParsedAttributes &attrs, SourceLocation lastLoc) {
  Attrs.takeAllFrom(attrs);

  if (!lastLoc.isInvalid())
    SetRangeEnd(lastLoc);
}

const ParsedAttributes &getAttributes() const { return Attrs; }
ParsedAttributes &getAttributes() { return Attrs; }

/// hasAttributes - do we contain any attributes?
bool hasAttributes() const {
  if (!getAttributes().empty() || getDeclSpec().hasAttributes())
    return true;
  for (unsigned i = 0, e = getNumTypeObjects(); i != e; ++i)
    if (!getTypeObject(i).getAttrs().empty())
      return true;
  return false;
}

/// Return a source range list of C++11 attributes associated
/// with the declarator.
void getCXX11AttributeRanges(SmallVectorImpl<SourceRange> &Ranges) {
  for (const ParsedAttr &AL : Attrs)
    if (AL.isCXX11Attribute())
      Ranges.push_back(AL.getRange());
}

void setAsmLabel(Expr *E) { AsmLabel = E; }
Expr *getAsmLabel() const { return AsmLabel; }

void setExtension(bool Val = true) { Extension = Val; }
bool getExtension() const { return Extension; }

void setObjCIvar(bool Val = true) { ObjCIvar = Val; }
bool isObjCIvar() const { return ObjCIvar; }

void setObjCWeakProperty(bool Val = true) { ObjCWeakProperty = Val; }
bool isObjCWeakProperty() const { return ObjCWeakProperty; }

void setInvalidType(bool Val = true) { InvalidType = Val; }
bool isInvalidType() const {
  return InvalidType || DS.getTypeSpecType() == DeclSpec::TST_error;
}

void setGroupingParens(bool flag) { GroupingParens = flag; }
bool hasGroupingParens() const { return GroupingParens; }

bool isFirstDeclarator() const { return !CommaLoc.isValid(); }
SourceLocation getCommaLoc() const { return CommaLoc; }
void setCommaLoc(SourceLocation CL) { CommaLoc = CL; }

bool hasEllipsis() const { return EllipsisLoc.isValid(); }
SourceLocation getEllipsisLoc() const { return EllipsisLoc; }
void setEllipsisLoc(SourceLocation EL) { EllipsisLoc = EL; }

void setFunctionDefinitionKind(FunctionDefinitionKind Val) {
  FunctionDefinition = Val;
}

bool isFunctionDefinition() const {
  return getFunctionDefinitionKind() != FDK_Declaration;
}

FunctionDefinitionKind getFunctionDefinitionKind() const {
  return (FunctionDefinitionKind)FunctionDefinition;
}

/// Returns true if this declares a real member and not a friend.
bool isFirstDeclarationOfMember() {
  return getContext() == DeclaratorContext::MemberContext &&
         !getDeclSpec().isFriendSpecified();
}

/// Returns true if this declares a static member.  This cannot be called on a
/// declarator outside of a MemberContext because we won't know until
/// redeclaration time if the decl is static.
bool isStaticMember();

/// Returns true if this declares a constructor or a destructor.
bool isCtorOrDtor();

void setRedeclaration(bool Val) { Redeclaration = Val; }
bool isRedeclaration() const { return Redeclaration; }
2496};

2498/// This little struct is used to capture information about
2499/// structure field declarators, which is basically just a bitfield size.
2500struct FieldDeclarator {
Declarator D;
Expr *BitfieldSize;
explicit FieldDeclarator(const DeclSpec &DS)
    : D(DS, DeclaratorContext::MemberContext),
      BitfieldSize(nullptr) {}
2506};

2508/// Represents a C++11 virt-specifier-seq.
2509class VirtSpecifiers {
2510public:
enum Specifier {
  VS_None = 0,
  VS_Override = 1,
  VS_Final = 2,
  VS_Sealed = 4,
  // Represents the __final keyword, which is legal for gcc in pre-C++11 mode.
  VS_GNU_Final = 8
};

VirtSpecifiers() : Specifiers(0), LastSpecifier(VS_None) { }

bool SetSpecifier(Specifier VS, SourceLocation Loc,
                  const char *&PrevSpec);

bool isUnset() const { return Specifiers == 0; }

bool isOverrideSpecified() const { return Specifiers & VS_Override; }
SourceLocation getOverrideLoc() const { return VS_overrideLoc; }

bool isFinalSpecified() const { return Specifiers & (VS_Final | VS_Sealed | VS_GNU_Final); }
bool isFinalSpelledSealed() const { return Specifiers & VS_Sealed; }
SourceLocation getFinalLoc() const { return VS_finalLoc; }

void clear() { Specifiers = 0; }

static const char *getSpecifierName(Specifier VS);

SourceLocation getFirstLocation() const { return FirstLocation; }
SourceLocation getLastLocation() const { return LastLocation; }
Specifier getLastSpecifier() const { return LastSpecifier; }

2542private:
unsigned Specifiers;
Specifier LastSpecifier;

SourceLocation VS_overrideLoc, VS_finalLoc;
SourceLocation FirstLocation;
SourceLocation LastLocation;
2549};

2551enum class LambdaCaptureInitKind {
NoInit,     //!< [a]
CopyInit,   //!< [a = b], [a = {b}]
DirectInit, //!< [a(b)]
ListInit    //!< [a{b}]
2556};

2558/// Represents a complete lambda introducer.
2559struct LambdaIntroducer {
/// An individual capture in a lambda introducer.
struct LambdaCapture {
  LambdaCaptureKind Kind;
  SourceLocation Loc;
  IdentifierInfo *Id;
  SourceLocation EllipsisLoc;
  LambdaCaptureInitKind InitKind;
  ExprResult Init;
  ParsedType InitCaptureType;
  SourceRange ExplicitRange;

  LambdaCapture(LambdaCaptureKind Kind, SourceLocation Loc,
                IdentifierInfo *Id, SourceLocation EllipsisLoc,
                LambdaCaptureInitKind InitKind, ExprResult Init,
                ParsedType InitCaptureType,
                SourceRange ExplicitRange)
      : Kind(Kind), Loc(Loc), Id(Id), EllipsisLoc(EllipsisLoc),
        InitKind(InitKind), Init(Init), InitCaptureType(InitCaptureType),
        ExplicitRange(ExplicitRange) {}
};

SourceRange Range;
SourceLocation DefaultLoc;
LambdaCaptureDefault Default;
SmallVector<LambdaCapture, 4> Captures;

LambdaIntroducer()
  : Default(LCD_None) {}

/// Append a capture in a lambda introducer.
void addCapture(LambdaCaptureKind Kind,
                SourceLocation Loc,
                IdentifierInfo* Id,
                SourceLocation EllipsisLoc,
                LambdaCaptureInitKind InitKind,
                ExprResult Init,
                ParsedType InitCaptureType,
                SourceRange ExplicitRange) {
  Captures.push_back(LambdaCapture(Kind, Loc, Id, EllipsisLoc, InitKind, Init,
                                   InitCaptureType, ExplicitRange));
}
2601};

2603} // end namespace clang

2605#endif // LLVM_CLANG_SEMA_DECLSPEC_H