/build/source/clang/lib/Sema/SemaCodeComplete.cpp

Bug Summary

File:	build/source/clang/lib/Sema/SemaCodeComplete.cpp
Warning:	line 3800, column 5 Called C++ object pointer is null
Annotated Source Code

Press '?' to see keyboard shortcuts
Show analyzer invocation
clang -cc1 -cc1 -triple x86_64-pc-linux-gnu -analyze -disable-free -clear-ast-before-backend -disable-llvm-verifier -discard-value-names -main-file-name SemaCodeComplete.cpp -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 -setup-static-analyzer -analyzer-config-compatibility-mode=true -mrelocation-model pic -pic-level 2 -mframe-pointer=none -relaxed-aliasing -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -funwind-tables=2 -target-cpu x86-64 -tune-cpu generic -debugger-tuning=gdb -ffunction-sections -fdata-sections -fcoverage-compilation-dir=/build/source/build-llvm -resource-dir /usr/lib/llvm-17/lib/clang/17 -D _DEBUG -D _GLIBCXX_ASSERTIONS -D _GNU_SOURCE -D _LIBCPP_ENABLE_ASSERTIONS -D __STDC_CONSTANT_MACROS -D __STDC_FORMAT_MACROS -D __STDC_LIMIT_MACROS -I tools/clang/lib/Sema -I /build/source/clang/lib/Sema -I /build/source/clang/include -I tools/clang/include -I include -I /build/source/llvm/include -D _FORTIFY_SOURCE=2 -D NDEBUG -U NDEBUG -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../include/x86_64-linux-gnu/c++/10 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10/backward -internal-isystem /usr/lib/llvm-17/lib/clang/17/include -internal-isystem /usr/local/include -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../x86_64-linux-gnu/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -fmacro-prefix-map=/build/source/build-llvm=build-llvm -fmacro-prefix-map=/build/source/= -fcoverage-prefix-map=/build/source/build-llvm=build-llvm -fcoverage-prefix-map=/build/source/= -source-date-epoch 1680300532 -O3 -Wno-unused-command-line-argument -Wno-unused-parameter -Wwrite-strings -Wno-missing-field-initializers -Wno-long-long -Wno-maybe-uninitialized -Wno-class-memaccess -Wno-redundant-move -Wno-pessimizing-move -Wno-noexcept-type -Wno-comment -Wno-misleading-indentation -std=c++17 -fdeprecated-macro -fdebug-compilation-dir=/build/source/build-llvm -fdebug-prefix-map=/build/source/build-llvm=build-llvm -fdebug-prefix-map=/build/source/= -fdebug-prefix-map=/build/source/build-llvm=build-llvm -fdebug-prefix-map=/build/source/= -ferror-limit 19 -fvisibility-inlines-hidden -stack-protector 2 -fgnuc-version=4.2.1 -fcolor-diagnostics -vectorize-loops -vectorize-slp -analyzer-output=html -analyzer-config stable-report-filename=true -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/scan-build-2023-04-01-083001-16331-1 -x c++ /build/source/clang/lib/Sema/SemaCodeComplete.cpp
1//===---------------- SemaCodeComplete.cpp - Code Completion ----*- 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//  This file defines the code-completion semantic actions.
10//
11//===----------------------------------------------------------------------===//
12#include "clang/AST/ASTConcept.h"
13#include "clang/AST/Decl.h"
14#include "clang/AST/DeclBase.h"
15#include "clang/AST/DeclCXX.h"
16#include "clang/AST/DeclObjC.h"
17#include "clang/AST/DeclTemplate.h"
18#include "clang/AST/Expr.h"
19#include "clang/AST/ExprCXX.h"
20#include "clang/AST/ExprConcepts.h"
21#include "clang/AST/ExprObjC.h"
22#include "clang/AST/NestedNameSpecifier.h"
23#include "clang/AST/QualTypeNames.h"
24#include "clang/AST/RecursiveASTVisitor.h"
25#include "clang/AST/Type.h"
26#include "clang/Basic/AttributeCommonInfo.h"
27#include "clang/Basic/CharInfo.h"
28#include "clang/Basic/OperatorKinds.h"
29#include "clang/Basic/Specifiers.h"
30#include "clang/Lex/HeaderSearch.h"
31#include "clang/Lex/MacroInfo.h"
32#include "clang/Lex/Preprocessor.h"
33#include "clang/Sema/CodeCompleteConsumer.h"
34#include "clang/Sema/DeclSpec.h"
35#include "clang/Sema/Designator.h"
36#include "clang/Sema/Lookup.h"
37#include "clang/Sema/Overload.h"
38#include "clang/Sema/ParsedAttr.h"
39#include "clang/Sema/ParsedTemplate.h"
40#include "clang/Sema/Scope.h"
41#include "clang/Sema/ScopeInfo.h"
42#include "clang/Sema/Sema.h"
43#include "clang/Sema/SemaInternal.h"
44#include "llvm/ADT/ArrayRef.h"
45#include "llvm/ADT/DenseSet.h"
46#include "llvm/ADT/SmallBitVector.h"
47#include "llvm/ADT/SmallPtrSet.h"
48#include "llvm/ADT/SmallString.h"
49#include "llvm/ADT/StringExtras.h"
50#include "llvm/ADT/StringSwitch.h"
51#include "llvm/ADT/Twine.h"
52#include "llvm/ADT/iterator_range.h"
53#include "llvm/Support/Casting.h"
54#include "llvm/Support/Path.h"
55#include "llvm/Support/raw_ostream.h"

57#include <list>
58#include <map>
59#include <optional>
60#include <string>
61#include <vector>

63using namespace clang;
64using namespace sema;

66namespace {
67/// A container of code-completion results.
68class ResultBuilder {
69public:
/// The type of a name-lookup filter, which can be provided to the
/// name-lookup routines to specify which declarations should be included in
/// the result set (when it returns true) and which declarations should be
/// filtered out (returns false).
typedef bool (ResultBuilder::*LookupFilter)(const NamedDecl *) const;

typedef CodeCompletionResult Result;

78private:
/// The actual results we have found.
std::vector<Result> Results;

/// A record of all of the declarations we have found and placed
/// into the result set, used to ensure that no declaration ever gets into
/// the result set twice.
llvm::SmallPtrSet<const Decl *, 16> AllDeclsFound;

typedef std::pair<const NamedDecl *, unsigned> DeclIndexPair;

/// An entry in the shadow map, which is optimized to store
/// a single (declaration, index) mapping (the common case) but
/// can also store a list of (declaration, index) mappings.
class ShadowMapEntry {
  typedef SmallVector<DeclIndexPair, 4> DeclIndexPairVector;

  /// Contains either the solitary NamedDecl * or a vector
  /// of (declaration, index) pairs.
  llvm::PointerUnion<const NamedDecl *, DeclIndexPairVector *> DeclOrVector;

  /// When the entry contains a single declaration, this is
  /// the index associated with that entry.
  unsigned SingleDeclIndex;

public:
  ShadowMapEntry() : SingleDeclIndex(0) {}
  ShadowMapEntry(const ShadowMapEntry &) = delete;
  ShadowMapEntry(ShadowMapEntry &&Move) { *this = std::move(Move); }
  ShadowMapEntry &operator=(const ShadowMapEntry &) = delete;
  ShadowMapEntry &operator=(ShadowMapEntry &&Move) {
    SingleDeclIndex = Move.SingleDeclIndex;
    DeclOrVector = Move.DeclOrVector;
    Move.DeclOrVector = nullptr;
    return *this;
  }

  void Add(const NamedDecl *ND, unsigned Index) {
    if (DeclOrVector.isNull()) {
      // 0 - > 1 elements: just set the single element information.
      DeclOrVector = ND;
      SingleDeclIndex = Index;
      return;
    }

    if (const NamedDecl *PrevND =
            DeclOrVector.dyn_cast<const NamedDecl *>()) {
      // 1 -> 2 elements: create the vector of results and push in the
      // existing declaration.
      DeclIndexPairVector *Vec = new DeclIndexPairVector;
      Vec->push_back(DeclIndexPair(PrevND, SingleDeclIndex));
      DeclOrVector = Vec;
    }

    // Add the new element to the end of the vector.
    DeclOrVector.get<DeclIndexPairVector *>()->push_back(
        DeclIndexPair(ND, Index));
  }

  ~ShadowMapEntry() {
    if (DeclIndexPairVector *Vec =
            DeclOrVector.dyn_cast<DeclIndexPairVector *>()) {
      delete Vec;
      DeclOrVector = ((NamedDecl *)nullptr);
    }
  }

  // Iteration.
  class iterator;
  iterator begin() const;
  iterator end() const;
};

/// A mapping from declaration names to the declarations that have
/// this name within a particular scope and their index within the list of
/// results.
typedef llvm::DenseMap<DeclarationName, ShadowMapEntry> ShadowMap;

/// The semantic analysis object for which results are being
/// produced.
Sema &SemaRef;

/// The allocator used to allocate new code-completion strings.
CodeCompletionAllocator &Allocator;

CodeCompletionTUInfo &CCTUInfo;

/// If non-NULL, a filter function used to remove any code-completion
/// results that are not desirable.
LookupFilter Filter;

/// Whether we should allow declarations as
/// nested-name-specifiers that would otherwise be filtered out.
bool AllowNestedNameSpecifiers;

/// If set, the type that we would prefer our resulting value
/// declarations to have.
///
/// Closely matching the preferred type gives a boost to a result's
/// priority.
CanQualType PreferredType;

/// A list of shadow maps, which is used to model name hiding at
/// different levels of, e.g., the inheritance hierarchy.
std::list<ShadowMap> ShadowMaps;

/// Overloaded C++ member functions found by SemaLookup.
/// Used to determine when one overload is dominated by another.
llvm::DenseMap<std::pair<DeclContext *, /*Name*/uintptr_t>, ShadowMapEntry>
    OverloadMap;

/// If we're potentially referring to a C++ member function, the set
/// of qualifiers applied to the object type.
Qualifiers ObjectTypeQualifiers;
/// The kind of the object expression, for rvalue/lvalue overloads.
ExprValueKind ObjectKind;

/// Whether the \p ObjectTypeQualifiers field is active.
bool HasObjectTypeQualifiers;

/// The selector that we prefer.
Selector PreferredSelector;

/// The completion context in which we are gathering results.
CodeCompletionContext CompletionContext;

/// If we are in an instance method definition, the \@implementation
/// object.
ObjCImplementationDecl *ObjCImplementation;

void AdjustResultPriorityForDecl(Result &R);

void MaybeAddConstructorResults(Result R);

212public:
explicit ResultBuilder(Sema &SemaRef, CodeCompletionAllocator &Allocator,
                       CodeCompletionTUInfo &CCTUInfo,
                       const CodeCompletionContext &CompletionContext,
                       LookupFilter Filter = nullptr)
    : SemaRef(SemaRef), Allocator(Allocator), CCTUInfo(CCTUInfo),
      Filter(Filter), AllowNestedNameSpecifiers(false),
      HasObjectTypeQualifiers(false), CompletionContext(CompletionContext),
      ObjCImplementation(nullptr) {
  // If this is an Objective-C instance method definition, dig out the
  // corresponding implementation.
  switch (CompletionContext.getKind()) {
  case CodeCompletionContext::CCC_Expression:
  case CodeCompletionContext::CCC_ObjCMessageReceiver:
  case CodeCompletionContext::CCC_ParenthesizedExpression:
  case CodeCompletionContext::CCC_Statement:
  case CodeCompletionContext::CCC_Recovery:
    if (ObjCMethodDecl *Method = SemaRef.getCurMethodDecl())
      if (Method->isInstanceMethod())
        if (ObjCInterfaceDecl *Interface = Method->getClassInterface())
          ObjCImplementation = Interface->getImplementation();
    break;

  default:
    break;
  }
}

/// Determine the priority for a reference to the given declaration.
unsigned getBasePriority(const NamedDecl *D);

/// Whether we should include code patterns in the completion
/// results.
bool includeCodePatterns() const {
  return SemaRef.CodeCompleter &&
         SemaRef.CodeCompleter->includeCodePatterns();
}

/// Set the filter used for code-completion results.
void setFilter(LookupFilter Filter) { this->Filter = Filter; }

Result *data() { return Results.empty() ? nullptr : &Results.front(); }
unsigned size() const { return Results.size(); }
bool empty() const { return Results.empty(); }

/// Specify the preferred type.
void setPreferredType(QualType T) {
  PreferredType = SemaRef.Context.getCanonicalType(T);
}

/// Set the cv-qualifiers on the object type, for us in filtering
/// calls to member functions.
///
/// When there are qualifiers in this set, they will be used to filter
/// out member functions that aren't available (because there will be a
/// cv-qualifier mismatch) or prefer functions with an exact qualifier
/// match.
void setObjectTypeQualifiers(Qualifiers Quals, ExprValueKind Kind) {
  ObjectTypeQualifiers = Quals;
  ObjectKind = Kind;
  HasObjectTypeQualifiers = true;
}

/// Set the preferred selector.
///
/// When an Objective-C method declaration result is added, and that
/// method's selector matches this preferred selector, we give that method
/// a slight priority boost.
void setPreferredSelector(Selector Sel) { PreferredSelector = Sel; }

/// Retrieve the code-completion context for which results are
/// being collected.
const CodeCompletionContext &getCompletionContext() const {
  return CompletionContext;
}

/// Specify whether nested-name-specifiers are allowed.
void allowNestedNameSpecifiers(bool Allow = true) {
  AllowNestedNameSpecifiers = Allow;
}

/// Return the semantic analysis object for which we are collecting
/// code completion results.
Sema &getSema() const { return SemaRef; }

/// Retrieve the allocator used to allocate code completion strings.
CodeCompletionAllocator &getAllocator() const { return Allocator; }

CodeCompletionTUInfo &getCodeCompletionTUInfo() const { return CCTUInfo; }

/// Determine whether the given declaration is at all interesting
/// as a code-completion result.
///
/// \param ND the declaration that we are inspecting.
///
/// \param AsNestedNameSpecifier will be set true if this declaration is
/// only interesting when it is a nested-name-specifier.
bool isInterestingDecl(const NamedDecl *ND,
                       bool &AsNestedNameSpecifier) const;

/// Check whether the result is hidden by the Hiding declaration.
///
/// \returns true if the result is hidden and cannot be found, false if
/// the hidden result could still be found. When false, \p R may be
/// modified to describe how the result can be found (e.g., via extra
/// qualification).
bool CheckHiddenResult(Result &R, DeclContext *CurContext,
                       const NamedDecl *Hiding);

/// Add a new result to this result set (if it isn't already in one
/// of the shadow maps), or replace an existing result (for, e.g., a
/// redeclaration).
///
/// \param R the result to add (if it is unique).
///
/// \param CurContext the context in which this result will be named.
void MaybeAddResult(Result R, DeclContext *CurContext = nullptr);

/// Add a new result to this result set, where we already know
/// the hiding declaration (if any).
///
/// \param R the result to add (if it is unique).
///
/// \param CurContext the context in which this result will be named.
///
/// \param Hiding the declaration that hides the result.
///
/// \param InBaseClass whether the result was found in a base
/// class of the searched context.
void AddResult(Result R, DeclContext *CurContext, NamedDecl *Hiding,
               bool InBaseClass);

/// Add a new non-declaration result to this result set.
void AddResult(Result R);

/// Enter into a new scope.
void EnterNewScope();

/// Exit from the current scope.
void ExitScope();

/// Ignore this declaration, if it is seen again.
void Ignore(const Decl *D) { AllDeclsFound.insert(D->getCanonicalDecl()); }

/// Add a visited context.
void addVisitedContext(DeclContext *Ctx) {
  CompletionContext.addVisitedContext(Ctx);
}

/// \name Name lookup predicates
///
/// These predicates can be passed to the name lookup functions to filter the
/// results of name lookup. All of the predicates have the same type, so that
///
//@{
bool IsOrdinaryName(const NamedDecl *ND) const;
bool IsOrdinaryNonTypeName(const NamedDecl *ND) const;
bool IsIntegralConstantValue(const NamedDecl *ND) const;
bool IsOrdinaryNonValueName(const NamedDecl *ND) const;
bool IsNestedNameSpecifier(const NamedDecl *ND) const;
bool IsEnum(const NamedDecl *ND) const;
bool IsClassOrStruct(const NamedDecl *ND) const;
bool IsUnion(const NamedDecl *ND) const;
bool IsNamespace(const NamedDecl *ND) const;
bool IsNamespaceOrAlias(const NamedDecl *ND) const;
bool IsType(const NamedDecl *ND) const;
bool IsMember(const NamedDecl *ND) const;
bool IsObjCIvar(const NamedDecl *ND) const;
bool IsObjCMessageReceiver(const NamedDecl *ND) const;
bool IsObjCMessageReceiverOrLambdaCapture(const NamedDecl *ND) const;
bool IsObjCCollection(const NamedDecl *ND) const;
bool IsImpossibleToSatisfy(const NamedDecl *ND) const;
//@}
385};
386} // namespace

388void PreferredTypeBuilder::enterReturn(Sema &S, SourceLocation Tok) {
if (!Enabled)
  return;
if (isa<BlockDecl>(S.CurContext)) {
  if (sema::BlockScopeInfo *BSI = S.getCurBlock()) {
    ComputeType = nullptr;
    Type = BSI->ReturnType;
    ExpectedLoc = Tok;
  }
} else if (const auto *Function = dyn_cast<FunctionDecl>(S.CurContext)) {
  ComputeType = nullptr;
  Type = Function->getReturnType();
  ExpectedLoc = Tok;
} else if (const auto *Method = dyn_cast<ObjCMethodDecl>(S.CurContext)) {
  ComputeType = nullptr;
  Type = Method->getReturnType();
  ExpectedLoc = Tok;
}
406}

408void PreferredTypeBuilder::enterVariableInit(SourceLocation Tok, Decl *D) {
if (!Enabled)
  return;
auto *VD = llvm::dyn_cast_or_null<ValueDecl>(D);
ComputeType = nullptr;
Type = VD ? VD->getType() : QualType();
ExpectedLoc = Tok;
415}

417static QualType getDesignatedType(QualType BaseType, const Designation &Desig);

419void PreferredTypeBuilder::enterDesignatedInitializer(SourceLocation Tok,
                                                    QualType BaseType,
                                                    const Designation &D) {
if (!Enabled)
  return;
ComputeType = nullptr;
Type = getDesignatedType(BaseType, D);
ExpectedLoc = Tok;
427}

429void PreferredTypeBuilder::enterFunctionArgument(
  SourceLocation Tok, llvm::function_ref<QualType()> ComputeType) {
if (!Enabled)
  return;
this->ComputeType = ComputeType;
Type = QualType();
ExpectedLoc = Tok;
436}

438void PreferredTypeBuilder::enterParenExpr(SourceLocation Tok,
                                        SourceLocation LParLoc) {
if (!Enabled)
  return;
// expected type for parenthesized expression does not change.
if (ExpectedLoc == LParLoc)
  ExpectedLoc = Tok;
445}

447static QualType getPreferredTypeOfBinaryRHS(Sema &S, Expr *LHS,
                                          tok::TokenKind Op) {
if (!LHS)
  return QualType();

QualType LHSType = LHS->getType();
if (LHSType->isPointerType()) {
  if (Op == tok::plus || Op == tok::plusequal || Op == tok::minusequal)
    return S.getASTContext().getPointerDiffType();
  // Pointer difference is more common than subtracting an int from a pointer.
  if (Op == tok::minus)
    return LHSType;
}

switch (Op) {
// No way to infer the type of RHS from LHS.
case tok::comma:
  return QualType();
// Prefer the type of the left operand for all of these.
// Arithmetic operations.
case tok::plus:
case tok::plusequal:
case tok::minus:
case tok::minusequal:
case tok::percent:
case tok::percentequal:
case tok::slash:
case tok::slashequal:
case tok::star:
case tok::starequal:
// Assignment.
case tok::equal:
// Comparison operators.
case tok::equalequal:
case tok::exclaimequal:
case tok::less:
case tok::lessequal:
case tok::greater:
case tok::greaterequal:
case tok::spaceship:
  return LHS->getType();
// Binary shifts are often overloaded, so don't try to guess those.
case tok::greatergreater:
case tok::greatergreaterequal:
case tok::lessless:
case tok::lesslessequal:
  if (LHSType->isIntegralOrEnumerationType())
    return S.getASTContext().IntTy;
  return QualType();
// Logical operators, assume we want bool.
case tok::ampamp:
case tok::pipepipe:
case tok::caretcaret:
  return S.getASTContext().BoolTy;
// Operators often used for bit manipulation are typically used with the type
// of the left argument.
case tok::pipe:
case tok::pipeequal:
case tok::caret:
case tok::caretequal:
case tok::amp:
case tok::ampequal:
  if (LHSType->isIntegralOrEnumerationType())
    return LHSType;
  return QualType();
// RHS should be a pointer to a member of the 'LHS' type, but we can't give
// any particular type here.
case tok::periodstar:
case tok::arrowstar:
  return QualType();
default:
  // FIXME(ibiryukov): handle the missing op, re-add the assertion.
  // assert(false && "unhandled binary op");
  return QualType();
}
522}

524/// Get preferred type for an argument of an unary expression. \p ContextType is
525/// preferred type of the whole unary expression.
526static QualType getPreferredTypeOfUnaryArg(Sema &S, QualType ContextType,
                                         tok::TokenKind Op) {
switch (Op) {
case tok::exclaim:
  return S.getASTContext().BoolTy;
case tok::amp:
  if (!ContextType.isNull() && ContextType->isPointerType())
    return ContextType->getPointeeType();
  return QualType();
case tok::star:
  if (ContextType.isNull())
    return QualType();
  return S.getASTContext().getPointerType(ContextType.getNonReferenceType());
case tok::plus:
case tok::minus:
case tok::tilde:
case tok::minusminus:
case tok::plusplus:
  if (ContextType.isNull())
    return S.getASTContext().IntTy;
  // leave as is, these operators typically return the same type.
  return ContextType;
case tok::kw___real:
case tok::kw___imag:
  return QualType();
default:
  assert(false && "unhandled unary op")(static_cast <bool> (false && "unhandled unary op"
) ? void (0) : __assert_fail ("false && \"unhandled unary op\""
, "clang/lib/Sema/SemaCodeComplete.cpp", 552, __extension__ __PRETTY_FUNCTION__
));
  return QualType();
}
555}

557void PreferredTypeBuilder::enterBinary(Sema &S, SourceLocation Tok, Expr *LHS,
                                     tok::TokenKind Op) {
if (!Enabled)
  return;
ComputeType = nullptr;
Type = getPreferredTypeOfBinaryRHS(S, LHS, Op);
ExpectedLoc = Tok;
564}

566void PreferredTypeBuilder::enterMemAccess(Sema &S, SourceLocation Tok,
                                        Expr *Base) {
if (!Enabled || !Base)
  return;
// Do we have expected type for Base?
if (ExpectedLoc != Base->getBeginLoc())
  return;
// Keep the expected type, only update the location.
ExpectedLoc = Tok;
575}

577void PreferredTypeBuilder::enterUnary(Sema &S, SourceLocation Tok,
                                    tok::TokenKind OpKind,
                                    SourceLocation OpLoc) {
if (!Enabled)
  return;
ComputeType = nullptr;
Type = getPreferredTypeOfUnaryArg(S, this->get(OpLoc), OpKind);
ExpectedLoc = Tok;
585}

587void PreferredTypeBuilder::enterSubscript(Sema &S, SourceLocation Tok,
                                        Expr *LHS) {
if (!Enabled)
  return;
ComputeType = nullptr;
Type = S.getASTContext().IntTy;
ExpectedLoc = Tok;
594}

596void PreferredTypeBuilder::enterTypeCast(SourceLocation Tok,
                                       QualType CastType) {
if (!Enabled)
  return;
ComputeType = nullptr;
Type = !CastType.isNull() ? CastType.getCanonicalType() : QualType();
ExpectedLoc = Tok;
603}

605void PreferredTypeBuilder::enterCondition(Sema &S, SourceLocation Tok) {
if (!Enabled)
  return;
ComputeType = nullptr;
Type = S.getASTContext().BoolTy;
ExpectedLoc = Tok;
611}

613class ResultBuilder::ShadowMapEntry::iterator {
llvm::PointerUnion<const NamedDecl *, const DeclIndexPair *> DeclOrIterator;
unsigned SingleDeclIndex;

617public:
typedef DeclIndexPair value_type;
typedef value_type reference;
typedef std::ptrdiff_t difference_type;
typedef std::input_iterator_tag iterator_category;

class pointer {
  DeclIndexPair Value;

public:
  pointer(const DeclIndexPair &Value) : Value(Value) {}

  const DeclIndexPair *operator->() const { return &Value; }
};

iterator() : DeclOrIterator((NamedDecl *)nullptr), SingleDeclIndex(0) {}

iterator(const NamedDecl *SingleDecl, unsigned Index)
    : DeclOrIterator(SingleDecl), SingleDeclIndex(Index) {}

iterator(const DeclIndexPair *Iterator)
    : DeclOrIterator(Iterator), SingleDeclIndex(0) {}

iterator &operator++() {
  if (DeclOrIterator.is<const NamedDecl *>()) {
    DeclOrIterator = (NamedDecl *)nullptr;
    SingleDeclIndex = 0;
    return *this;
  }

  const DeclIndexPair *I = DeclOrIterator.get<const DeclIndexPair *>();
  ++I;
  DeclOrIterator = I;
  return *this;
}

/*iterator operator++(int) {
  iterator tmp(*this);
  ++(*this);
  return tmp;
}*/

reference operator*() const {
  if (const NamedDecl *ND = DeclOrIterator.dyn_cast<const NamedDecl *>())
    return reference(ND, SingleDeclIndex);

  return *DeclOrIterator.get<const DeclIndexPair *>();
}

pointer operator->() const { return pointer(**this); }

friend bool operator==(const iterator &X, const iterator &Y) {
  return X.DeclOrIterator.getOpaqueValue() ==
             Y.DeclOrIterator.getOpaqueValue() &&
         X.SingleDeclIndex == Y.SingleDeclIndex;
}

friend bool operator!=(const iterator &X, const iterator &Y) {
  return !(X == Y);
}
677};

679ResultBuilder::ShadowMapEntry::iterator
680ResultBuilder::ShadowMapEntry::begin() const {
if (DeclOrVector.isNull())
  return iterator();

if (const NamedDecl *ND = DeclOrVector.dyn_cast<const NamedDecl *>())
  return iterator(ND, SingleDeclIndex);

return iterator(DeclOrVector.get<DeclIndexPairVector *>()->begin());
688}

690ResultBuilder::ShadowMapEntry::iterator
691ResultBuilder::ShadowMapEntry::end() const {
if (DeclOrVector.is<const NamedDecl *>() || DeclOrVector.isNull())
  return iterator();

return iterator(DeclOrVector.get<DeclIndexPairVector *>()->end());
696}

698/// Compute the qualification required to get from the current context
699/// (\p CurContext) to the target context (\p TargetContext).
700///
701/// \param Context the AST context in which the qualification will be used.
702///
703/// \param CurContext the context where an entity is being named, which is
704/// typically based on the current scope.
705///
706/// \param TargetContext the context in which the named entity actually
707/// resides.
708///
709/// \returns a nested name specifier that refers into the target context, or
710/// NULL if no qualification is needed.
711static NestedNameSpecifier *
712getRequiredQualification(ASTContext &Context, const DeclContext *CurContext,
                       const DeclContext *TargetContext) {
SmallVector<const DeclContext *, 4> TargetParents;

for (const DeclContext *CommonAncestor = TargetContext;
     CommonAncestor && !CommonAncestor->Encloses(CurContext);
     CommonAncestor = CommonAncestor->getLookupParent()) {
  if (CommonAncestor->isTransparentContext() ||
      CommonAncestor->isFunctionOrMethod())
    continue;

  TargetParents.push_back(CommonAncestor);
}

NestedNameSpecifier *Result = nullptr;
while (!TargetParents.empty()) {
  const DeclContext *Parent = TargetParents.pop_back_val();

  if (const auto *Namespace = dyn_cast<NamespaceDecl>(Parent)) {
    if (!Namespace->getIdentifier())
      continue;

    Result = NestedNameSpecifier::Create(Context, Result, Namespace);
  } else if (const auto *TD = dyn_cast<TagDecl>(Parent))
    Result = NestedNameSpecifier::Create(
        Context, Result, false, Context.getTypeDeclType(TD).getTypePtr());
}
return Result;
740}

742// Some declarations have reserved names that we don't want to ever show.
743// Filter out names reserved for the implementation if they come from a
744// system header.
745static bool shouldIgnoreDueToReservedName(const NamedDecl *ND, Sema &SemaRef) {
ReservedIdentifierStatus Status = ND->isReserved(SemaRef.getLangOpts());
// Ignore reserved names for compiler provided decls.
if (isReservedInAllContexts(Status) && ND->getLocation().isInvalid())
  return true;

// For system headers ignore only double-underscore names.
// This allows for system headers providing private symbols with a single
// underscore.
if (Status == ReservedIdentifierStatus::StartsWithDoubleUnderscore &&
    SemaRef.SourceMgr.isInSystemHeader(
        SemaRef.SourceMgr.getSpellingLoc(ND->getLocation())))
  return true;

return false;
760}

762bool ResultBuilder::isInterestingDecl(const NamedDecl *ND,
                                    bool &AsNestedNameSpecifier) const {
AsNestedNameSpecifier = false;

auto *Named = ND;
ND = ND->getUnderlyingDecl();

// Skip unnamed entities.
if (!ND->getDeclName())
  return false;

// Friend declarations and declarations introduced due to friends are never
// added as results.
if (ND->getFriendObjectKind() == Decl::FOK_Undeclared)
  return false;

// Class template (partial) specializations are never added as results.
if (isa<ClassTemplateSpecializationDecl>(ND) ||
    isa<ClassTemplatePartialSpecializationDecl>(ND))
  return false;

// Using declarations themselves are never added as results.
if (isa<UsingDecl>(ND))
  return false;

if (shouldIgnoreDueToReservedName(ND, SemaRef))
  return false;

if (Filter == &ResultBuilder::IsNestedNameSpecifier ||
    (isa<NamespaceDecl>(ND) && Filter != &ResultBuilder::IsNamespace &&
     Filter != &ResultBuilder::IsNamespaceOrAlias && Filter != nullptr))
  AsNestedNameSpecifier = true;

// Filter out any unwanted results.
if (Filter && !(this->*Filter)(Named)) {
  // Check whether it is interesting as a nested-name-specifier.
  if (AllowNestedNameSpecifiers && SemaRef.getLangOpts().CPlusPlus &&
      IsNestedNameSpecifier(ND) &&
      (Filter != &ResultBuilder::IsMember ||
       (isa<CXXRecordDecl>(ND) &&
        cast<CXXRecordDecl>(ND)->isInjectedClassName()))) {
    AsNestedNameSpecifier = true;
    return true;
  }

  return false;
}
// ... then it must be interesting!
return true;
811}

813bool ResultBuilder::CheckHiddenResult(Result &R, DeclContext *CurContext,
                                    const NamedDecl *Hiding) {
// In C, there is no way to refer to a hidden name.
// FIXME: This isn't true; we can find a tag name hidden by an ordinary
// name if we introduce the tag type.
if (!SemaRef.getLangOpts().CPlusPlus)
  return true;

const DeclContext *HiddenCtx =
    R.Declaration->getDeclContext()->getRedeclContext();

// There is no way to qualify a name declared in a function or method.
if (HiddenCtx->isFunctionOrMethod())
  return true;

if (HiddenCtx == Hiding->getDeclContext()->getRedeclContext())
  return true;

// We can refer to the result with the appropriate qualification. Do it.
R.Hidden = true;
R.QualifierIsInformative = false;

if (!R.Qualifier)
  R.Qualifier = getRequiredQualification(SemaRef.Context, CurContext,
                                         R.Declaration->getDeclContext());
return false;
839}

841/// A simplified classification of types used to determine whether two
842/// types are "similar enough" when adjusting priorities.
843SimplifiedTypeClass clang::getSimplifiedTypeClass(CanQualType T) {
switch (T->getTypeClass()) {
case Type::Builtin:
  switch (cast<BuiltinType>(T)->getKind()) {
  case BuiltinType::Void:
    return STC_Void;

  case BuiltinType::NullPtr:
    return STC_Pointer;

  case BuiltinType::Overload:
  case BuiltinType::Dependent:
    return STC_Other;

  case BuiltinType::ObjCId:
  case BuiltinType::ObjCClass:
  case BuiltinType::ObjCSel:
    return STC_ObjectiveC;

  default:
    return STC_Arithmetic;
  }

case Type::Complex:
  return STC_Arithmetic;

case Type::Pointer:
  return STC_Pointer;

case Type::BlockPointer:
  return STC_Block;

case Type::LValueReference:
case Type::RValueReference:
  return getSimplifiedTypeClass(T->getAs<ReferenceType>()->getPointeeType());

case Type::ConstantArray:
case Type::IncompleteArray:
case Type::VariableArray:
case Type::DependentSizedArray:
  return STC_Array;

case Type::DependentSizedExtVector:
case Type::Vector:
case Type::ExtVector:
  return STC_Arithmetic;

case Type::FunctionProto:
case Type::FunctionNoProto:
  return STC_Function;

case Type::Record:
  return STC_Record;

case Type::Enum:
  return STC_Arithmetic;

case Type::ObjCObject:
case Type::ObjCInterface:
case Type::ObjCObjectPointer:
  return STC_ObjectiveC;

default:
  return STC_Other;
}
908}

910/// Get the type that a given expression will have if this declaration
911/// is used as an expression in its "typical" code-completion form.
912QualType clang::getDeclUsageType(ASTContext &C, const NamedDecl *ND) {
ND = ND->getUnderlyingDecl();

if (const auto *Type = dyn_cast<TypeDecl>(ND))
  return C.getTypeDeclType(Type);
if (const auto *Iface = dyn_cast<ObjCInterfaceDecl>(ND))
  return C.getObjCInterfaceType(Iface);

QualType T;
if (const FunctionDecl *Function = ND->getAsFunction())
  T = Function->getCallResultType();
else if (const auto *Method = dyn_cast<ObjCMethodDecl>(ND))
  T = Method->getSendResultType();
else if (const auto *Enumerator = dyn_cast<EnumConstantDecl>(ND))
  T = C.getTypeDeclType(cast<EnumDecl>(Enumerator->getDeclContext()));
else if (const auto *Property = dyn_cast<ObjCPropertyDecl>(ND))
  T = Property->getType();
else if (const auto *Value = dyn_cast<ValueDecl>(ND))
  T = Value->getType();

if (T.isNull())
  return QualType();

// Dig through references, function pointers, and block pointers to
// get down to the likely type of an expression when the entity is
// used.
do {
  if (const auto *Ref = T->getAs<ReferenceType>()) {
    T = Ref->getPointeeType();
    continue;
  }

  if (const auto *Pointer = T->getAs<PointerType>()) {
    if (Pointer->getPointeeType()->isFunctionType()) {
      T = Pointer->getPointeeType();
      continue;
    }

    break;
  }

  if (const auto *Block = T->getAs<BlockPointerType>()) {
    T = Block->getPointeeType();
    continue;
  }

  if (const auto *Function = T->getAs<FunctionType>()) {
    T = Function->getReturnType();
    continue;
  }

  break;
} while (true);

return T;
967}

969unsigned ResultBuilder::getBasePriority(const NamedDecl *ND) {
if (!ND)
  return CCP_Unlikely;

// Context-based decisions.
const DeclContext *LexicalDC = ND->getLexicalDeclContext();
if (LexicalDC->isFunctionOrMethod()) {
  // _cmd is relatively rare
  if (const auto *ImplicitParam = dyn_cast<ImplicitParamDecl>(ND))
    if (ImplicitParam->getIdentifier() &&
        ImplicitParam->getIdentifier()->isStr("_cmd"))
      return CCP_ObjC_cmd;

  return CCP_LocalDeclaration;
}

const DeclContext *DC = ND->getDeclContext()->getRedeclContext();
if (DC->isRecord() || isa<ObjCContainerDecl>(DC)) {
  // Explicit destructor calls are very rare.
  if (isa<CXXDestructorDecl>(ND))
    return CCP_Unlikely;
  // Explicit operator and conversion function calls are also very rare.
  auto DeclNameKind = ND->getDeclName().getNameKind();
  if (DeclNameKind == DeclarationName::CXXOperatorName ||
      DeclNameKind == DeclarationName::CXXLiteralOperatorName ||
      DeclNameKind == DeclarationName::CXXConversionFunctionName)
    return CCP_Unlikely;
  return CCP_MemberDeclaration;
}

// Content-based decisions.
if (isa<EnumConstantDecl>(ND))
  return CCP_Constant;

// Use CCP_Type for type declarations unless we're in a statement, Objective-C
// message receiver, or parenthesized expression context. There, it's as
// likely that the user will want to write a type as other declarations.
if ((isa<TypeDecl>(ND) || isa<ObjCInterfaceDecl>(ND)) &&
    !(CompletionContext.getKind() == CodeCompletionContext::CCC_Statement ||
      CompletionContext.getKind() ==
          CodeCompletionContext::CCC_ObjCMessageReceiver ||
      CompletionContext.getKind() ==
          CodeCompletionContext::CCC_ParenthesizedExpression))
  return CCP_Type;

return CCP_Declaration;
1015}

1017void ResultBuilder::AdjustResultPriorityForDecl(Result &R) {
// If this is an Objective-C method declaration whose selector matches our
// preferred selector, give it a priority boost.
if (!PreferredSelector.isNull())
  if (const auto *Method = dyn_cast<ObjCMethodDecl>(R.Declaration))
    if (PreferredSelector == Method->getSelector())
      R.Priority += CCD_SelectorMatch;

// If we have a preferred type, adjust the priority for results with exactly-
// matching or nearly-matching types.
if (!PreferredType.isNull()) {
  QualType T = getDeclUsageType(SemaRef.Context, R.Declaration);
  if (!T.isNull()) {
    CanQualType TC = SemaRef.Context.getCanonicalType(T);
    // Check for exactly-matching types (modulo qualifiers).
    if (SemaRef.Context.hasSameUnqualifiedType(PreferredType, TC))
      R.Priority /= CCF_ExactTypeMatch;
    // Check for nearly-matching types, based on classification of each.
    else if ((getSimplifiedTypeClass(PreferredType) ==
              getSimplifiedTypeClass(TC)) &&
             !(PreferredType->isEnumeralType() && TC->isEnumeralType()))
      R.Priority /= CCF_SimilarTypeMatch;
  }
}
1041}

1043static DeclContext::lookup_result getConstructors(ASTContext &Context,
                                                const CXXRecordDecl *Record) {
QualType RecordTy = Context.getTypeDeclType(Record);
DeclarationName ConstructorName =
    Context.DeclarationNames.getCXXConstructorName(
        Context.getCanonicalType(RecordTy));
return Record->lookup(ConstructorName);
1050}

1052void ResultBuilder::MaybeAddConstructorResults(Result R) {
if (!SemaRef.getLangOpts().CPlusPlus || !R.Declaration ||
    !CompletionContext.wantConstructorResults())
  return;

const NamedDecl *D = R.Declaration;
const CXXRecordDecl *Record = nullptr;
if (const ClassTemplateDecl *ClassTemplate = dyn_cast<ClassTemplateDecl>(D))
  Record = ClassTemplate->getTemplatedDecl();
else if ((Record = dyn_cast<CXXRecordDecl>(D))) {
  // Skip specializations and partial specializations.
  if (isa<ClassTemplateSpecializationDecl>(Record))
    return;
} else {
  // There are no constructors here.
  return;
}

Record = Record->getDefinition();
if (!Record)
  return;

for (NamedDecl *Ctor : getConstructors(SemaRef.Context, Record)) {
  R.Declaration = Ctor;
  R.CursorKind = getCursorKindForDecl(R.Declaration);
  Results.push_back(R);
}
1079}

1081static bool isConstructor(const Decl *ND) {
if (const auto *Tmpl = dyn_cast<FunctionTemplateDecl>(ND))
  ND = Tmpl->getTemplatedDecl();
return isa<CXXConstructorDecl>(ND);
1085}

1087void ResultBuilder::MaybeAddResult(Result R, DeclContext *CurContext) {
assert(!ShadowMaps.empty() && "Must enter into a results scope")(static_cast <bool> (!ShadowMaps.empty() && "Must enter into a results scope"
) ? void (0) : __assert_fail ("!ShadowMaps.empty() && \"Must enter into a results scope\""
, "clang/lib/Sema/SemaCodeComplete.cpp", 1088, __extension__ __PRETTY_FUNCTION__
));

if (R.Kind != Result::RK_Declaration) {
  // For non-declaration results, just add the result.
  Results.push_back(R);
  return;
}

// Look through using declarations.
if (const UsingShadowDecl *Using = dyn_cast<UsingShadowDecl>(R.Declaration)) {
  CodeCompletionResult Result(Using->getTargetDecl(),
                              getBasePriority(Using->getTargetDecl()),
                              R.Qualifier, false,
                              (R.Availability == CXAvailability_Available ||
                               R.Availability == CXAvailability_Deprecated),
                              std::move(R.FixIts));
  Result.ShadowDecl = Using;
  MaybeAddResult(Result, CurContext);
  return;
}

const Decl *CanonDecl = R.Declaration->getCanonicalDecl();
unsigned IDNS = CanonDecl->getIdentifierNamespace();

bool AsNestedNameSpecifier = false;
if (!isInterestingDecl(R.Declaration, AsNestedNameSpecifier))
  return;

// C++ constructors are never found by name lookup.
if (isConstructor(R.Declaration))
  return;

ShadowMap &SMap = ShadowMaps.back();
ShadowMapEntry::iterator I, IEnd;
ShadowMap::iterator NamePos = SMap.find(R.Declaration->getDeclName());
if (NamePos != SMap.end()) {
  I = NamePos->second.begin();
  IEnd = NamePos->second.end();
}

for (; I != IEnd; ++I) {
  const NamedDecl *ND = I->first;
  unsigned Index = I->second;
  if (ND->getCanonicalDecl() == CanonDecl) {
    // This is a redeclaration. Always pick the newer declaration.
    Results[Index].Declaration = R.Declaration;

    // We're done.
    return;
  }
}

// This is a new declaration in this scope. However, check whether this
// declaration name is hidden by a similarly-named declaration in an outer
// scope.
std::list<ShadowMap>::iterator SM, SMEnd = ShadowMaps.end();
--SMEnd;
for (SM = ShadowMaps.begin(); SM != SMEnd; ++SM) {
  ShadowMapEntry::iterator I, IEnd;
  ShadowMap::iterator NamePos = SM->find(R.Declaration->getDeclName());
  if (NamePos != SM->end()) {
    I = NamePos->second.begin();
    IEnd = NamePos->second.end();
  }
  for (; I != IEnd; ++I) {
    // A tag declaration does not hide a non-tag declaration.
    if (I->first->hasTagIdentifierNamespace() &&
        (IDNS & (Decl::IDNS_Member | Decl::IDNS_Ordinary |
                 Decl::IDNS_LocalExtern | Decl::IDNS_ObjCProtocol)))
      continue;

    // Protocols are in distinct namespaces from everything else.
    if (((I->first->getIdentifierNamespace() & Decl::IDNS_ObjCProtocol) ||
         (IDNS & Decl::IDNS_ObjCProtocol)) &&
        I->first->getIdentifierNamespace() != IDNS)
      continue;

    // The newly-added result is hidden by an entry in the shadow map.
    if (CheckHiddenResult(R, CurContext, I->first))
      return;

    break;
  }
}

// Make sure that any given declaration only shows up in the result set once.
if (!AllDeclsFound.insert(CanonDecl).second)
  return;

// If the filter is for nested-name-specifiers, then this result starts a
// nested-name-specifier.
if (AsNestedNameSpecifier) {
  R.StartsNestedNameSpecifier = true;
  R.Priority = CCP_NestedNameSpecifier;
} else
  AdjustResultPriorityForDecl(R);

// If this result is supposed to have an informative qualifier, add one.
if (R.QualifierIsInformative && !R.Qualifier &&
    !R.StartsNestedNameSpecifier) {
  const DeclContext *Ctx = R.Declaration->getDeclContext();
  if (const NamespaceDecl *Namespace = dyn_cast<NamespaceDecl>(Ctx))
    R.Qualifier =
        NestedNameSpecifier::Create(SemaRef.Context, nullptr, Namespace);
  else if (const TagDecl *Tag = dyn_cast<TagDecl>(Ctx))
    R.Qualifier = NestedNameSpecifier::Create(
        SemaRef.Context, nullptr, false,
        SemaRef.Context.getTypeDeclType(Tag).getTypePtr());
  else
    R.QualifierIsInformative = false;
}

// Insert this result into the set of results and into the current shadow
// map.
SMap[R.Declaration->getDeclName()].Add(R.Declaration, Results.size());
Results.push_back(R);

if (!AsNestedNameSpecifier)
  MaybeAddConstructorResults(R);
1207}

1209static void setInBaseClass(ResultBuilder::Result &R) {
R.Priority += CCD_InBaseClass;
R.InBaseClass = true;
1212}

1214enum class OverloadCompare { BothViable, Dominates, Dominated };
1215// Will Candidate ever be called on the object, when overloaded with Incumbent?
1216// Returns Dominates if Candidate is always called, Dominated if Incumbent is
1217// always called, BothViable if either may be called depending on arguments.
1218// Precondition: must actually be overloads!
1219static OverloadCompare compareOverloads(const CXXMethodDecl &Candidate,
                                      const CXXMethodDecl &Incumbent,
                                      const Qualifiers &ObjectQuals,
                                      ExprValueKind ObjectKind) {
// Base/derived shadowing is handled elsewhere.
if (Candidate.getDeclContext() != Incumbent.getDeclContext())
  return OverloadCompare::BothViable;
if (Candidate.isVariadic() != Incumbent.isVariadic() ||
    Candidate.getNumParams() != Incumbent.getNumParams() ||
    Candidate.getMinRequiredArguments() !=
        Incumbent.getMinRequiredArguments())
  return OverloadCompare::BothViable;
for (unsigned I = 0, E = Candidate.getNumParams(); I != E; ++I)
  if (Candidate.parameters()[I]->getType().getCanonicalType() !=
      Incumbent.parameters()[I]->getType().getCanonicalType())
    return OverloadCompare::BothViable;
if (!Candidate.specific_attrs<EnableIfAttr>().empty() ||
    !Incumbent.specific_attrs<EnableIfAttr>().empty())
  return OverloadCompare::BothViable;
// At this point, we know calls can't pick one or the other based on
// arguments, so one of the two must win. (Or both fail, handled elsewhere).
RefQualifierKind CandidateRef = Candidate.getRefQualifier();
RefQualifierKind IncumbentRef = Incumbent.getRefQualifier();
if (CandidateRef != IncumbentRef) {
  // If the object kind is LValue/RValue, there's one acceptable ref-qualifier
  // and it can't be mixed with ref-unqualified overloads (in valid code).

  // For xvalue objects, we prefer the rvalue overload even if we have to
  // add qualifiers (which is rare, because const&& is rare).
  if (ObjectKind == clang::VK_XValue)
    return CandidateRef == RQ_RValue ? OverloadCompare::Dominates
                                     : OverloadCompare::Dominated;
}
// Now the ref qualifiers are the same (or we're in some invalid state).
// So make some decision based on the qualifiers.
Qualifiers CandidateQual = Candidate.getMethodQualifiers();
Qualifiers IncumbentQual = Incumbent.getMethodQualifiers();
bool CandidateSuperset = CandidateQual.compatiblyIncludes(IncumbentQual);
bool IncumbentSuperset = IncumbentQual.compatiblyIncludes(CandidateQual);
if (CandidateSuperset == IncumbentSuperset)
  return OverloadCompare::BothViable;
return IncumbentSuperset ? OverloadCompare::Dominates
                         : OverloadCompare::Dominated;
1262}

1264void ResultBuilder::AddResult(Result R, DeclContext *CurContext,
                            NamedDecl *Hiding, bool InBaseClass = false) {
if (R.Kind != Result::RK_Declaration) {
  // For non-declaration results, just add the result.
  Results.push_back(R);
  return;
}

// Look through using declarations.
if (const auto *Using = dyn_cast<UsingShadowDecl>(R.Declaration)) {
  CodeCompletionResult Result(Using->getTargetDecl(),
                              getBasePriority(Using->getTargetDecl()),
                              R.Qualifier, false,
                              (R.Availability == CXAvailability_Available ||
                               R.Availability == CXAvailability_Deprecated),
                              std::move(R.FixIts));
  Result.ShadowDecl = Using;
  AddResult(Result, CurContext, Hiding);
  return;
}

bool AsNestedNameSpecifier = false;
if (!isInterestingDecl(R.Declaration, AsNestedNameSpecifier))
  return;

// C++ constructors are never found by name lookup.
if (isConstructor(R.Declaration))
  return;

if (Hiding && CheckHiddenResult(R, CurContext, Hiding))
  return;

// Make sure that any given declaration only shows up in the result set once.
if (!AllDeclsFound.insert(R.Declaration->getCanonicalDecl()).second)
  return;

// If the filter is for nested-name-specifiers, then this result starts a
// nested-name-specifier.
if (AsNestedNameSpecifier) {
  R.StartsNestedNameSpecifier = true;
  R.Priority = CCP_NestedNameSpecifier;
} else if (Filter == &ResultBuilder::IsMember && !R.Qualifier &&
           InBaseClass &&
           isa<CXXRecordDecl>(
               R.Declaration->getDeclContext()->getRedeclContext()))
  R.QualifierIsInformative = true;

// If this result is supposed to have an informative qualifier, add one.
if (R.QualifierIsInformative && !R.Qualifier &&
    !R.StartsNestedNameSpecifier) {
  const DeclContext *Ctx = R.Declaration->getDeclContext();
  if (const auto *Namespace = dyn_cast<NamespaceDecl>(Ctx))
    R.Qualifier =
        NestedNameSpecifier::Create(SemaRef.Context, nullptr, Namespace);
  else if (const auto *Tag = dyn_cast<TagDecl>(Ctx))
    R.Qualifier = NestedNameSpecifier::Create(
        SemaRef.Context, nullptr, false,
        SemaRef.Context.getTypeDeclType(Tag).getTypePtr());
  else
    R.QualifierIsInformative = false;
}

// Adjust the priority if this result comes from a base class.
if (InBaseClass)
  setInBaseClass(R);

AdjustResultPriorityForDecl(R);

if (HasObjectTypeQualifiers)
  if (const auto *Method = dyn_cast<CXXMethodDecl>(R.Declaration))
    if (Method->isInstance()) {
      Qualifiers MethodQuals = Method->getMethodQualifiers();
      if (ObjectTypeQualifiers == MethodQuals)
        R.Priority += CCD_ObjectQualifierMatch;
      else if (ObjectTypeQualifiers - MethodQuals) {
        // The method cannot be invoked, because doing so would drop
        // qualifiers.
        return;
      }
      // Detect cases where a ref-qualified method cannot be invoked.
      switch (Method->getRefQualifier()) {
        case RQ_LValue:
          if (ObjectKind != VK_LValue && !MethodQuals.hasConst())
            return;
          break;
        case RQ_RValue:
          if (ObjectKind == VK_LValue)
            return;
          break;
        case RQ_None:
          break;
      }

      /// Check whether this dominates another overloaded method, which should
      /// be suppressed (or vice versa).
      /// Motivating case is const_iterator begin() const vs iterator begin().
      auto &OverloadSet = OverloadMap[std::make_pair(
          CurContext, Method->getDeclName().getAsOpaqueInteger())];
      for (const DeclIndexPair Entry : OverloadSet) {
        Result &Incumbent = Results[Entry.second];
        switch (compareOverloads(*Method,
                                 *cast<CXXMethodDecl>(Incumbent.Declaration),
                                 ObjectTypeQualifiers, ObjectKind)) {
        case OverloadCompare::Dominates:
          // Replace the dominated overload with this one.
          // FIXME: if the overload dominates multiple incumbents then we
          // should remove all. But two overloads is by far the common case.
          Incumbent = std::move(R);
          return;
        case OverloadCompare::Dominated:
          // This overload can't be called, drop it.
          return;
        case OverloadCompare::BothViable:
          break;
        }
      }
      OverloadSet.Add(Method, Results.size());
    }

// When completing a non-static member function (and not via
// dot/arrow member access) and we're not inside that class' scope,
// it can't be a call.
if (CompletionContext.getKind() == clang::CodeCompletionContext::CCC_Symbol) {
  const auto *Method = dyn_cast<CXXMethodDecl>(R.getDeclaration());
  if (Method && !Method->isStatic()) {
    // Find the class scope that we're currently in.
    // We could e.g. be inside a lambda, so walk up the DeclContext until we
    // find a CXXMethodDecl.
    const auto *CurrentClassScope = [&]() -> const CXXRecordDecl * {
      for (DeclContext *Ctx = SemaRef.CurContext; Ctx;
           Ctx = Ctx->getParent()) {
        const auto *CtxMethod = llvm::dyn_cast<CXXMethodDecl>(Ctx);
        if (CtxMethod && !CtxMethod->getParent()->isLambda()) {
          return CtxMethod->getParent();
        }
      }
      return nullptr;
    }();

    R.FunctionCanBeCall =
        CurrentClassScope &&
        (CurrentClassScope == Method->getParent() ||
         CurrentClassScope->isDerivedFrom(Method->getParent()));
  }
}

// Insert this result into the set of results.
Results.push_back(R);

if (!AsNestedNameSpecifier)
  MaybeAddConstructorResults(R);
1415}

1417void ResultBuilder::AddResult(Result R) {
assert(R.Kind != Result::RK_Declaration &&(static_cast <bool> (R.Kind != Result::RK_Declaration &&
 "Declaration results need more context") ? void (0) : __assert_fail
 ("R.Kind != Result::RK_Declaration && \"Declaration results need more context\""
, "clang/lib/Sema/SemaCodeComplete.cpp", 1419, __extension__ __PRETTY_FUNCTION__
))
       "Declaration results need more context")(static_cast <bool> (R.Kind != Result::RK_Declaration &&
 "Declaration results need more context") ? void (0) : __assert_fail
 ("R.Kind != Result::RK_Declaration && \"Declaration results need more context\""
, "clang/lib/Sema/SemaCodeComplete.cpp", 1419, __extension__ __PRETTY_FUNCTION__
));
Results.push_back(R);
1421}

1423/// Enter into a new scope.
1424void ResultBuilder::EnterNewScope() { ShadowMaps.emplace_back(); }

1426/// Exit from the current scope.
1427void ResultBuilder::ExitScope() {
ShadowMaps.pop_back();
1429}

1431/// Determines whether this given declaration will be found by
1432/// ordinary name lookup.
1433bool ResultBuilder::IsOrdinaryName(const NamedDecl *ND) const {
ND = ND->getUnderlyingDecl();

// If name lookup finds a local extern declaration, then we are in a
// context where it behaves like an ordinary name.
unsigned IDNS = Decl::IDNS_Ordinary | Decl::IDNS_LocalExtern;
if (SemaRef.getLangOpts().CPlusPlus)
  IDNS |= Decl::IDNS_Tag | Decl::IDNS_Namespace | Decl::IDNS_Member;
else if (SemaRef.getLangOpts().ObjC) {
  if (isa<ObjCIvarDecl>(ND))
    return true;
}

return ND->getIdentifierNamespace() & IDNS;
1447}

1449/// Determines whether this given declaration will be found by
1450/// ordinary name lookup but is not a type name.
1451bool ResultBuilder::IsOrdinaryNonTypeName(const NamedDecl *ND) const {
ND = ND->getUnderlyingDecl();
if (isa<TypeDecl>(ND))
  return false;
// Objective-C interfaces names are not filtered by this method because they
// can be used in a class property expression. We can still filter out
// @class declarations though.
if (const auto *ID = dyn_cast<ObjCInterfaceDecl>(ND)) {
  if (!ID->getDefinition())
    return false;
}

unsigned IDNS = Decl::IDNS_Ordinary | Decl::IDNS_LocalExtern;
if (SemaRef.getLangOpts().CPlusPlus)
  IDNS |= Decl::IDNS_Tag | Decl::IDNS_Namespace | Decl::IDNS_Member;
else if (SemaRef.getLangOpts().ObjC) {
  if (isa<ObjCIvarDecl>(ND))
    return true;
}

return ND->getIdentifierNamespace() & IDNS;
1472}

1474bool ResultBuilder::IsIntegralConstantValue(const NamedDecl *ND) const {
if (!IsOrdinaryNonTypeName(ND))
  return false;

if (const auto *VD = dyn_cast<ValueDecl>(ND->getUnderlyingDecl()))
  if (VD->getType()->isIntegralOrEnumerationType())
    return true;

return false;
1483}

1485/// Determines whether this given declaration will be found by
1486/// ordinary name lookup.
1487bool ResultBuilder::IsOrdinaryNonValueName(const NamedDecl *ND) const {
ND = ND->getUnderlyingDecl();

unsigned IDNS = Decl::IDNS_Ordinary | Decl::IDNS_LocalExtern;
if (SemaRef.getLangOpts().CPlusPlus)
  IDNS |= Decl::IDNS_Tag | Decl::IDNS_Namespace;

return (ND->getIdentifierNamespace() & IDNS) && !isa<ValueDecl>(ND) &&
       !isa<FunctionTemplateDecl>(ND) && !isa<ObjCPropertyDecl>(ND);
1496}

1498/// Determines whether the given declaration is suitable as the
1499/// start of a C++ nested-name-specifier, e.g., a class or namespace.
1500bool ResultBuilder::IsNestedNameSpecifier(const NamedDecl *ND) const {
// Allow us to find class templates, too.
if (const auto *ClassTemplate = dyn_cast<ClassTemplateDecl>(ND))
  ND = ClassTemplate->getTemplatedDecl();

return SemaRef.isAcceptableNestedNameSpecifier(ND);
1506}

1508/// Determines whether the given declaration is an enumeration.
1509bool ResultBuilder::IsEnum(const NamedDecl *ND) const {
return isa<EnumDecl>(ND);
1511}

1513/// Determines whether the given declaration is a class or struct.
1514bool ResultBuilder::IsClassOrStruct(const NamedDecl *ND) const {
// Allow us to find class templates, too.
if (const auto *ClassTemplate = dyn_cast<ClassTemplateDecl>(ND))
  ND = ClassTemplate->getTemplatedDecl();

// For purposes of this check, interfaces match too.
if (const auto *RD = dyn_cast<RecordDecl>(ND))
  return RD->getTagKind() == TTK_Class || RD->getTagKind() == TTK_Struct ||
         RD->getTagKind() == TTK_Interface;

return false;
1525}

1527/// Determines whether the given declaration is a union.
1528bool ResultBuilder::IsUnion(const NamedDecl *ND) const {
// Allow us to find class templates, too.
if (const auto *ClassTemplate = dyn_cast<ClassTemplateDecl>(ND))
  ND = ClassTemplate->getTemplatedDecl();

if (const auto *RD = dyn_cast<RecordDecl>(ND))
  return RD->getTagKind() == TTK_Union;

return false;
1537}

1539/// Determines whether the given declaration is a namespace.
1540bool ResultBuilder::IsNamespace(const NamedDecl *ND) const {
return isa<NamespaceDecl>(ND);
1542}

1544/// Determines whether the given declaration is a namespace or
1545/// namespace alias.
1546bool ResultBuilder::IsNamespaceOrAlias(const NamedDecl *ND) const {
return isa<NamespaceDecl>(ND->getUnderlyingDecl());
1548}

1550/// Determines whether the given declaration is a type.
1551bool ResultBuilder::IsType(const NamedDecl *ND) const {
ND = ND->getUnderlyingDecl();
return isa<TypeDecl>(ND) || isa<ObjCInterfaceDecl>(ND);
1554}

1556/// Determines which members of a class should be visible via
1557/// "." or "->".  Only value declarations, nested name specifiers, and
1558/// using declarations thereof should show up.
1559bool ResultBuilder::IsMember(const NamedDecl *ND) const {
ND = ND->getUnderlyingDecl();
return isa<ValueDecl>(ND) || isa<FunctionTemplateDecl>(ND) ||
       isa<ObjCPropertyDecl>(ND);
1563}

1565static bool isObjCReceiverType(ASTContext &C, QualType T) {
T = C.getCanonicalType(T);
switch (T->getTypeClass()) {
case Type::ObjCObject:
case Type::ObjCInterface:
case Type::ObjCObjectPointer:
  return true;

case Type::Builtin:
  switch (cast<BuiltinType>(T)->getKind()) {
  case BuiltinType::ObjCId:
  case BuiltinType::ObjCClass:
  case BuiltinType::ObjCSel:
    return true;

  default:
    break;
  }
  return false;

default:
  break;
}

if (!C.getLangOpts().CPlusPlus)
  return false;

// FIXME: We could perform more analysis here to determine whether a
// particular class type has any conversions to Objective-C types. For now,
// just accept all class types.
return T->isDependentType() || T->isRecordType();
1596}

1598bool ResultBuilder::IsObjCMessageReceiver(const NamedDecl *ND) const {
QualType T = getDeclUsageType(SemaRef.Context, ND);
if (T.isNull())
  return false;

T = SemaRef.Context.getBaseElementType(T);
return isObjCReceiverType(SemaRef.Context, T);
1605}

1607bool ResultBuilder::IsObjCMessageReceiverOrLambdaCapture(
  const NamedDecl *ND) const {
if (IsObjCMessageReceiver(ND))
  return true;

const auto *Var = dyn_cast<VarDecl>(ND);
if (!Var)
  return false;

return Var->hasLocalStorage() && !Var->hasAttr<BlocksAttr>();
1617}

1619bool ResultBuilder::IsObjCCollection(const NamedDecl *ND) const {
if ((SemaRef.getLangOpts().CPlusPlus && !IsOrdinaryName(ND)) ||
    (!SemaRef.getLangOpts().CPlusPlus && !IsOrdinaryNonTypeName(ND)))
  return false;

QualType T = getDeclUsageType(SemaRef.Context, ND);
if (T.isNull())
  return false;

T = SemaRef.Context.getBaseElementType(T);
return T->isObjCObjectType() || T->isObjCObjectPointerType() ||
       T->isObjCIdType() ||
       (SemaRef.getLangOpts().CPlusPlus && T->isRecordType());
1632}

1634bool ResultBuilder::IsImpossibleToSatisfy(const NamedDecl *ND) const {
return false;
1636}

1638/// Determines whether the given declaration is an Objective-C
1639/// instance variable.
1640bool ResultBuilder::IsObjCIvar(const NamedDecl *ND) const {
return isa<ObjCIvarDecl>(ND);
1642}

1644namespace {

1646/// Visible declaration consumer that adds a code-completion result
1647/// for each visible declaration.
1648class CodeCompletionDeclConsumer : public VisibleDeclConsumer {
ResultBuilder &Results;
DeclContext *InitialLookupCtx;
// NamingClass and BaseType are used for access-checking. See
// Sema::IsSimplyAccessible for details.
CXXRecordDecl *NamingClass;
QualType BaseType;
std::vector<FixItHint> FixIts;

1657public:
CodeCompletionDeclConsumer(
    ResultBuilder &Results, DeclContext *InitialLookupCtx,
    QualType BaseType = QualType(),
    std::vector<FixItHint> FixIts = std::vector<FixItHint>())
    : Results(Results), InitialLookupCtx(InitialLookupCtx),
      FixIts(std::move(FixIts)) {
  NamingClass = llvm::dyn_cast<CXXRecordDecl>(InitialLookupCtx);
  // If BaseType was not provided explicitly, emulate implicit 'this->'.
  if (BaseType.isNull()) {
    auto ThisType = Results.getSema().getCurrentThisType();
    if (!ThisType.isNull()) {
      assert(ThisType->isPointerType())(static_cast <bool> (ThisType->isPointerType()) ? void
 (0) : __assert_fail ("ThisType->isPointerType()", "clang/lib/Sema/SemaCodeComplete.cpp"
, 1669, __extension__ __PRETTY_FUNCTION__));
      BaseType = ThisType->getPointeeType();
      if (!NamingClass)
        NamingClass = BaseType->getAsCXXRecordDecl();
    }
  }
  this->BaseType = BaseType;
}

void FoundDecl(NamedDecl *ND, NamedDecl *Hiding, DeclContext *Ctx,
               bool InBaseClass) override {
  ResultBuilder::Result Result(ND, Results.getBasePriority(ND), nullptr,
                               false, IsAccessible(ND, Ctx), FixIts);
  Results.AddResult(Result, InitialLookupCtx, Hiding, InBaseClass);
}

void EnteredContext(DeclContext *Ctx) override {
  Results.addVisitedContext(Ctx);
}

1689private:
bool IsAccessible(NamedDecl *ND, DeclContext *Ctx) {
  // Naming class to use for access check. In most cases it was provided
  // explicitly (e.g. member access (lhs.foo) or qualified lookup (X::)),
  // for unqualified lookup we fallback to the \p Ctx in which we found the
  // member.
  auto *NamingClass = this->NamingClass;
  QualType BaseType = this->BaseType;
  if (auto *Cls = llvm::dyn_cast_or_null<CXXRecordDecl>(Ctx)) {
    if (!NamingClass)
      NamingClass = Cls;
    // When we emulate implicit 'this->' in an unqualified lookup, we might
    // end up with an invalid naming class. In that case, we avoid emulating
    // 'this->' qualifier to satisfy preconditions of the access checking.
    if (NamingClass->getCanonicalDecl() != Cls->getCanonicalDecl() &&
        !NamingClass->isDerivedFrom(Cls)) {
      NamingClass = Cls;
      BaseType = QualType();
    }
  } else {
    // The decl was found outside the C++ class, so only ObjC access checks
    // apply. Those do not rely on NamingClass and BaseType, so we clear them
    // out.
    NamingClass = nullptr;
    BaseType = QualType();
  }
  return Results.getSema().IsSimplyAccessible(ND, NamingClass, BaseType);
}
1717};
1718} // namespace

1720/// Add type specifiers for the current language as keyword results.
1721static void AddTypeSpecifierResults(const LangOptions &LangOpts,
                                  ResultBuilder &Results) {
typedef CodeCompletionResult Result;
Results.AddResult(Result("short", CCP_Type));
Results.AddResult(Result("long", CCP_Type));
Results.AddResult(Result("signed", CCP_Type));
Results.AddResult(Result("unsigned", CCP_Type));
Results.AddResult(Result("void", CCP_Type));
Results.AddResult(Result("char", CCP_Type));
Results.AddResult(Result("int", CCP_Type));
Results.AddResult(Result("float", CCP_Type));
Results.AddResult(Result("double", CCP_Type));
Results.AddResult(Result("enum", CCP_Type));
Results.AddResult(Result("struct", CCP_Type));
Results.AddResult(Result("union", CCP_Type));
Results.AddResult(Result("const", CCP_Type));
Results.AddResult(Result("volatile", CCP_Type));

if (LangOpts.C99) {
  // C99-specific
  Results.AddResult(Result("_Complex", CCP_Type));
  Results.AddResult(Result("_Imaginary", CCP_Type));
  Results.AddResult(Result("_Bool", CCP_Type));
  Results.AddResult(Result("restrict", CCP_Type));
}

CodeCompletionBuilder Builder(Results.getAllocator(),
                              Results.getCodeCompletionTUInfo());
if (LangOpts.CPlusPlus) {
  // C++-specific
  Results.AddResult(
      Result("bool", CCP_Type + (LangOpts.ObjC ? CCD_bool_in_ObjC : 0)));
  Results.AddResult(Result("class", CCP_Type));
  Results.AddResult(Result("wchar_t", CCP_Type));

  // typename name
  Builder.AddTypedTextChunk("typename");
  Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
  Builder.AddPlaceholderChunk("name");
  Results.AddResult(Result(Builder.TakeString()));

  if (LangOpts.CPlusPlus11) {
    Results.AddResult(Result("auto", CCP_Type));
    Results.AddResult(Result("char16_t", CCP_Type));
    Results.AddResult(Result("char32_t", CCP_Type));

    Builder.AddTypedTextChunk("decltype");
    Builder.AddChunk(CodeCompletionString::CK_LeftParen);
    Builder.AddPlaceholderChunk("expression");
    Builder.AddChunk(CodeCompletionString::CK_RightParen);
    Results.AddResult(Result(Builder.TakeString()));
  }
} else
  Results.AddResult(Result("__auto_type", CCP_Type));

// GNU keywords
if (LangOpts.GNUKeywords) {
  // FIXME: Enable when we actually support decimal floating point.
  //    Results.AddResult(Result("_Decimal32"));
  //    Results.AddResult(Result("_Decimal64"));
  //    Results.AddResult(Result("_Decimal128"));

  Builder.AddTypedTextChunk("typeof");
  Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
  Builder.AddPlaceholderChunk("expression");
  Results.AddResult(Result(Builder.TakeString()));

  Builder.AddTypedTextChunk("typeof");
  Builder.AddChunk(CodeCompletionString::CK_LeftParen);
  Builder.AddPlaceholderChunk("type");
  Builder.AddChunk(CodeCompletionString::CK_RightParen);
  Results.AddResult(Result(Builder.TakeString()));
}

// Nullability
Results.AddResult(Result("_Nonnull", CCP_Type));
Results.AddResult(Result("_Null_unspecified", CCP_Type));
Results.AddResult(Result("_Nullable", CCP_Type));
1799}

1801static void AddStorageSpecifiers(Sema::ParserCompletionContext CCC,
                               const LangOptions &LangOpts,
                               ResultBuilder &Results) {
typedef CodeCompletionResult Result;
// Note: we don't suggest either "auto" or "register", because both
// are pointless as storage specifiers. Elsewhere, we suggest "auto"
// in C++0x as a type specifier.
Results.AddResult(Result("extern"));
Results.AddResult(Result("static"));

if (LangOpts.CPlusPlus11) {
  CodeCompletionAllocator &Allocator = Results.getAllocator();
  CodeCompletionBuilder Builder(Allocator, Results.getCodeCompletionTUInfo());

  // alignas
  Builder.AddTypedTextChunk("alignas");
  Builder.AddChunk(CodeCompletionString::CK_LeftParen);
  Builder.AddPlaceholderChunk("expression");
  Builder.AddChunk(CodeCompletionString::CK_RightParen);
  Results.AddResult(Result(Builder.TakeString()));

  Results.AddResult(Result("constexpr"));
  Results.AddResult(Result("thread_local"));
}
1825}

1827static void AddFunctionSpecifiers(Sema::ParserCompletionContext CCC,
                                const LangOptions &LangOpts,
                                ResultBuilder &Results) {
typedef CodeCompletionResult Result;
switch (CCC) {
case Sema::PCC_Class:
case Sema::PCC_MemberTemplate:
  if (LangOpts.CPlusPlus) {
    Results.AddResult(Result("explicit"));
    Results.AddResult(Result("friend"));
    Results.AddResult(Result("mutable"));
    Results.AddResult(Result("virtual"));
  }
  [[fallthrough]];

case Sema::PCC_ObjCInterface:
case Sema::PCC_ObjCImplementation:
case Sema::PCC_Namespace:
case Sema::PCC_Template:
  if (LangOpts.CPlusPlus || LangOpts.C99)
    Results.AddResult(Result("inline"));
  break;

case Sema::PCC_ObjCInstanceVariableList:
case Sema::PCC_Expression:
case Sema::PCC_Statement:
case Sema::PCC_ForInit:
case Sema::PCC_Condition:
case Sema::PCC_RecoveryInFunction:
case Sema::PCC_Type:
case Sema::PCC_ParenthesizedExpression:
case Sema::PCC_LocalDeclarationSpecifiers:
  break;
}
1861}

1863static void AddObjCExpressionResults(ResultBuilder &Results, bool NeedAt);
1864static void AddObjCStatementResults(ResultBuilder &Results, bool NeedAt);
1865static void AddObjCVisibilityResults(const LangOptions &LangOpts,
                                   ResultBuilder &Results, bool NeedAt);
1867static void AddObjCImplementationResults(const LangOptions &LangOpts,
                                       ResultBuilder &Results, bool NeedAt);
1869static void AddObjCInterfaceResults(const LangOptions &LangOpts,
                                  ResultBuilder &Results, bool NeedAt);
1871static void AddObjCTopLevelResults(ResultBuilder &Results, bool NeedAt);

1873static void AddTypedefResult(ResultBuilder &Results) {
CodeCompletionBuilder Builder(Results.getAllocator(),
                              Results.getCodeCompletionTUInfo());
Builder.AddTypedTextChunk("typedef");
Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
Builder.AddPlaceholderChunk("type");
Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
Builder.AddPlaceholderChunk("name");
Builder.AddChunk(CodeCompletionString::CK_SemiColon);
Results.AddResult(CodeCompletionResult(Builder.TakeString()));
1883}

1885// using name = type
1886static void AddUsingAliasResult(CodeCompletionBuilder &Builder,
                              ResultBuilder &Results) {
Builder.AddTypedTextChunk("using");
Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
Builder.AddPlaceholderChunk("name");
Builder.AddChunk(CodeCompletionString::CK_Equal);
Builder.AddPlaceholderChunk("type");
Builder.AddChunk(CodeCompletionString::CK_SemiColon);
Results.AddResult(CodeCompletionResult(Builder.TakeString()));
1895}

1897static bool WantTypesInContext(Sema::ParserCompletionContext CCC,
                             const LangOptions &LangOpts) {
switch (CCC) {
case Sema::PCC_Namespace:
case Sema::PCC_Class:
case Sema::PCC_ObjCInstanceVariableList:
case Sema::PCC_Template:
case Sema::PCC_MemberTemplate:
case Sema::PCC_Statement:
case Sema::PCC_RecoveryInFunction:
case Sema::PCC_Type:
case Sema::PCC_ParenthesizedExpression:
case Sema::PCC_LocalDeclarationSpecifiers:
  return true;

case Sema::PCC_Expression:
case Sema::PCC_Condition:
  return LangOpts.CPlusPlus;

case Sema::PCC_ObjCInterface:
case Sema::PCC_ObjCImplementation:
  return false;

case Sema::PCC_ForInit:
  return LangOpts.CPlusPlus || LangOpts.ObjC || LangOpts.C99;
}

llvm_unreachable("Invalid ParserCompletionContext!")::llvm::llvm_unreachable_internal("Invalid ParserCompletionContext!"
, "clang/lib/Sema/SemaCodeComplete.cpp", 1924);
1925}

1927static PrintingPolicy getCompletionPrintingPolicy(const ASTContext &Context,
                                                const Preprocessor &PP) {
PrintingPolicy Policy = Sema::getPrintingPolicy(Context, PP);
Policy.AnonymousTagLocations = false;
Policy.SuppressStrongLifetime = true;
Policy.SuppressUnwrittenScope = true;
Policy.SuppressScope = true;
Policy.CleanUglifiedParameters = true;
return Policy;
1936}

1938/// Retrieve a printing policy suitable for code completion.
1939static PrintingPolicy getCompletionPrintingPolicy(Sema &S) {
return getCompletionPrintingPolicy(S.Context, S.PP);
1941}

1943/// Retrieve the string representation of the given type as a string
1944/// that has the appropriate lifetime for code completion.
1945///
1946/// This routine provides a fast path where we provide constant strings for
1947/// common type names.
1948static const char *GetCompletionTypeString(QualType T, ASTContext &Context,
                                         const PrintingPolicy &Policy,
                                         CodeCompletionAllocator &Allocator) {
if (!T.getLocalQualifiers()) {
  // Built-in type names are constant strings.
  if (const BuiltinType *BT = dyn_cast<BuiltinType>(T))
    return BT->getNameAsCString(Policy);

  // Anonymous tag types are constant strings.
  if (const TagType *TagT = dyn_cast<TagType>(T))
    if (TagDecl *Tag = TagT->getDecl())
      if (!Tag->hasNameForLinkage()) {
        switch (Tag->getTagKind()) {
        case TTK_Struct:
          return "struct <anonymous>";
        case TTK_Interface:
          return "__interface <anonymous>";
        case TTK_Class:
          return "class <anonymous>";
        case TTK_Union:
          return "union <anonymous>";
        case TTK_Enum:
          return "enum <anonymous>";
        }
      }
}

// Slow path: format the type as a string.
std::string Result;
T.getAsStringInternal(Result, Policy);
return Allocator.CopyString(Result);
1979}

1981/// Add a completion for "this", if we're in a member function.
1982static void addThisCompletion(Sema &S, ResultBuilder &Results) {
QualType ThisTy = S.getCurrentThisType();
if (ThisTy.isNull())
  return;

CodeCompletionAllocator &Allocator = Results.getAllocator();
CodeCompletionBuilder Builder(Allocator, Results.getCodeCompletionTUInfo());
PrintingPolicy Policy = getCompletionPrintingPolicy(S);
Builder.AddResultTypeChunk(
    GetCompletionTypeString(ThisTy, S.Context, Policy, Allocator));
Builder.AddTypedTextChunk("this");
Results.AddResult(CodeCompletionResult(Builder.TakeString()));
1994}

1996static void AddStaticAssertResult(CodeCompletionBuilder &Builder,
                                ResultBuilder &Results,
                                const LangOptions &LangOpts) {
if (!LangOpts.CPlusPlus11)
  return;

Builder.AddTypedTextChunk("static_assert");
Builder.AddChunk(CodeCompletionString::CK_LeftParen);
Builder.AddPlaceholderChunk("expression");
Builder.AddChunk(CodeCompletionString::CK_Comma);
Builder.AddPlaceholderChunk("message");
Builder.AddChunk(CodeCompletionString::CK_RightParen);
Builder.AddChunk(CodeCompletionString::CK_SemiColon);
Results.AddResult(CodeCompletionResult(Builder.TakeString()));
2010}

2012static void AddOverrideResults(ResultBuilder &Results,
                             const CodeCompletionContext &CCContext,
                             CodeCompletionBuilder &Builder) {
Sema &S = Results.getSema();
const auto *CR = llvm::dyn_cast<CXXRecordDecl>(S.CurContext);
// If not inside a class/struct/union return empty.
if (!CR)
  return;
// First store overrides within current class.
// These are stored by name to make querying fast in the later step.
llvm::StringMap<std::vector<FunctionDecl *>> Overrides;
for (auto *Method : CR->methods()) {
  if (!Method->isVirtual() || !Method->getIdentifier())
    continue;
  Overrides[Method->getName()].push_back(Method);
}

for (const auto &Base : CR->bases()) {
  const auto *BR = Base.getType().getTypePtr()->getAsCXXRecordDecl();
  if (!BR)
    continue;
  for (auto *Method : BR->methods()) {
    if (!Method->isVirtual() || !Method->getIdentifier())
      continue;
    const auto it = Overrides.find(Method->getName());
    bool IsOverriden = false;
    if (it != Overrides.end()) {
      for (auto *MD : it->second) {
        // If the method in current body is not an overload of this virtual
        // function, then it overrides this one.
        if (!S.IsOverload(MD, Method, false)) {
          IsOverriden = true;
          break;
        }
      }
    }
    if (!IsOverriden) {
      // Generates a new CodeCompletionResult by taking this function and
      // converting it into an override declaration with only one chunk in the
      // final CodeCompletionString as a TypedTextChunk.
      std::string OverrideSignature;
      llvm::raw_string_ostream OS(OverrideSignature);
      CodeCompletionResult CCR(Method, 0);
      PrintingPolicy Policy =
          getCompletionPrintingPolicy(S.getASTContext(), S.getPreprocessor());
      auto *CCS = CCR.createCodeCompletionStringForOverride(
          S.getPreprocessor(), S.getASTContext(), Builder,
          /*IncludeBriefComments=*/false, CCContext, Policy);
      Results.AddResult(CodeCompletionResult(CCS, Method, CCP_CodePattern));
    }
  }
}
2064}

2066/// Add language constructs that show up for "ordinary" names.
2067static void AddOrdinaryNameResults(Sema::ParserCompletionContext CCC, Scope *S,
                                 Sema &SemaRef, ResultBuilder &Results) {
CodeCompletionAllocator &Allocator = Results.getAllocator();
CodeCompletionBuilder Builder(Allocator, Results.getCodeCompletionTUInfo());

typedef CodeCompletionResult Result;
switch (CCC) {
case Sema::PCC_Namespace:
  if (SemaRef.getLangOpts().CPlusPlus) {
    if (Results.includeCodePatterns()) {
      // namespace <identifier> { declarations }
      Builder.AddTypedTextChunk("namespace");
      Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
      Builder.AddPlaceholderChunk("identifier");
      Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
      Builder.AddChunk(CodeCompletionString::CK_LeftBrace);
      Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
      Builder.AddPlaceholderChunk("declarations");
      Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
      Builder.AddChunk(CodeCompletionString::CK_RightBrace);
      Results.AddResult(Result(Builder.TakeString()));
    }

    // namespace identifier = identifier ;
    Builder.AddTypedTextChunk("namespace");
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddPlaceholderChunk("name");
    Builder.AddChunk(CodeCompletionString::CK_Equal);
    Builder.AddPlaceholderChunk("namespace");
    Builder.AddChunk(CodeCompletionString::CK_SemiColon);
    Results.AddResult(Result(Builder.TakeString()));

    // Using directives
    Builder.AddTypedTextChunk("using namespace");
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddPlaceholderChunk("identifier");
    Builder.AddChunk(CodeCompletionString::CK_SemiColon);
    Results.AddResult(Result(Builder.TakeString()));

    // asm(string-literal)
    Builder.AddTypedTextChunk("asm");
    Builder.AddChunk(CodeCompletionString::CK_LeftParen);
    Builder.AddPlaceholderChunk("string-literal");
    Builder.AddChunk(CodeCompletionString::CK_RightParen);
    Results.AddResult(Result(Builder.TakeString()));

    if (Results.includeCodePatterns()) {
      // Explicit template instantiation
      Builder.AddTypedTextChunk("template");
      Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
      Builder.AddPlaceholderChunk("declaration");
      Results.AddResult(Result(Builder.TakeString()));
    } else {
      Results.AddResult(Result("template", CodeCompletionResult::RK_Keyword));
    }
  }

  if (SemaRef.getLangOpts().ObjC)
    AddObjCTopLevelResults(Results, true);

  AddTypedefResult(Results);
  [[fallthrough]];

case Sema::PCC_Class:
  if (SemaRef.getLangOpts().CPlusPlus) {
    // Using declaration
    Builder.AddTypedTextChunk("using");
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddPlaceholderChunk("qualifier");
    Builder.AddTextChunk("::");
    Builder.AddPlaceholderChunk("name");
    Builder.AddChunk(CodeCompletionString::CK_SemiColon);
    Results.AddResult(Result(Builder.TakeString()));

    if (SemaRef.getLangOpts().CPlusPlus11)
      AddUsingAliasResult(Builder, Results);

    // using typename qualifier::name (only in a dependent context)
    if (SemaRef.CurContext->isDependentContext()) {
      Builder.AddTypedTextChunk("using typename");
      Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
      Builder.AddPlaceholderChunk("qualifier");
      Builder.AddTextChunk("::");
      Builder.AddPlaceholderChunk("name");
      Builder.AddChunk(CodeCompletionString::CK_SemiColon);
      Results.AddResult(Result(Builder.TakeString()));
    }

    AddStaticAssertResult(Builder, Results, SemaRef.getLangOpts());

    if (CCC == Sema::PCC_Class) {
      AddTypedefResult(Results);

      bool IsNotInheritanceScope = !S->isClassInheritanceScope();
      // public:
      Builder.AddTypedTextChunk("public");
      if (IsNotInheritanceScope && Results.includeCodePatterns())
        Builder.AddChunk(CodeCompletionString::CK_Colon);
      Results.AddResult(Result(Builder.TakeString()));

      // protected:
      Builder.AddTypedTextChunk("protected");
      if (IsNotInheritanceScope && Results.includeCodePatterns())
        Builder.AddChunk(CodeCompletionString::CK_Colon);
      Results.AddResult(Result(Builder.TakeString()));

      // private:
      Builder.AddTypedTextChunk("private");
      if (IsNotInheritanceScope && Results.includeCodePatterns())
        Builder.AddChunk(CodeCompletionString::CK_Colon);
      Results.AddResult(Result(Builder.TakeString()));

      // FIXME: This adds override results only if we are at the first word of
      // the declaration/definition. Also call this from other sides to have
      // more use-cases.
      AddOverrideResults(Results, CodeCompletionContext::CCC_ClassStructUnion,
                         Builder);
    }
  }
  [[fallthrough]];

case Sema::PCC_Template:
case Sema::PCC_MemberTemplate:
  if (SemaRef.getLangOpts().CPlusPlus && Results.includeCodePatterns()) {
    // template < parameters >
    Builder.AddTypedTextChunk("template");
    Builder.AddChunk(CodeCompletionString::CK_LeftAngle);
    Builder.AddPlaceholderChunk("parameters");
    Builder.AddChunk(CodeCompletionString::CK_RightAngle);
    Results.AddResult(Result(Builder.TakeString()));
  } else {
    Results.AddResult(Result("template", CodeCompletionResult::RK_Keyword));
  }

  AddStorageSpecifiers(CCC, SemaRef.getLangOpts(), Results);
  AddFunctionSpecifiers(CCC, SemaRef.getLangOpts(), Results);
  break;

case Sema::PCC_ObjCInterface:
  AddObjCInterfaceResults(SemaRef.getLangOpts(), Results, true);
  AddStorageSpecifiers(CCC, SemaRef.getLangOpts(), Results);
  AddFunctionSpecifiers(CCC, SemaRef.getLangOpts(), Results);
  break;

case Sema::PCC_ObjCImplementation:
  AddObjCImplementationResults(SemaRef.getLangOpts(), Results, true);
  AddStorageSpecifiers(CCC, SemaRef.getLangOpts(), Results);
  AddFunctionSpecifiers(CCC, SemaRef.getLangOpts(), Results);
  break;

case Sema::PCC_ObjCInstanceVariableList:
  AddObjCVisibilityResults(SemaRef.getLangOpts(), Results, true);
  break;

case Sema::PCC_RecoveryInFunction:
case Sema::PCC_Statement: {
  if (SemaRef.getLangOpts().CPlusPlus11)
    AddUsingAliasResult(Builder, Results);

  AddTypedefResult(Results);

  if (SemaRef.getLangOpts().CPlusPlus && Results.includeCodePatterns() &&
      SemaRef.getLangOpts().CXXExceptions) {
    Builder.AddTypedTextChunk("try");
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddChunk(CodeCompletionString::CK_LeftBrace);
    Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
    Builder.AddPlaceholderChunk("statements");
    Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
    Builder.AddChunk(CodeCompletionString::CK_RightBrace);
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddTextChunk("catch");
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddChunk(CodeCompletionString::CK_LeftParen);
    Builder.AddPlaceholderChunk("declaration");
    Builder.AddChunk(CodeCompletionString::CK_RightParen);
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddChunk(CodeCompletionString::CK_LeftBrace);
    Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
    Builder.AddPlaceholderChunk("statements");
    Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
    Builder.AddChunk(CodeCompletionString::CK_RightBrace);
    Results.AddResult(Result(Builder.TakeString()));
  }
  if (SemaRef.getLangOpts().ObjC)
    AddObjCStatementResults(Results, true);

  if (Results.includeCodePatterns()) {
    // if (condition) { statements }
    Builder.AddTypedTextChunk("if");
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddChunk(CodeCompletionString::CK_LeftParen);
    if (SemaRef.getLangOpts().CPlusPlus)
      Builder.AddPlaceholderChunk("condition");
    else
      Builder.AddPlaceholderChunk("expression");
    Builder.AddChunk(CodeCompletionString::CK_RightParen);
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddChunk(CodeCompletionString::CK_LeftBrace);
    Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
    Builder.AddPlaceholderChunk("statements");
    Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
    Builder.AddChunk(CodeCompletionString::CK_RightBrace);
    Results.AddResult(Result(Builder.TakeString()));

    // switch (condition) { }
    Builder.AddTypedTextChunk("switch");
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddChunk(CodeCompletionString::CK_LeftParen);
    if (SemaRef.getLangOpts().CPlusPlus)
      Builder.AddPlaceholderChunk("condition");
    else
      Builder.AddPlaceholderChunk("expression");
    Builder.AddChunk(CodeCompletionString::CK_RightParen);
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddChunk(CodeCompletionString::CK_LeftBrace);
    Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
    Builder.AddPlaceholderChunk("cases");
    Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
    Builder.AddChunk(CodeCompletionString::CK_RightBrace);
    Results.AddResult(Result(Builder.TakeString()));
  }

  // Switch-specific statements.
  if (SemaRef.getCurFunction() &&
      !SemaRef.getCurFunction()->SwitchStack.empty()) {
    // case expression:
    Builder.AddTypedTextChunk("case");
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddPlaceholderChunk("expression");
    Builder.AddChunk(CodeCompletionString::CK_Colon);
    Results.AddResult(Result(Builder.TakeString()));

    // default:
    Builder.AddTypedTextChunk("default");
    Builder.AddChunk(CodeCompletionString::CK_Colon);
    Results.AddResult(Result(Builder.TakeString()));
  }

  if (Results.includeCodePatterns()) {
    /// while (condition) { statements }
    Builder.AddTypedTextChunk("while");
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddChunk(CodeCompletionString::CK_LeftParen);
    if (SemaRef.getLangOpts().CPlusPlus)
      Builder.AddPlaceholderChunk("condition");
    else
      Builder.AddPlaceholderChunk("expression");
    Builder.AddChunk(CodeCompletionString::CK_RightParen);
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddChunk(CodeCompletionString::CK_LeftBrace);
    Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
    Builder.AddPlaceholderChunk("statements");
    Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
    Builder.AddChunk(CodeCompletionString::CK_RightBrace);
    Results.AddResult(Result(Builder.TakeString()));

    // do { statements } while ( expression );
    Builder.AddTypedTextChunk("do");
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddChunk(CodeCompletionString::CK_LeftBrace);
    Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
    Builder.AddPlaceholderChunk("statements");
    Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
    Builder.AddChunk(CodeCompletionString::CK_RightBrace);
    Builder.AddTextChunk("while");
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddChunk(CodeCompletionString::CK_LeftParen);
    Builder.AddPlaceholderChunk("expression");
    Builder.AddChunk(CodeCompletionString::CK_RightParen);
    Results.AddResult(Result(Builder.TakeString()));

    // for ( for-init-statement ; condition ; expression ) { statements }
    Builder.AddTypedTextChunk("for");
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddChunk(CodeCompletionString::CK_LeftParen);
    if (SemaRef.getLangOpts().CPlusPlus || SemaRef.getLangOpts().C99)
      Builder.AddPlaceholderChunk("init-statement");
    else
      Builder.AddPlaceholderChunk("init-expression");
    Builder.AddChunk(CodeCompletionString::CK_SemiColon);
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddPlaceholderChunk("condition");
    Builder.AddChunk(CodeCompletionString::CK_SemiColon);
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddPlaceholderChunk("inc-expression");
    Builder.AddChunk(CodeCompletionString::CK_RightParen);
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddChunk(CodeCompletionString::CK_LeftBrace);
    Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
    Builder.AddPlaceholderChunk("statements");
    Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
    Builder.AddChunk(CodeCompletionString::CK_RightBrace);
    Results.AddResult(Result(Builder.TakeString()));

    if (SemaRef.getLangOpts().CPlusPlus11 || SemaRef.getLangOpts().ObjC) {
      // for ( range_declaration (:|in) range_expression ) { statements }
      Builder.AddTypedTextChunk("for");
      Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
      Builder.AddChunk(CodeCompletionString::CK_LeftParen);
      Builder.AddPlaceholderChunk("range-declaration");
      Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
      if (SemaRef.getLangOpts().ObjC)
        Builder.AddTextChunk("in");
      else
        Builder.AddChunk(CodeCompletionString::CK_Colon);
      Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
      Builder.AddPlaceholderChunk("range-expression");
      Builder.AddChunk(CodeCompletionString::CK_RightParen);
      Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
      Builder.AddChunk(CodeCompletionString::CK_LeftBrace);
      Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
      Builder.AddPlaceholderChunk("statements");
      Builder.AddChunk(CodeCompletionString::CK_VerticalSpace);
      Builder.AddChunk(CodeCompletionString::CK_RightBrace);
      Results.AddResult(Result(Builder.TakeString()));
    }
  }

  if (S->getContinueParent()) {
    // continue ;
    Builder.AddTypedTextChunk("continue");
    Builder.AddChunk(CodeCompletionString::CK_SemiColon);
    Results.AddResult(Result(Builder.TakeString()));
  }

  if (S->getBreakParent()) {
    // break ;
    Builder.AddTypedTextChunk("break");
    Builder.AddChunk(CodeCompletionString::CK_SemiColon);
    Results.AddResult(Result(Builder.TakeString()));
  }

  // "return expression ;" or "return ;", depending on the return type.
  QualType ReturnType;
  if (const auto *Function = dyn_cast<FunctionDecl>(SemaRef.CurContext))
    ReturnType = Function->getReturnType();
  else if (const auto *Method = dyn_cast<ObjCMethodDecl>(SemaRef.CurContext))
    ReturnType = Method->getReturnType();
  else if (SemaRef.getCurBlock() &&
           !SemaRef.getCurBlock()->ReturnType.isNull())
    ReturnType = SemaRef.getCurBlock()->ReturnType;;
  if (ReturnType.isNull() || ReturnType->isVoidType()) {
    Builder.AddTypedTextChunk("return");
    Builder.AddChunk(CodeCompletionString::CK_SemiColon);
    Results.AddResult(Result(Builder.TakeString()));
  } else {
    assert(!ReturnType.isNull())(static_cast <bool> (!ReturnType.isNull()) ? void (0) :
 __assert_fail ("!ReturnType.isNull()", "clang/lib/Sema/SemaCodeComplete.cpp"
, 2414, __extension__ __PRETTY_FUNCTION__));
    // "return expression ;"
    Builder.AddTypedTextChunk("return");
    Builder.AddChunk(clang::CodeCompletionString::CK_HorizontalSpace);
    Builder.AddPlaceholderChunk("expression");
    Builder.AddChunk(CodeCompletionString::CK_SemiColon);
    Results.AddResult(Result(Builder.TakeString()));
    // When boolean, also add 'return true;' and 'return false;'.
    if (ReturnType->isBooleanType()) {
      Builder.AddTypedTextChunk("return true");
      Builder.AddChunk(CodeCompletionString::CK_SemiColon);
      Results.AddResult(Result(Builder.TakeString()));

      Builder.AddTypedTextChunk("return false");
      Builder.AddChunk(CodeCompletionString::CK_SemiColon);
      Results.AddResult(Result(Builder.TakeString()));
    }
    // For pointers, suggest 'return nullptr' in C++.
    if (SemaRef.getLangOpts().CPlusPlus11 &&
        (ReturnType->isPointerType() || ReturnType->isMemberPointerType())) {
      Builder.AddTypedTextChunk("return nullptr");
      Builder.AddChunk(CodeCompletionString::CK_SemiColon);
      Results.AddResult(Result(Builder.TakeString()));
    }
  }

  // goto identifier ;
  Builder.AddTypedTextChunk("goto");
  Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
  Builder.AddPlaceholderChunk("label");
  Builder.AddChunk(CodeCompletionString::CK_SemiColon);
  Results.AddResult(Result(Builder.TakeString()));

  // Using directives
  Builder.AddTypedTextChunk("using namespace");
  Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
  Builder.AddPlaceholderChunk("identifier");
  Builder.AddChunk(CodeCompletionString::CK_SemiColon);
  Results.AddResult(Result(Builder.TakeString()));

  AddStaticAssertResult(Builder, Results, SemaRef.getLangOpts());
}
  [[fallthrough]];

// Fall through (for statement expressions).
case Sema::PCC_ForInit:
case Sema::PCC_Condition:
  AddStorageSpecifiers(CCC, SemaRef.getLangOpts(), Results);
  // Fall through: conditions and statements can have expressions.
  [[fallthrough]];

case Sema::PCC_ParenthesizedExpression:
  if (SemaRef.getLangOpts().ObjCAutoRefCount &&
      CCC == Sema::PCC_ParenthesizedExpression) {
    // (__bridge <type>)<expression>
    Builder.AddTypedTextChunk("__bridge");
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddPlaceholderChunk("type");
    Builder.AddChunk(CodeCompletionString::CK_RightParen);
    Builder.AddPlaceholderChunk("expression");
    Results.AddResult(Result(Builder.TakeString()));

    // (__bridge_transfer <Objective-C type>)<expression>
    Builder.AddTypedTextChunk("__bridge_transfer");
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddPlaceholderChunk("Objective-C type");
    Builder.AddChunk(CodeCompletionString::CK_RightParen);
    Builder.AddPlaceholderChunk("expression");
    Results.AddResult(Result(Builder.TakeString()));

    // (__bridge_retained <CF type>)<expression>
    Builder.AddTypedTextChunk("__bridge_retained");
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddPlaceholderChunk("CF type");
    Builder.AddChunk(CodeCompletionString::CK_RightParen);
    Builder.AddPlaceholderChunk("expression");
    Results.AddResult(Result(Builder.TakeString()));
  }
  // Fall through
  [[fallthrough]];

case Sema::PCC_Expression: {
  if (SemaRef.getLangOpts().CPlusPlus) {
    // 'this', if we're in a non-static member function.
    addThisCompletion(SemaRef, Results);

    // true
    Builder.AddResultTypeChunk("bool");
    Builder.AddTypedTextChunk("true");
    Results.AddResult(Result(Builder.TakeString()));

    // false
    Builder.AddResultTypeChunk("bool");
    Builder.AddTypedTextChunk("false");
    Results.AddResult(Result(Builder.TakeString()));

    if (SemaRef.getLangOpts().RTTI) {
      // dynamic_cast < type-id > ( expression )
      Builder.AddTypedTextChunk("dynamic_cast");
      Builder.AddChunk(CodeCompletionString::CK_LeftAngle);
      Builder.AddPlaceholderChunk("type");
      Builder.AddChunk(CodeCompletionString::CK_RightAngle);
      Builder.AddChunk(CodeCompletionString::CK_LeftParen);
      Builder.AddPlaceholderChunk("expression");
      Builder.AddChunk(CodeCompletionString::CK_RightParen);
      Results.AddResult(Result(Builder.TakeString()));
    }

    // static_cast < type-id > ( expression )
    Builder.AddTypedTextChunk("static_cast");
    Builder.AddChunk(CodeCompletionString::CK_LeftAngle);
    Builder.AddPlaceholderChunk("type");
    Builder.AddChunk(CodeCompletionString::CK_RightAngle);
    Builder.AddChunk(CodeCompletionString::CK_LeftParen);
    Builder.AddPlaceholderChunk("expression");
    Builder.AddChunk(CodeCompletionString::CK_RightParen);
    Results.AddResult(Result(Builder.TakeString()));

    // reinterpret_cast < type-id > ( expression )
    Builder.AddTypedTextChunk("reinterpret_cast");
    Builder.AddChunk(CodeCompletionString::CK_LeftAngle);
    Builder.AddPlaceholderChunk("type");
    Builder.AddChunk(CodeCompletionString::CK_RightAngle);
    Builder.AddChunk(CodeCompletionString::CK_LeftParen);
    Builder.AddPlaceholderChunk("expression");
    Builder.AddChunk(CodeCompletionString::CK_RightParen);
    Results.AddResult(Result(Builder.TakeString()));

    // const_cast < type-id > ( expression )
    Builder.AddTypedTextChunk("const_cast");
    Builder.AddChunk(CodeCompletionString::CK_LeftAngle);
    Builder.AddPlaceholderChunk("type");
    Builder.AddChunk(CodeCompletionString::CK_RightAngle);
    Builder.AddChunk(CodeCompletionString::CK_LeftParen);
    Builder.AddPlaceholderChunk("expression");
    Builder.AddChunk(CodeCompletionString::CK_RightParen);
    Results.AddResult(Result(Builder.TakeString()));

    if (SemaRef.getLangOpts().RTTI) {
      // typeid ( expression-or-type )
      Builder.AddResultTypeChunk("std::type_info");
      Builder.AddTypedTextChunk("typeid");
      Builder.AddChunk(CodeCompletionString::CK_LeftParen);
      Builder.AddPlaceholderChunk("expression-or-type");
      Builder.AddChunk(CodeCompletionString::CK_RightParen);
      Results.AddResult(Result(Builder.TakeString()));
    }

    // new T ( ... )
    Builder.AddTypedTextChunk("new");
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddPlaceholderChunk("type");
    Builder.AddChunk(CodeCompletionString::CK_LeftParen);
    Builder.AddPlaceholderChunk("expressions");
    Builder.AddChunk(CodeCompletionString::CK_RightParen);
    Results.AddResult(Result(Builder.TakeString()));

    // new T [ ] ( ... )
    Builder.AddTypedTextChunk("new");
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddPlaceholderChunk("type");
    Builder.AddChunk(CodeCompletionString::CK_LeftBracket);
    Builder.AddPlaceholderChunk("size");
    Builder.AddChunk(CodeCompletionString::CK_RightBracket);
    Builder.AddChunk(CodeCompletionString::CK_LeftParen);
    Builder.AddPlaceholderChunk("expressions");
    Builder.AddChunk(CodeCompletionString::CK_RightParen);
    Results.AddResult(Result(Builder.TakeString()));

    // delete expression
    Builder.AddResultTypeChunk("void");
    Builder.AddTypedTextChunk("delete");
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddPlaceholderChunk("expression");
    Results.AddResult(Result(Builder.TakeString()));

    // delete [] expression
    Builder.AddResultTypeChunk("void");
    Builder.AddTypedTextChunk("delete");
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddChunk(CodeCompletionString::CK_LeftBracket);
    Builder.AddChunk(CodeCompletionString::CK_RightBracket);
    Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Builder.AddPlaceholderChunk("expression");
    Results.AddResult(Result(Builder.TakeString()));

    if (SemaRef.getLangOpts().CXXExceptions) {
      // throw expression
      Builder.AddResultTypeChunk("void");
      Builder.AddTypedTextChunk("throw");
      Builder.AddChunk(CodeCompletionString::CK_HorizontalSpace);
      Builder.AddPlaceholderChunk("expression");
      Results.AddResult(Result(Builder.TakeString()));
    }

    // FIXME: Rethrow?

    if (SemaRef.getLangOpts().CPlusPlus11) {
      // nullptr
      Builder.AddResultTypeChunk("std::nullptr_t");
      Builder.AddTypedTextChunk("nullptr");
      Results.AddResult(Result(Builder.TakeString()));

      // alignof
      Builder.AddResultTypeChunk("size_t");
      Builder.AddTypedTextChunk("alignof");
      Builder.AddChunk(CodeCompletionString::CK_LeftParen);
      Builder.AddPlaceholderChunk("type");
      Builder.AddChunk(CodeCompletionString::CK_RightParen);
      Results.AddResult(Result(Builder.TakeString()));

      // noexcept
      Builder.AddResultTypeChunk("bool");
      Builder.AddTypedTextChunk("noexcept");
      Builder.AddChunk(CodeCompletionString::CK_LeftParen);
      Builder.AddPlaceholderChunk("expression");
      Builder.AddChunk(CodeCompletionString::CK_RightParen);
      Results.AddResult(Result(Builder.TakeString()));

      // sizeof... expression
      Builder.AddResultTypeChunk("size_t");
      Builder.AddTypedTextChunk("sizeof...");
      Builder.AddChunk(CodeCompletionString::CK_LeftParen);
      Builder.AddPlaceholderChunk("parameter-pack");
      Builder.AddChunk(CodeCompletionString::CK_RightParen);
      Results.AddResult(Result(Builder.TakeString()));
    }
  }

  if (SemaRef.getLangOpts().ObjC) {
    // Add "super", if we're in an Objective-C class with a superclass.
    if (ObjCMethodDecl *Method = SemaRef.getCurMethodDecl()) {
      // The interface can be NULL.
      if (ObjCInterfaceDecl *ID = Method->getClassInterface())
        if (ID->getSuperClass()) {
          std::string SuperType;
          SuperType = ID->getSuperClass()->getNameAsString();
          if (Method->isInstanceMethod())
            SuperType += " *";

          Builder.AddResultTypeChunk(Allocator.CopyString(SuperType));
          Builder.AddTypedTextChunk("super");
          Results.AddResult(Result(Builder.TakeString()));
        }
    }

    AddObjCExpressionResults(Results, true);
  }

  if (SemaRef.getLangOpts().C11) {
    // _Alignof
    Builder.AddResultTypeChunk("size_t");
    if (SemaRef.PP.isMacroDefined("alignof"))
      Builder.AddTypedTextChunk("alignof");
    else
      Builder.AddTypedTextChunk("_Alignof");
    Builder.AddChunk(CodeCompletionString::CK_LeftParen);
    Builder.AddPlaceholderChunk("type");
    Builder.AddChunk(CodeCompletionString::CK_RightParen);
    Results.AddResult(Result(Builder.TakeString()));
  }

  if (SemaRef.getLangOpts().C2x) {
    // nullptr
    Builder.AddResultTypeChunk("nullptr_t");
    Builder.AddTypedTextChunk("nullptr");
    Results.AddResult(Result(Builder.TakeString()));
  }

  // sizeof expression
  Builder.AddResultTypeChunk("size_t");
  Builder.AddTypedTextChunk("sizeof");
  Builder.AddChunk(CodeCompletionString::CK_LeftParen);
  Builder.AddPlaceholderChunk("expression-or-type");
  Builder.AddChunk(CodeCompletionString::CK_RightParen);
  Results.AddResult(Result(Builder.TakeString()));
  break;
}

case Sema::PCC_Type:
case Sema::PCC_LocalDeclarationSpecifiers:
  break;
}

if (WantTypesInContext(CCC, SemaRef.getLangOpts()))
  AddTypeSpecifierResults(SemaRef.getLangOpts(), Results);

if (SemaRef.getLangOpts().CPlusPlus && CCC != Sema::PCC_Type)
  Results.AddResult(Result("operator"));
2703}

2705/// If the given declaration has an associated type, add it as a result
2706/// type chunk.
2707static void AddResultTypeChunk(ASTContext &Context,
                             const PrintingPolicy &Policy,
                             const NamedDecl *ND, QualType BaseType,
                             CodeCompletionBuilder &Result) {
if (!ND)
  return;

// Skip constructors and conversion functions, which have their return types
// built into their names.
if (isConstructor(ND) || isa<CXXConversionDecl>(ND))
  return;

// Determine the type of the declaration (if it has a type).
QualType T;
if (const FunctionDecl *Function = ND->getAsFunction())
  T = Function->getReturnType();
else if (const auto *Method = dyn_cast<ObjCMethodDecl>(ND)) {
  if (!BaseType.isNull())
    T = Method->getSendResultType(BaseType);
  else
    T = Method->getReturnType();
} else if (const auto *Enumerator = dyn_cast<EnumConstantDecl>(ND)) {
  T = Context.getTypeDeclType(cast<TypeDecl>(Enumerator->getDeclContext()));
  T = clang::TypeName::getFullyQualifiedType(T, Context);
} else if (isa<UnresolvedUsingValueDecl>(ND)) {
  /* Do nothing: ignore unresolved using declarations*/
} else if (const auto *Ivar = dyn_cast<ObjCIvarDecl>(ND)) {
  if (!BaseType.isNull())
    T = Ivar->getUsageType(BaseType);
  else
    T = Ivar->getType();
} else if (const auto *Value = dyn_cast<ValueDecl>(ND)) {
  T = Value->getType();
} else if (const auto *Property = dyn_cast<ObjCPropertyDecl>(ND)) {
  if (!BaseType.isNull())
    T = Property->getUsageType(BaseType);
  else
    T = Property->getType();
}

if (T.isNull() || Context.hasSameType(T, Context.DependentTy))
  return;

Result.AddResultTypeChunk(
    GetCompletionTypeString(T, Context, Policy, Result.getAllocator()));
2752}

2754static void MaybeAddSentinel(Preprocessor &PP,
                           const NamedDecl *FunctionOrMethod,
                           CodeCompletionBuilder &Result) {
if (SentinelAttr *Sentinel = FunctionOrMethod->getAttr<SentinelAttr>())
  if (Sentinel->getSentinel() == 0) {
    if (PP.getLangOpts().ObjC && PP.isMacroDefined("nil"))
      Result.AddTextChunk(", nil");
    else if (PP.isMacroDefined("NULL"))
      Result.AddTextChunk(", NULL");
    else
      Result.AddTextChunk(", (void*)0");
  }
2766}

2768static std::string formatObjCParamQualifiers(unsigned ObjCQuals,
                                           QualType &Type) {
std::string Result;
if (ObjCQuals & Decl::OBJC_TQ_In)
  Result += "in ";
else if (ObjCQuals & Decl::OBJC_TQ_Inout)
  Result += "inout ";
else if (ObjCQuals & Decl::OBJC_TQ_Out)
  Result += "out ";
if (ObjCQuals & Decl::OBJC_TQ_Bycopy)
  Result += "bycopy ";
else if (ObjCQuals & Decl::OBJC_TQ_Byref)
  Result += "byref ";
if (ObjCQuals & Decl::OBJC_TQ_Oneway)
  Result += "oneway ";
if (ObjCQuals & Decl::OBJC_TQ_CSNullability) {
  if (auto nullability = AttributedType::stripOuterNullability(Type)) {
    switch (*nullability) {
    case NullabilityKind::NonNull:
      Result += "nonnull ";
      break;

    case NullabilityKind::Nullable:
      Result += "nullable ";
      break;

    case NullabilityKind::Unspecified:
      Result += "null_unspecified ";
      break;

    case NullabilityKind::NullableResult:
      llvm_unreachable("Not supported as a context-sensitive keyword!")::llvm::llvm_unreachable_internal("Not supported as a context-sensitive keyword!"
, "clang/lib/Sema/SemaCodeComplete.cpp", 2799);
      break;
    }
  }
}
return Result;
2805}

2807/// Tries to find the most appropriate type location for an Objective-C
2808/// block placeholder.
2809///
2810/// This function ignores things like typedefs and qualifiers in order to
2811/// present the most relevant and accurate block placeholders in code completion
2812/// results.
2813static void findTypeLocationForBlockDecl(const TypeSourceInfo *TSInfo,
                                       FunctionTypeLoc &Block,
                                       FunctionProtoTypeLoc &BlockProto,
                                       bool SuppressBlock = false) {
if (!TSInfo)
  return;
TypeLoc TL = TSInfo->getTypeLoc().getUnqualifiedLoc();
while (true) {
  // Look through typedefs.
  if (!SuppressBlock) {
    if (TypedefTypeLoc TypedefTL = TL.getAsAdjusted<TypedefTypeLoc>()) {
      if (TypeSourceInfo *InnerTSInfo =
              TypedefTL.getTypedefNameDecl()->getTypeSourceInfo()) {
        TL = InnerTSInfo->getTypeLoc().getUnqualifiedLoc();
        continue;
      }
    }

    // Look through qualified types
    if (QualifiedTypeLoc QualifiedTL = TL.getAs<QualifiedTypeLoc>()) {
      TL = QualifiedTL.getUnqualifiedLoc();
      continue;
    }

    if (AttributedTypeLoc AttrTL = TL.getAs<AttributedTypeLoc>()) {
      TL = AttrTL.getModifiedLoc();
      continue;
    }
  }

  // Try to get the function prototype behind the block pointer type,
  // then we're done.
  if (BlockPointerTypeLoc BlockPtr = TL.getAs<BlockPointerTypeLoc>()) {
    TL = BlockPtr.getPointeeLoc().IgnoreParens();
    Block = TL.getAs<FunctionTypeLoc>();
    BlockProto = TL.getAs<FunctionProtoTypeLoc>();
  }
  break;
}
2852}

2854static std::string formatBlockPlaceholder(
  const PrintingPolicy &Policy, const NamedDecl *BlockDecl,
  FunctionTypeLoc &Block, FunctionProtoTypeLoc &BlockProto,
  bool SuppressBlockName = false, bool SuppressBlock = false,
  std::optional<ArrayRef<QualType>> ObjCSubsts = std::nullopt);

2860static std::string FormatFunctionParameter(
  const PrintingPolicy &Policy, const DeclaratorDecl *Param,
  bool SuppressName = false, bool SuppressBlock = false,
  std::optional<ArrayRef<QualType>> ObjCSubsts = std::nullopt) {
// Params are unavailable in FunctionTypeLoc if the FunctionType is invalid.
// It would be better to pass in the param Type, which is usually available.
// But this case is rare, so just pretend we fell back to int as elsewhere.
if (!Param)
  return "int";
Decl::ObjCDeclQualifier ObjCQual = Decl::OBJC_TQ_None;
if (const auto *PVD = dyn_cast<ParmVarDecl>(Param))
  ObjCQual = PVD->getObjCDeclQualifier();
bool ObjCMethodParam = isa<ObjCMethodDecl>(Param->getDeclContext());
if (Param->getType()->isDependentType() ||
    !Param->getType()->isBlockPointerType()) {
  // The argument for a dependent or non-block parameter is a placeholder
  // containing that parameter's type.
  std::string Result;

  if (Param->getIdentifier() && !ObjCMethodParam && !SuppressName)
    Result = std::string(Param->getIdentifier()->deuglifiedName());

  QualType Type = Param->getType();
  if (ObjCSubsts)
    Type = Type.substObjCTypeArgs(Param->getASTContext(), *ObjCSubsts,
                                  ObjCSubstitutionContext::Parameter);
  if (ObjCMethodParam) {
    Result = "(" + formatObjCParamQualifiers(ObjCQual, Type);
    Result += Type.getAsString(Policy) + ")";
    if (Param->getIdentifier() && !SuppressName)
      Result += Param->getIdentifier()->deuglifiedName();
  } else {
    Type.getAsStringInternal(Result, Policy);
  }
  return Result;
}

// The argument for a block pointer parameter is a block literal with
// the appropriate type.
FunctionTypeLoc Block;
FunctionProtoTypeLoc BlockProto;
findTypeLocationForBlockDecl(Param->getTypeSourceInfo(), Block, BlockProto,
                             SuppressBlock);
// Try to retrieve the block type information from the property if this is a
// parameter in a setter.
if (!Block && ObjCMethodParam &&
    cast<ObjCMethodDecl>(Param->getDeclContext())->isPropertyAccessor()) {
  if (const auto *PD = cast<ObjCMethodDecl>(Param->getDeclContext())
                           ->findPropertyDecl(/*CheckOverrides=*/false))
    findTypeLocationForBlockDecl(PD->getTypeSourceInfo(), Block, BlockProto,
                                 SuppressBlock);
}

if (!Block) {
  // We were unable to find a FunctionProtoTypeLoc with parameter names
  // for the block; just use the parameter type as a placeholder.
  std::string Result;
  if (!ObjCMethodParam && Param->getIdentifier())
    Result = std::string(Param->getIdentifier()->deuglifiedName());

  QualType Type = Param->getType().getUnqualifiedType();

  if (ObjCMethodParam) {
    Result = Type.getAsString(Policy);
    std::string Quals = formatObjCParamQualifiers(ObjCQual, Type);
    if (!Quals.empty())
      Result = "(" + Quals + " " + Result + ")";
    if (Result.back() != ')')
      Result += " ";
    if (Param->getIdentifier())
      Result += Param->getIdentifier()->deuglifiedName();
  } else {
    Type.getAsStringInternal(Result, Policy);
  }

  return Result;
}

// We have the function prototype behind the block pointer type, as it was
// written in the source.
return formatBlockPlaceholder(Policy, Param, Block, BlockProto,
                              /*SuppressBlockName=*/false, SuppressBlock,
                              ObjCSubsts);
2943}

2945/// Returns a placeholder string that corresponds to an Objective-C block
2946/// declaration.
2947///
2948/// \param BlockDecl A declaration with an Objective-C block type.
2949///
2950/// \param Block The most relevant type location for that block type.
2951///
2952/// \param SuppressBlockName Determines whether or not the name of the block
2953/// declaration is included in the resulting string.
2954static std::string
2955formatBlockPlaceholder(const PrintingPolicy &Policy, const NamedDecl *BlockDecl,
                     FunctionTypeLoc &Block, FunctionProtoTypeLoc &BlockProto,
                     bool SuppressBlockName, bool SuppressBlock,
                     std::optional<ArrayRef<QualType>> ObjCSubsts) {
std::string Result;
QualType ResultType = Block.getTypePtr()->getReturnType();
if (ObjCSubsts)
  ResultType =
      ResultType.substObjCTypeArgs(BlockDecl->getASTContext(), *ObjCSubsts,
                                   ObjCSubstitutionContext::Result);
if (!ResultType->isVoidType() || SuppressBlock)
  ResultType.getAsStringInternal(Result, Policy);

// Format the parameter list.
std::string Params;
if (!BlockProto || Block.getNumParams() == 0) {
  if (BlockProto && BlockProto.getTypePtr()->isVariadic())
    Params = "(...)";
  else
    Params = "(void)";
} else {
  Params += "(";
  for (unsigned I = 0, N = Block.getNumParams(); I != N; ++I) {
    if (I)
      Params += ", ";
    Params += FormatFunctionParameter(Policy, Block.getParam(I),
                                      /*SuppressName=*/false,
                                      /*SuppressBlock=*/true, ObjCSubsts);

    if (I == N - 1 && BlockProto.getTypePtr()->isVariadic())
      Params += ", ...";
  }
  Params += ")";
}

if (SuppressBlock) {
  // Format as a parameter.
  Result = Result + " (^";
  if (!SuppressBlockName && BlockDecl->getIdentifier())
    Result += BlockDecl->getIdentifier()->getName();
  Result += ")";
  Result += Params;
} else {
  // Format as a block literal argument.
  Result = '^' + Result;
  Result += Params;

  if (!SuppressBlockName && BlockDecl->getIdentifier())
    Result += BlockDecl->getIdentifier()->getName();
}

return Result;
3007}

3009static std::string GetDefaultValueString(const ParmVarDecl *Param,
                                       const SourceManager &SM,
                                       const LangOptions &LangOpts) {
const SourceRange SrcRange = Param->getDefaultArgRange();
CharSourceRange CharSrcRange = CharSourceRange::getTokenRange(SrcRange);
bool Invalid = CharSrcRange.isInvalid();
if (Invalid)
  return "";
StringRef srcText =
    Lexer::getSourceText(CharSrcRange, SM, LangOpts, &Invalid);
if (Invalid)
  return "";

if (srcText.empty() || srcText == "=") {
  // Lexer can't determine the value.
  // This happens if the code is incorrect (for example class is forward
  // declared).
  return "";
}
std::string DefValue(srcText.str());
// FIXME: remove this check if the Lexer::getSourceText value is fixed and
// this value always has (or always does not have) '=' in front of it
if (DefValue.at(0) != '=') {
  // If we don't have '=' in front of value.
  // Lexer returns built-in types values without '=' and user-defined types
  // values with it.
  return " = " + DefValue;
}
return " " + DefValue;
3038}

3040/// Add function parameter chunks to the given code completion string.
3041static void AddFunctionParameterChunks(Preprocessor &PP,
                                     const PrintingPolicy &Policy,
                                     const FunctionDecl *Function,
                                     CodeCompletionBuilder &Result,
                                     unsigned Start = 0,
                                     bool InOptional = false) {
bool FirstParameter = true;

for (unsigned P = Start, N = Function->getNumParams(); P != N; ++P) {
  const ParmVarDecl *Param = Function->getParamDecl(P);

  if (Param->hasDefaultArg() && !InOptional) {
    // When we see an optional default argument, put that argument and
    // the remaining default arguments into a new, optional string.
    CodeCompletionBuilder Opt(Result.getAllocator(),
                              Result.getCodeCompletionTUInfo());
    if (!FirstParameter)
      Opt.AddChunk(CodeCompletionString::CK_Comma);
    AddFunctionParameterChunks(PP, Policy, Function, Opt, P, true);
    Result.AddOptionalChunk(Opt.TakeString());
    break;
  }

  if (FirstParameter)
    FirstParameter = false;
  else
    Result.AddChunk(CodeCompletionString::CK_Comma);

  InOptional = false;

  // Format the placeholder string.
  std::string PlaceholderStr = FormatFunctionParameter(Policy, Param);
  if (Param->hasDefaultArg())
    PlaceholderStr +=
        GetDefaultValueString(Param, PP.getSourceManager(), PP.getLangOpts());

  if (Function->isVariadic() && P == N - 1)
    PlaceholderStr += ", ...";

  // Add the placeholder string.
  Result.AddPlaceholderChunk(
      Result.getAllocator().CopyString(PlaceholderStr));
}

if (const auto *Proto = Function->getType()->getAs<FunctionProtoType>())
  if (Proto->isVariadic()) {
    if (Proto->getNumParams() == 0)
      Result.AddPlaceholderChunk("...");

    MaybeAddSentinel(PP, Function, Result);
  }
3092}

3094/// Add template parameter chunks to the given code completion string.
3095static void AddTemplateParameterChunks(
  ASTContext &Context, const PrintingPolicy &Policy,
  const TemplateDecl *Template, CodeCompletionBuilder &Result,
  unsigned MaxParameters = 0, unsigned Start = 0, bool InDefaultArg = false) {
bool FirstParameter = true;

// Prefer to take the template parameter names from the first declaration of
// the template.
Template = cast<TemplateDecl>(Template->getCanonicalDecl());

TemplateParameterList *Params = Template->getTemplateParameters();
TemplateParameterList::iterator PEnd = Params->end();
if (MaxParameters)
  PEnd = Params->begin() + MaxParameters;
for (TemplateParameterList::iterator P = Params->begin() + Start; P != PEnd;
     ++P) {
  bool HasDefaultArg = false;
  std::string PlaceholderStr;
  if (TemplateTypeParmDecl *TTP = dyn_cast<TemplateTypeParmDecl>(*P)) {
    if (TTP->wasDeclaredWithTypename())
      PlaceholderStr = "typename";
    else if (const auto *TC = TTP->getTypeConstraint()) {
      llvm::raw_string_ostream OS(PlaceholderStr);
      TC->print(OS, Policy);
      OS.flush();
    } else
      PlaceholderStr = "class";

    if (TTP->getIdentifier()) {
      PlaceholderStr += ' ';
      PlaceholderStr += TTP->getIdentifier()->deuglifiedName();
    }

    HasDefaultArg = TTP->hasDefaultArgument();
  } else if (NonTypeTemplateParmDecl *NTTP =
                 dyn_cast<NonTypeTemplateParmDecl>(*P)) {
    if (NTTP->getIdentifier())
      PlaceholderStr = std::string(NTTP->getIdentifier()->deuglifiedName());
    NTTP->getType().getAsStringInternal(PlaceholderStr, Policy);
    HasDefaultArg = NTTP->hasDefaultArgument();
  } else {
    assert(isa<TemplateTemplateParmDecl>(*P))(static_cast <bool> (isa<TemplateTemplateParmDecl>
(*P)) ? void (0) : __assert_fail ("isa<TemplateTemplateParmDecl>(*P)"
, "clang/lib/Sema/SemaCodeComplete.cpp", 3136, __extension__ __PRETTY_FUNCTION__
));
    TemplateTemplateParmDecl *TTP = cast<TemplateTemplateParmDecl>(*P);

    // Since putting the template argument list into the placeholder would
    // be very, very long, we just use an abbreviation.
    PlaceholderStr = "template<...> class";
    if (TTP->getIdentifier()) {
      PlaceholderStr += ' ';
      PlaceholderStr += TTP->getIdentifier()->deuglifiedName();
    }

    HasDefaultArg = TTP->hasDefaultArgument();
  }

  if (HasDefaultArg && !InDefaultArg) {
    // When we see an optional default argument, put that argument and
    // the remaining default arguments into a new, optional string.
    CodeCompletionBuilder Opt(Result.getAllocator(),
                              Result.getCodeCompletionTUInfo());
    if (!FirstParameter)
      Opt.AddChunk(CodeCompletionString::CK_Comma);
    AddTemplateParameterChunks(Context, Policy, Template, Opt, MaxParameters,
                               P - Params->begin(), true);
    Result.AddOptionalChunk(Opt.TakeString());
    break;
  }

  InDefaultArg = false;

  if (FirstParameter)
    FirstParameter = false;
  else
    Result.AddChunk(CodeCompletionString::CK_Comma);

  // Add the placeholder string.
  Result.AddPlaceholderChunk(
      Result.getAllocator().CopyString(PlaceholderStr));
}
3174}

3176/// Add a qualifier to the given code-completion string, if the
3177/// provided nested-name-specifier is non-NULL.
3178static void AddQualifierToCompletionString(CodeCompletionBuilder &Result,
                                         NestedNameSpecifier *Qualifier,
                                         bool QualifierIsInformative,
                                         ASTContext &Context,
                                         const PrintingPolicy &Policy) {
if (!Qualifier)
  return;

std::string PrintedNNS;
{
  llvm::raw_string_ostream OS(PrintedNNS);
  Qualifier->print(OS, Policy);
}
if (QualifierIsInformative)
  Result.AddInformativeChunk(Result.getAllocator().CopyString(PrintedNNS));
else
  Result.AddTextChunk(Result.getAllocator().CopyString(PrintedNNS));
3195}

3197static void
3198AddFunctionTypeQualsToCompletionString(CodeCompletionBuilder &Result,
                                     const FunctionDecl *Function) {
const auto *Proto = Function->getType()->getAs<FunctionProtoType>();
if (!Proto || !Proto->getMethodQuals())
  return;

// FIXME: Add ref-qualifier!

// Handle single qualifiers without copying
if (Proto->getMethodQuals().hasOnlyConst()) {
  Result.AddInformativeChunk(" const");
  return;
}

if (Proto->getMethodQuals().hasOnlyVolatile()) {
  Result.AddInformativeChunk(" volatile");
  return;
}

if (Proto->getMethodQuals().hasOnlyRestrict()) {
  Result.AddInformativeChunk(" restrict");
  return;
}

// Handle multiple qualifiers.
std::string QualsStr;
if (Proto->isConst())
  QualsStr += " const";
if (Proto->isVolatile())
  QualsStr += " volatile";
if (Proto->isRestrict())
  QualsStr += " restrict";
Result.AddInformativeChunk(Result.getAllocator().CopyString(QualsStr));
3231}

3233/// Add the name of the given declaration
3234static void AddTypedNameChunk(ASTContext &Context, const PrintingPolicy &Policy,
                            const NamedDecl *ND,
                            CodeCompletionBuilder &Result) {
DeclarationName Name = ND->getDeclName();
if (!Name)
  return;

switch (Name.getNameKind()) {
case DeclarationName::CXXOperatorName: {
  const char *OperatorName = nullptr;
  switch (Name.getCXXOverloadedOperator()) {
  case OO_None:
  case OO_Conditional:
  case NUM_OVERLOADED_OPERATORS:
    OperatorName = "operator";
    break;

3251#define OVERLOADED_OPERATOR(Name, Spelling, Token, Unary, Binary, MemberOnly)  \
case OO_##Name:                                                              \
  OperatorName = "operator" Spelling;                                        \
  break;
3255#define OVERLOADED_OPERATOR_MULTI(Name, Spelling, Unary, Binary, MemberOnly)
3256#include "clang/Basic/OperatorKinds.def"

  case OO_New:
    OperatorName = "operator new";
    break;
  case OO_Delete:
    OperatorName = "operator delete";
    break;
  case OO_Array_New:
    OperatorName = "operator new[]";
    break;
  case OO_Array_Delete:
    OperatorName = "operator delete[]";
    break;
  case OO_Call:
    OperatorName = "operator()";
    break;
  case OO_Subscript:
    OperatorName = "operator[]";
    break;
  }
  Result.AddTypedTextChunk(OperatorName);
  break;
}

case DeclarationName::Identifier:
case DeclarationName::CXXConversionFunctionName:
case DeclarationName::CXXDestructorName:
case DeclarationName::CXXLiteralOperatorName:
  Result.AddTypedTextChunk(
      Result.getAllocator().CopyString(ND->getNameAsString()));
  break;

case DeclarationName::CXXDeductionGuideName:
case DeclarationName::CXXUsingDirective:
case DeclarationName::ObjCZeroArgSelector:
case DeclarationName::ObjCOneArgSelector:
case DeclarationName::ObjCMultiArgSelector:
  break;

case DeclarationName::CXXConstructorName: {
  CXXRecordDecl *Record = nullptr;
  QualType Ty = Name.getCXXNameType();
  if (const auto *RecordTy = Ty->getAs<RecordType>())
    Record = cast<CXXRecordDecl>(RecordTy->getDecl());
  else if (const auto *InjectedTy = Ty->getAs<InjectedClassNameType>())
    Record = InjectedTy->getDecl();
  else {
    Result.AddTypedTextChunk(
        Result.getAllocator().CopyString(ND->getNameAsString()));
    break;
  }

  Result.AddTypedTextChunk(
      Result.getAllocator().CopyString(Record->getNameAsString()));
  if (ClassTemplateDecl *Template = Record->getDescribedClassTemplate()) {
    Result.AddChunk(CodeCompletionString::CK_LeftAngle);
    AddTemplateParameterChunks(Context, Policy, Template, Result);
    Result.AddChunk(CodeCompletionString::CK_RightAngle);
  }
  break;
}
}
3319}

3321CodeCompletionString *CodeCompletionResult::CreateCodeCompletionString(
  Sema &S, const CodeCompletionContext &CCContext,
  CodeCompletionAllocator &Allocator, CodeCompletionTUInfo &CCTUInfo,
  bool IncludeBriefComments) {
return CreateCodeCompletionString(S.Context, S.PP, CCContext, Allocator,
                                  CCTUInfo, IncludeBriefComments);
3327}

3329CodeCompletionString *CodeCompletionResult::CreateCodeCompletionStringForMacro(
  Preprocessor &PP, CodeCompletionAllocator &Allocator,
  CodeCompletionTUInfo &CCTUInfo) {
assert(Kind == RK_Macro)(static_cast <bool> (Kind == RK_Macro) ? void (0) : __assert_fail
 ("Kind == RK_Macro", "clang/lib/Sema/SemaCodeComplete.cpp", 3332
, __extension__ __PRETTY_FUNCTION__));
CodeCompletionBuilder Result(Allocator, CCTUInfo, Priority, Availability);
const MacroInfo *MI = PP.getMacroInfo(Macro);
Result.AddTypedTextChunk(Result.getAllocator().CopyString(Macro->getName()));

if (!MI || !MI->isFunctionLike())
  return Result.TakeString();

// Format a function-like macro with placeholders for the arguments.
Result.AddChunk(CodeCompletionString::CK_LeftParen);
MacroInfo::param_iterator A = MI->param_begin(), AEnd = MI->param_end();

// C99 variadic macros add __VA_ARGS__ at the end. Skip it.
if (MI->isC99Varargs()) {
  --AEnd;

  if (A == AEnd) {
    Result.AddPlaceholderChunk("...");
  }
}

for (MacroInfo::param_iterator A = MI->param_begin(); A != AEnd; ++A) {
  if (A != MI->param_begin())
    Result.AddChunk(CodeCompletionString::CK_Comma);

  if (MI->isVariadic() && (A + 1) == AEnd) {
    SmallString<32> Arg = (*A)->getName();
    if (MI->isC99Varargs())
      Arg += ", ...";
    else
      Arg += "...";
    Result.AddPlaceholderChunk(Result.getAllocator().CopyString(Arg));
    break;
  }

  // Non-variadic macros are simple.
  Result.AddPlaceholderChunk(
      Result.getAllocator().CopyString((*A)->getName()));
}
Result.AddChunk(CodeCompletionString::CK_RightParen);
return Result.TakeString();
3373}

3375/// If possible, create a new code completion string for the given
3376/// result.
3377///
3378/// \returns Either a new, heap-allocated code completion string describing
3379/// how to use this result, or NULL to indicate that the string or name of the
3380/// result is all that is needed.
3381CodeCompletionString *CodeCompletionResult::CreateCodeCompletionString(
  ASTContext &Ctx, Preprocessor &PP, const CodeCompletionContext &CCContext,
  CodeCompletionAllocator &Allocator, CodeCompletionTUInfo &CCTUInfo,
  bool IncludeBriefComments) {
if (Kind == RK_Macro)
  return CreateCodeCompletionStringForMacro(PP, Allocator, CCTUInfo);

CodeCompletionBuilder Result(Allocator, CCTUInfo, Priority, Availability);

PrintingPolicy Policy = getCompletionPrintingPolicy(Ctx, PP);
if (Kind == RK_Pattern) {
  Pattern->Priority = Priority;
  Pattern->Availability = Availability;

  if (Declaration) {
    Result.addParentContext(Declaration->getDeclContext());
    Pattern->ParentName = Result.getParentName();
    if (const RawComment *RC =
            getPatternCompletionComment(Ctx, Declaration)) {
      Result.addBriefComment(RC->getBriefText(Ctx));
      Pattern->BriefComment = Result.getBriefComment();
    }
  }

  return Pattern;
}

if (Kind == RK_Keyword) {
  Result.AddTypedTextChunk(Keyword);
  return Result.TakeString();
}
assert(Kind == RK_Declaration && "Missed a result kind?")(static_cast <bool> (Kind == RK_Declaration && "Missed a result kind?"
) ? void (0) : __assert_fail ("Kind == RK_Declaration && \"Missed a result kind?\""
, "clang/lib/Sema/SemaCodeComplete.cpp", 3412, __extension__ __PRETTY_FUNCTION__
));
return createCodeCompletionStringForDecl(
    PP, Ctx, Result, IncludeBriefComments, CCContext, Policy);
3415}

3417static void printOverrideString(const CodeCompletionString &CCS,
                              std::string &BeforeName,
                              std::string &NameAndSignature) {
bool SeenTypedChunk = false;
for (auto &Chunk : CCS) {
  if (Chunk.Kind == CodeCompletionString::CK_Optional) {
    assert(SeenTypedChunk && "optional parameter before name")(static_cast <bool> (SeenTypedChunk && "optional parameter before name"
) ? void (0) : __assert_fail ("SeenTypedChunk && \"optional parameter before name\""
, "clang/lib/Sema/SemaCodeComplete.cpp", 3423, __extension__ __PRETTY_FUNCTION__
));
    // Note that we put all chunks inside into NameAndSignature.
    printOverrideString(*Chunk.Optional, NameAndSignature, NameAndSignature);
    continue;
  }
  SeenTypedChunk |= Chunk.Kind == CodeCompletionString::CK_TypedText;
  if (SeenTypedChunk)
    NameAndSignature += Chunk.Text;
  else
    BeforeName += Chunk.Text;
}
3434}

3436CodeCompletionString *
3437CodeCompletionResult::createCodeCompletionStringForOverride(
  Preprocessor &PP, ASTContext &Ctx, CodeCompletionBuilder &Result,
  bool IncludeBriefComments, const CodeCompletionContext &CCContext,
  PrintingPolicy &Policy) {
auto *CCS = createCodeCompletionStringForDecl(PP, Ctx, Result,
                                              /*IncludeBriefComments=*/false,
                                              CCContext, Policy);
std::string BeforeName;
std::string NameAndSignature;
// For overrides all chunks go into the result, none are informative.
printOverrideString(*CCS, BeforeName, NameAndSignature);
NameAndSignature += " override";

Result.AddTextChunk(Result.getAllocator().CopyString(BeforeName));
Result.AddChunk(CodeCompletionString::CK_HorizontalSpace);
Result.AddTypedTextChunk(Result.getAllocator().CopyString(NameAndSignature));
return Result.TakeString();
3454}

3456// FIXME: Right now this works well with lambdas. Add support for other functor
3457// types like std::function.
3458static const NamedDecl *extractFunctorCallOperator(const NamedDecl *ND) {
const auto *VD = dyn_cast<VarDecl>(ND);
if (!VD)
  return nullptr;
const auto *RecordDecl = VD->getType()->getAsCXXRecordDecl();
if (!RecordDecl || !RecordDecl->isLambda())
  return nullptr;
return RecordDecl->getLambdaCallOperator();
3466}

3468CodeCompletionString *CodeCompletionResult::createCodeCompletionStringForDecl(
  Preprocessor &PP, ASTContext &Ctx, CodeCompletionBuilder &Result,
  bool IncludeBriefComments, const CodeCompletionContext &CCContext,
  PrintingPolicy &Policy) {
const NamedDecl *ND = Declaration;
Result.addParentContext(ND->getDeclContext());

if (IncludeBriefComments) {
  // Add documentation comment, if it exists.
  if (const RawComment *RC = getCompletionComment(Ctx, Declaration)) {
    Result.addBriefComment(RC->getBriefText(Ctx));
  }
}

if (StartsNestedNameSpecifier) {
  Result.AddTypedTextChunk(
      Result.getAllocator().CopyString(ND->getNameAsString()));
  Result.AddTextChunk("::");
  return Result.TakeString();
}

for (const auto *I : ND->specific_attrs<AnnotateAttr>())
  Result.AddAnnotation(Result.getAllocator().CopyString(I->getAnnotation()));

auto AddFunctionTypeAndResult = [&](const FunctionDecl *Function) {
  AddResultTypeChunk(Ctx, Policy, Function, CCContext.getBaseType(), Result);
  AddQualifierToCompletionString(Result, Qualifier, QualifierIsInformative,
                                 Ctx, Policy);
  AddTypedNameChunk(Ctx, Policy, ND, Result);
  Result.AddChunk(CodeCompletionString::CK_LeftParen);
  AddFunctionParameterChunks(PP, Policy, Function, Result);
  Result.AddChunk(CodeCompletionString::CK_RightParen);
  AddFunctionTypeQualsToCompletionString(Result, Function);
};

if (const auto *Function = dyn_cast<FunctionDecl>(ND)) {
  AddFunctionTypeAndResult(Function);
  return Result.TakeString();
}

if (const auto *CallOperator =
        dyn_cast_or_null<FunctionDecl>(extractFunctorCallOperator(ND))) {
  AddFunctionTypeAndResult(CallOperator);
  return Result.TakeString();
}

AddResultTypeChunk(Ctx, Policy, ND, CCContext.getBaseType(), Result);

if (const FunctionTemplateDecl *FunTmpl =
        dyn_cast<FunctionTemplateDecl>(ND)) {
  AddQualifierToCompletionString(Result, Qualifier, QualifierIsInformative,
                                 Ctx, Policy);
  FunctionDecl *Function = FunTmpl->getTemplatedDecl();
  AddTypedNameChunk(Ctx, Policy, Function, Result);

  // Figure out which template parameters are deduced (or have default
  // arguments).
  llvm::SmallBitVector Deduced;
  Sema::MarkDeducedTemplateParameters(Ctx, FunTmpl, Deduced);
  unsigned LastDeducibleArgument;
  for (LastDeducibleArgument = Deduced.size(); LastDeducibleArgument > 0;
       --LastDeducibleArgument) {
    if (!Deduced[LastDeducibleArgument - 1]) {
      // C++0x: Figure out if the template argument has a default. If so,
      // the user doesn't need to type this argument.
      // FIXME: We need to abstract template parameters better!
      bool HasDefaultArg = false;
      NamedDecl *Param = FunTmpl->getTemplateParameters()->getParam(
          LastDeducibleArgument - 1);
      if (TemplateTypeParmDecl *TTP = dyn_cast<TemplateTypeParmDecl>(Param))
        HasDefaultArg = TTP->hasDefaultArgument();
      else if (NonTypeTemplateParmDecl *NTTP =
                   dyn_cast<NonTypeTemplateParmDecl>(Param))
        HasDefaultArg = NTTP->hasDefaultArgument();
      else {
        assert(isa<TemplateTemplateParmDecl>(Param))(static_cast <bool> (isa<TemplateTemplateParmDecl>
(Param)) ? void (0) : __assert_fail ("isa<TemplateTemplateParmDecl>(Param)"
, "clang/lib/Sema/SemaCodeComplete.cpp", 3543, __extension__ __PRETTY_FUNCTION__
));
        HasDefaultArg =
            cast<TemplateTemplateParmDecl>(Param)->hasDefaultArgument();
      }

      if (!HasDefaultArg)
        break;
    }
  }

  if (LastDeducibleArgument) {
    // Some of the function template arguments cannot be deduced from a
    // function call, so we introduce an explicit template argument list
    // containing all of the arguments up to the first deducible argument.
    Result.AddChunk(CodeCompletionString::CK_LeftAngle);
    AddTemplateParameterChunks(Ctx, Policy, FunTmpl, Result,
                               LastDeducibleArgument);
    Result.AddChunk(CodeCompletionString::CK_RightAngle);
  }

  // Add the function parameters
  Result.AddChunk(CodeCompletionString::CK_LeftParen);
  AddFunctionParameterChunks(PP, Policy, Function, Result);
  Result.AddChunk(CodeCompletionString::CK_RightParen);
  AddFunctionTypeQualsToCompletionString(Result, Function);
  return Result.TakeString();
}

if (const auto *Template = dyn_cast<TemplateDecl>(ND)) {
  AddQualifierToCompletionString(Result, Qualifier, QualifierIsInformative,
                                 Ctx, Policy);
  Result.AddTypedTextChunk(
      Result.getAllocator().CopyString(Template->getNameAsString()));
  Result.AddChunk(CodeCompletionString::CK_LeftAngle);
  AddTemplateParameterChunks(Ctx, Policy, Template, Result);
  Result.AddChunk(CodeCompletionString::CK_RightAngle);
  return Result.TakeString();
}

if (const auto *Method = dyn_cast<ObjCMethodDecl>(ND)) {
  Selector Sel = Method->getSelector();
  if (Sel.isUnarySelector()) {
    Result.AddTypedTextChunk(
        Result.getAllocator().CopyString(Sel.getNameForSlot(0)));
    return Result.TakeString();
  }

  std::string SelName = Sel.getNameForSlot(0).str();
  SelName += ':';
  if (StartParameter == 0)
    Result.AddTypedTextChunk(Result.getAllocator().CopyString(SelName));
  else {
    Result.AddInformativeChunk(Result.getAllocator().CopyString(SelName));

    // If there is only one parameter, and we're past it, add an empty
    // typed-text chunk since there is nothing to type.
    if (Method->param_size() == 1)
      Result.AddTypedTextChunk("");
  }
  unsigned Idx = 0;
  // The extra Idx < Sel.getNumArgs() check is needed due to legacy C-style
  // method parameters.
  for (ObjCMethodDecl::param_const_iterator P = Method->param_begin(),
                                            PEnd = Method->param_end();
       P != PEnd && Idx < Sel.getNumArgs(); (void)++P, ++Idx) {
    if (Idx > 0) {
      std::string Keyword;
      if (Idx > StartParameter)
        Result.AddChunk(CodeCompletionString::CK_HorizontalSpace);
      if (IdentifierInfo *II = Sel.getIdentifierInfoForSlot(Idx))
        Keyword += II->getName();
      Keyword += ":";
      if (Idx < StartParameter || AllParametersAreInformative)
        Result.AddInformativeChunk(Result.getAllocator().CopyString(Keyword));
      else
        Result.AddTypedTextChunk(Result.getAllocator().CopyString(Keyword));
    }

    // If we're before the starting parameter, skip the placeholder.
    if (Idx < StartParameter)
      continue;

    std::string Arg;
    QualType ParamType = (*P)->getType();
    std::optional<ArrayRef<QualType>> ObjCSubsts;
    if (!CCContext.getBaseType().isNull())
      ObjCSubsts = CCContext.getBaseType()->getObjCSubstitutions(Method);

    if (ParamType->isBlockPointerType() && !DeclaringEntity)
      Arg = FormatFunctionParameter(Policy, *P, true,
                                    /*SuppressBlock=*/false, ObjCSubsts);
    else {
      if (ObjCSubsts)
        ParamType = ParamType.substObjCTypeArgs(
            Ctx, *ObjCSubsts, ObjCSubstitutionContext::Parameter);
      Arg = "(" + formatObjCParamQualifiers((*P)->getObjCDeclQualifier(),
                                            ParamType);
      Arg += ParamType.getAsString(Policy) + ")";
      if (IdentifierInfo *II = (*P)->getIdentifier())
        if (DeclaringEntity || AllParametersAreInformative)
          Arg += II->getName();
    }

    if (Method->isVariadic() && (P + 1) == PEnd)
      Arg += ", ...";

    if (DeclaringEntity)
      Result.AddTextChunk(Result.getAllocator().CopyString(Arg));
    else if (AllParametersAreInformative)
      Result.AddInformativeChunk(Result.getAllocator().CopyString(Arg));
    else
      Result.AddPlaceholderChunk(Result.getAllocator().CopyString(Arg));
  }

  if (Method->isVariadic()) {
    if (Method->param_size() == 0) {
      if (DeclaringEntity)
        Result.AddTextChunk(", ...");
      else if (AllParametersAreInformative)
        Result.AddInformativeChunk(", ...");
      else
        Result.AddPlaceholderChunk(", ...");
    }

    MaybeAddSentinel(PP, Method, Result);
  }

  return Result.TakeString();
}

if (Qualifier)
  AddQualifierToCompletionString(Result, Qualifier, QualifierIsInformative,
                                 Ctx, Policy);

Result.AddTypedTextChunk(
    Result.getAllocator().CopyString(ND->getNameAsString()));
return Result.TakeString();
3680}

3682const RawComment *clang::getCompletionComment(const ASTContext &Ctx,
                                            const NamedDecl *ND) {
if (!ND)
  return nullptr;
if (auto *RC = Ctx.getRawCommentForAnyRedecl(ND))
  return RC;

// Try to find comment from a property for ObjC methods.
const auto *M = dyn_cast<ObjCMethodDecl>(ND);
if (!M)
  return nullptr;
const ObjCPropertyDecl *PDecl = M->findPropertyDecl();
if (!PDecl)
  return nullptr;

return Ctx.getRawCommentForAnyRedecl(PDecl);
3698}

3700const RawComment *clang::getPatternCompletionComment(const ASTContext &Ctx,
                                                   const NamedDecl *ND) {
const auto *M = dyn_cast_or_null<ObjCMethodDecl>(ND);
if (!M || !M->isPropertyAccessor())
  return nullptr;

// Provide code completion comment for self.GetterName where
// GetterName is the getter method for a property with name
// different from the property name (declared via a property
// getter attribute.
const ObjCPropertyDecl *PDecl = M->findPropertyDecl();
if (!PDecl)
  return nullptr;
if (PDecl->getGetterName() == M->getSelector() &&
    PDecl->getIdentifier() != M->getIdentifier()) {
  if (auto *RC = Ctx.getRawCommentForAnyRedecl(M))
    return RC;
  if (auto *RC = Ctx.getRawCommentForAnyRedecl(PDecl))
    return RC;
}
return nullptr;
3721}

3723const RawComment *clang::getParameterComment(
  const ASTContext &Ctx,
  const CodeCompleteConsumer::OverloadCandidate &Result, unsigned ArgIndex) {
auto FDecl = Result.getFunction();
if (!FDecl)
  return nullptr;
if (ArgIndex < FDecl->getNumParams())
  return Ctx.getRawCommentForAnyRedecl(FDecl->getParamDecl(ArgIndex));
return nullptr;
3732}

3734static void AddOverloadAggregateChunks(const RecordDecl *RD,
                                     const PrintingPolicy &Policy,
                                     CodeCompletionBuilder &Result,
                                     unsigned CurrentArg) {
unsigned ChunkIndex = 0;
auto AddChunk = [&](llvm::StringRef Placeholder) {
  if (ChunkIndex > 0)
    Result.AddChunk(CodeCompletionString::CK_Comma);
  const char *Copy = Result.getAllocator().CopyString(Placeholder);
  if (ChunkIndex == CurrentArg)
    Result.AddCurrentParameterChunk(Copy);
  else
    Result.AddPlaceholderChunk(Copy);
  ++ChunkIndex;
};
// Aggregate initialization has all bases followed by all fields.
// (Bases are not legal in C++11 but in that case we never get here).
if (auto *CRD = llvm::dyn_cast<CXXRecordDecl>(RD)) {
  for (const auto &Base : CRD->bases())
    AddChunk(Base.getType().getAsString(Policy));
}
for (const auto &Field : RD->fields())
  AddChunk(FormatFunctionParameter(Policy, Field));
3757}

3759/// Add function overload parameter chunks to the given code completion
3760/// string.
3761static void AddOverloadParameterChunks(
  ASTContext &Context, const PrintingPolicy &Policy,
  const FunctionDecl *Function, const FunctionProtoType *Prototype,
  FunctionProtoTypeLoc PrototypeLoc, CodeCompletionBuilder &Result,
  unsigned CurrentArg, unsigned Start = 0, bool InOptional = false) {
if (!Function15.1
'Function' is non-null
 && !Prototype) {
  Result.AddChunk(CodeCompletionString::CK_CurrentParameter, "...");
  return;
}

bool FirstParameter = true;
unsigned NumParams =
    Function15.2
'Function' is non-null
 ? Function->getNumParams() : Prototype->getNumParams();
16
←
'?' condition is true→

for (unsigned P = Start; P != NumParams; ++P) {
17
←
Assuming 'P' is not equal to 'NumParams'→
  if (Function17.1
'Function' is non-null
 && Function->getParamDecl(P)->hasDefaultArg() && !InOptional) {
18
←
Assuming the condition is false→
    // When we see an optional default argument, put that argument and
    // the remaining default arguments into a new, optional string.
    CodeCompletionBuilder Opt(Result.getAllocator(),
                              Result.getCodeCompletionTUInfo());
    if (!FirstParameter)
      Opt.AddChunk(CodeCompletionString::CK_Comma);
    // Optional sections are nested.
    AddOverloadParameterChunks(Context, Policy, Function, Prototype,
                               PrototypeLoc, Opt, CurrentArg, P,
                               /*InOptional=*/true);
    Result.AddOptionalChunk(Opt.TakeString());
    return;
  }

  if (FirstParameter18.1
'FirstParameter' is true
)
19
←
Taking true branch→
    FirstParameter = false;
  else
    Result.AddChunk(CodeCompletionString::CK_Comma);

  InOptional = false;

  // Format the placeholder string.
  std::string Placeholder;
  assert(P < Prototype->getNumParams())(static_cast <bool> (P < Prototype->getNumParams(
)) ? void (0) : __assert_fail ("P < Prototype->getNumParams()"
, "clang/lib/Sema/SemaCodeComplete.cpp", 3800, __extension__ __PRETTY_FUNCTION__
));
20
←
Called C++ object pointer is null
  if (Function || PrototypeLoc) {
    const ParmVarDecl *Param =
        Function ? Function->getParamDecl(P) : PrototypeLoc.getParam(P);
    Placeholder = FormatFunctionParameter(Policy, Param);
    if (Param->hasDefaultArg())
      Placeholder += GetDefaultValueString(Param, Context.getSourceManager(),
                                           Context.getLangOpts());
  } else {
    Placeholder = Prototype->getParamType(P).getAsString(Policy);
  }

  if (P == CurrentArg)
    Result.AddCurrentParameterChunk(
        Result.getAllocator().CopyString(Placeholder));
  else
    Result.AddPlaceholderChunk(Result.getAllocator().CopyString(Placeholder));
}

if (Prototype && Prototype->isVariadic()) {
  CodeCompletionBuilder Opt(Result.getAllocator(),
                            Result.getCodeCompletionTUInfo());
  if (!FirstParameter)
    Opt.AddChunk(CodeCompletionString::CK_Comma);

  if (CurrentArg < NumParams)
    Opt.AddPlaceholderChunk("...");
  else
    Opt.AddCurrentParameterChunk("...");

  Result.AddOptionalChunk(Opt.TakeString());
}
3832}

3834static std::string
3835formatTemplateParameterPlaceholder(const NamedDecl *Param, bool &Optional,
                                 const PrintingPolicy &Policy) {
if (const auto *Type = dyn_cast<TemplateTypeParmDecl>(Param)) {
  Optional = Type->hasDefaultArgument();
} else if (const auto *NonType = dyn_cast<NonTypeTemplateParmDecl>(Param)) {
  Optional = NonType->hasDefaultArgument();
} else if (const auto *Template = dyn_cast<TemplateTemplateParmDecl>(Param)) {
  Optional = Template->hasDefaultArgument();
}
std::string Result;
llvm::raw_string_ostream OS(Result);
Param->print(OS, Policy);
return Result;
3848}

3850static std::string templateResultType(const TemplateDecl *TD,
                                    const PrintingPolicy &Policy) {
if (const auto *CTD = dyn_cast<ClassTemplateDecl>(TD))
  return CTD->getTemplatedDecl()->getKindName().str();
if (const auto *VTD = dyn_cast<VarTemplateDecl>(TD))
  return VTD->getTemplatedDecl()->getType().getAsString(Policy);
if (const auto *FTD = dyn_cast<FunctionTemplateDecl>(TD))
  return FTD->getTemplatedDecl()->getReturnType().getAsString(Policy);
if (isa<TypeAliasTemplateDecl>(TD))
  return "type";
if (isa<TemplateTemplateParmDecl>(TD))
  return "class";
if (isa<ConceptDecl>(TD))
  return "concept";
return "";
3865}

3867static CodeCompletionString *createTemplateSignatureString(
  const TemplateDecl *TD, CodeCompletionBuilder &Builder, unsigned CurrentArg,
  const PrintingPolicy &Policy) {
llvm::ArrayRef<NamedDecl *> Params = TD->getTemplateParameters()->asArray();
CodeCompletionBuilder OptionalBuilder(Builder.getAllocator(),
                                      Builder.getCodeCompletionTUInfo());
std::string ResultType = templateResultType(TD, Policy);
if (!ResultType.empty())
  Builder.AddResultTypeChunk(Builder.getAllocator().CopyString(ResultType));
Builder.AddTextChunk(
    Builder.getAllocator().CopyString(TD->getNameAsString()));
Builder.AddChunk(CodeCompletionString::CK_LeftAngle);
// Initially we're writing into the main string. Once we see an optional arg
// (with default), we're writing into the nested optional chunk.
CodeCompletionBuilder *Current = &Builder;
for (unsigned I = 0; I < Params.size(); ++I) {
  bool Optional = false;
  std::string Placeholder =
      formatTemplateParameterPlaceholder(Params[I], Optional, Policy);
  if (Optional)
    Current = &OptionalBuilder;
  if (I > 0)
    Current->AddChunk(CodeCompletionString::CK_Comma);
  Current->AddChunk(I == CurrentArg
                        ? CodeCompletionString::CK_CurrentParameter
                        : CodeCompletionString::CK_Placeholder,
                    Current->getAllocator().CopyString(Placeholder));
}
// Add the optional chunk to the main string if we ever used it.
if (Current == &OptionalBuilder)
  Builder.AddOptionalChunk(OptionalBuilder.TakeString());
Builder.AddChunk(CodeCompletionString::CK_RightAngle);
// For function templates, ResultType was the function's return type.
// Give some clue this is a function. (Don't show the possibly-bulky params).
if (isa<FunctionTemplateDecl>(TD))
  Builder.AddInformativeChunk("()");
return Builder.TakeString();
3904}

3906CodeCompletionString *
3907CodeCompleteConsumer::OverloadCandidate::CreateSignatureString(
  unsigned CurrentArg, Sema &S, CodeCompletionAllocator &Allocator,
  CodeCompletionTUInfo &CCTUInfo, bool IncludeBriefComments,
  bool Braced) const {
PrintingPolicy Policy = getCompletionPrintingPolicy(S);
// Show signatures of constructors as they are declared:
//   vector(int n) rather than vector<string>(int n)
// This is less noisy without being less clear, and avoids tricky cases.
Policy.SuppressTemplateArgsInCXXConstructors = true;

// FIXME: Set priority, availability appropriately.
CodeCompletionBuilder Result(Allocator, CCTUInfo, 1,
                             CXAvailability_Available);

if (getKind() == CK_Template)
1
Assuming the condition is false→
2
←
Taking false branch→
  return createTemplateSignatureString(getTemplate(), Result, CurrentArg,
                                       Policy);

FunctionDecl *FDecl = getFunction();
const FunctionProtoType *Proto =
4
←
'Proto' initialized to a null pointer value→
    dyn_cast_or_null<FunctionProtoType>(getFunctionType());
3
←
Assuming null pointer is passed into cast→

// First, the name/type of the callee.
if (getKind() == CK_Aggregate) {
5
←
Assuming the condition is false→
6
←
Taking false branch→
  Result.AddTextChunk(
      Result.getAllocator().CopyString(getAggregate()->getName()));
} else if (FDecl) {
7
←
Assuming 'FDecl' is non-null→
8
←
Taking true branch→
  if (IncludeBriefComments) {
9
←
Assuming 'IncludeBriefComments' is false→
10
←
Taking false branch→
    if (auto RC = getParameterComment(S.getASTContext(), *this, CurrentArg))
      Result.addBriefComment(RC->getBriefText(S.getASTContext()));
  }
  AddResultTypeChunk(S.Context, Policy, FDecl, QualType(), Result);

  std::string Name;
  llvm::raw_string_ostream OS(Name);
  FDecl->getDeclName().print(OS, Policy);
  Result.AddTextChunk(Result.getAllocator().CopyString(OS.str()));
} else {
  // Function without a declaration. Just give the return type.
  Result.AddResultTypeChunk(Result.getAllocator().CopyString(
      getFunctionType()->getReturnType().getAsString(Policy)));
}

// Next, the brackets and parameters.
Result.AddChunk(Braced ? CodeCompletionString::CK_LeftBrace
11
←
Assuming 'Braced' is false→
12
←
'?' condition is false→
                       : CodeCompletionString::CK_LeftParen);
if (getKind() == CK_Aggregate)
13
←
Taking false branch→
  AddOverloadAggregateChunks(getAggregate(), Policy, Result, CurrentArg);
else
  AddOverloadParameterChunks(S.getASTContext(), Policy, FDecl, Proto,
14
←
Passing null pointer value via 4th parameter 'Prototype'→
15
←
Calling 'AddOverloadParameterChunks'→
                             getFunctionProtoTypeLoc(), Result, CurrentArg);
Result.AddChunk(Braced ? CodeCompletionString::CK_RightBrace
                       : CodeCompletionString::CK_RightParen);

return Result.TakeString();
3962}

3964unsigned clang::getMacroUsagePriority(StringRef MacroName,
                                    const LangOptions &LangOpts,
                                    bool PreferredTypeIsPointer) {
unsigned Priority = CCP_Macro;

// Treat the "nil", "Nil" and "NULL" macros as null pointer constants.
if (MacroName.equals("nil") || MacroName.equals("NULL") ||
    MacroName.equals("Nil")) {
  Priority = CCP_Constant;
  if (PreferredTypeIsPointer)
    Priority = Priority / CCF_SimilarTypeMatch;
}
// Treat "YES", "NO", "true", and "false" as constants.
else if (MacroName.equals("YES") || MacroName.equals("NO") ||
         MacroName.equals("true") || MacroName.equals("false"))
  Priority = CCP_Constant;
// Treat "bool" as a type.
else if (MacroName.equals("bool"))
  Priority = CCP_Type + (LangOpts.ObjC ? CCD_bool_in_ObjC : 0);

return Priority;
3985}

3987CXCursorKind clang::getCursorKindForDecl(const Decl *D) {
if (!D)
  return CXCursor_UnexposedDecl;

switch (D->getKind()) {
case Decl::Enum:
  return CXCursor_EnumDecl;
case Decl::EnumConstant:
  return CXCursor_EnumConstantDecl;
case Decl::Field:
  return CXCursor_FieldDecl;
case Decl::Function:
  return CXCursor_FunctionDecl;
case Decl::ObjCCategory:
  return CXCursor_ObjCCategoryDecl;
case Decl::ObjCCategoryImpl:
  return CXCursor_ObjCCategoryImplDecl;
case Decl::ObjCImplementation:
  return CXCursor_ObjCImplementationDecl;

case Decl::ObjCInterface:
  return CXCursor_ObjCInterfaceDecl;
case Decl::ObjCIvar:
  return CXCursor_ObjCIvarDecl;
case Decl::ObjCMethod:
  return cast<ObjCMethodDecl>(D)->isInstanceMethod()
             ? CXCursor_ObjCInstanceMethodDecl
             : CXCursor_ObjCClassMethodDecl;
case Decl::CXXMethod:
  return CXCursor_CXXMethod;
case Decl::CXXConstructor:
  return CXCursor_Constructor;
case Decl::CXXDestructor:
  return CXCursor_Destructor;
case Decl::CXXConversion:
  return CXCursor_ConversionFunction;
case Decl::ObjCProperty:
  return CXCursor_ObjCPropertyDecl;
case Decl::ObjCProtocol:
  return CXCursor_ObjCProtocolDecl;
case Decl::ParmVar:
  return CXCursor_ParmDecl;
case Decl::Typedef:
  return CXCursor_TypedefDecl;
case Decl::TypeAlias:
  return CXCursor_TypeAliasDecl;
case Decl::TypeAliasTemplate:
  return CXCursor_TypeAliasTemplateDecl;
case Decl::Var:
  return CXCursor_VarDecl;
case Decl::Namespace:
  return CXCursor_Namespace;
case Decl::NamespaceAlias:
  return CXCursor_NamespaceAlias;
case Decl::TemplateTypeParm:
  return CXCursor_TemplateTypeParameter;
case Decl::NonTypeTemplateParm:
  return CXCursor_NonTypeTemplateParameter;
case Decl::TemplateTemplateParm:
  return CXCursor_TemplateTemplateParameter;
case Decl::FunctionTemplate:
  return CXCursor_FunctionTemplate;
case Decl::ClassTemplate:
  return CXCursor_ClassTemplate;
case Decl::AccessSpec:
  return CXCursor_CXXAccessSpecifier;
case Decl::ClassTemplatePartialSpecialization:
  return CXCursor_ClassTemplatePartialSpecialization;
case Decl::UsingDirective:
  return CXCursor_UsingDirective;
case Decl::StaticAssert:
  return CXCursor_StaticAssert;
case Decl::Friend:
  return CXCursor_FriendDecl;
case Decl::TranslationUnit:
  return CXCursor_TranslationUnit;

case Decl::Using:
case Decl::UnresolvedUsingValue:
case Decl::UnresolvedUsingTypename:
  return CXCursor_UsingDeclaration;

case Decl::UsingEnum:
  return CXCursor_EnumDecl;

case Decl::ObjCPropertyImpl:
  switch (cast<ObjCPropertyImplDecl>(D)->getPropertyImplementation()) {
  case ObjCPropertyImplDecl::Dynamic:
    return CXCursor_ObjCDynamicDecl;

  case ObjCPropertyImplDecl::Synthesize:
    return CXCursor_ObjCSynthesizeDecl;
  }
  llvm_unreachable("Unexpected Kind!")::llvm::llvm_unreachable_internal("Unexpected Kind!", "clang/lib/Sema/SemaCodeComplete.cpp"
, 4080);

case Decl::Import:
  return CXCursor_ModuleImportDecl;

case Decl::ObjCTypeParam:
  return CXCursor_TemplateTypeParameter;

case Decl::Concept:
  return CXCursor_ConceptDecl;

default:
  if (const auto *TD = dyn_cast<TagDecl>(D)) {
    switch (TD->getTagKind()) {
    case TTK_Interface: // fall through
    case TTK_Struct:
      return CXCursor_StructDecl;
    case TTK_Class:
      return CXCursor_ClassDecl;
    case TTK_Union:
      return CXCursor_UnionDecl;
    case TTK_Enum:
      return CXCursor_EnumDecl;
    }
  }
}

return CXCursor_UnexposedDecl;
4108}

4110static void AddMacroResults(Preprocessor &PP, ResultBuilder &Results,
                          bool LoadExternal, bool IncludeUndefined,
                          bool TargetTypeIsPointer = false) {
typedef CodeCompletionResult Result;

Results.EnterNewScope();

for (Preprocessor::macro_iterator M = PP.macro_begin(LoadExternal),
                                  MEnd = PP.macro_end(LoadExternal);
     M != MEnd; ++M) {
  auto MD = PP.getMacroDefinition(M->first);
  if (IncludeUndefined || MD) {
    MacroInfo *MI = MD.getMacroInfo();
    if (MI && MI->isUsedForHeaderGuard())
      continue;

    Results.AddResult(
        Result(M->first, MI,
               getMacroUsagePriority(M->first->getName(), PP.getLangOpts(),
                                     TargetTypeIsPointer)));
  }
}

Results.ExitScope();
4134}

4136static void AddPrettyFunctionResults(const LangOptions &LangOpts,
                                   ResultBuilder &Results) {
typedef CodeCompletionResult Result;

Results.EnterNewScope();

Results.AddResult(Result("__PRETTY_FUNCTION__", CCP_Constant));
Results.AddResult(Result("__FUNCTION__", CCP_Constant));
if (LangOpts.C99 || LangOpts.CPlusPlus11)
  Results.AddResult(Result("__func__", CCP_Constant));
Results.ExitScope();
4147}

4149static void HandleCodeCompleteResults(Sema *S,
                                    CodeCompleteConsumer *CodeCompleter,
                                    CodeCompletionContext Context,
                                    CodeCompletionResult *Results,
                                    unsigned NumResults) {
if (CodeCompleter)
  CodeCompleter->ProcessCodeCompleteResults(*S, Context, Results, NumResults);
4156}

4158static CodeCompletionContext
4159mapCodeCompletionContext(Sema &S, Sema::ParserCompletionContext PCC) {
switch (PCC) {
case Sema::PCC_Namespace:
  return CodeCompletionContext::CCC_TopLevel;

case Sema::PCC_Class:
  return CodeCompletionContext::CCC_ClassStructUnion;

case Sema::PCC_ObjCInterface:
  return CodeCompletionContext::CCC_ObjCInterface;

case Sema::PCC_ObjCImplementation:
  return CodeCompletionContext::CCC_ObjCImplementation;

case Sema::PCC_ObjCInstanceVariableList:
  return CodeCompletionContext::CCC_ObjCIvarList;

case Sema::PCC_Template:
case Sema::PCC_MemberTemplate:
  if (S.CurContext->isFileContext())
    return CodeCompletionContext::CCC_TopLevel;
  if (S.CurContext->isRecord())
    return CodeCompletionContext::CCC_ClassStructUnion;
  return CodeCompletionContext::CCC_Other;

case Sema::PCC_RecoveryInFunction:
  return CodeCompletionContext::CCC_Recovery;

case Sema::PCC_ForInit:
  if (S.getLangOpts().CPlusPlus || S.getLangOpts().C99 ||
      S.getLangOpts().ObjC)
    return CodeCompletionContext::CCC_ParenthesizedExpression;
  else
    return CodeCompletionContext::CCC_Expression;

case Sema::PCC_Expression:
  return CodeCompletionContext::CCC_Expression;
case Sema::PCC_Condition:
  return CodeCompletionContext(CodeCompletionContext::CCC_Expression,
                               S.getASTContext().BoolTy);

case Sema::PCC_Statement:
  return CodeCompletionContext::CCC_Statement;

case Sema::PCC_Type:
  return CodeCompletionContext::CCC_Type;

case Sema::PCC_ParenthesizedExpression:
  return CodeCompletionContext::CCC_ParenthesizedExpression;

case Sema::PCC_LocalDeclarationSpecifiers:
  return CodeCompletionContext::CCC_Type;
}

llvm_unreachable("Invalid ParserCompletionContext!")::llvm::llvm_unreachable_internal("Invalid ParserCompletionContext!"
, "clang/lib/Sema/SemaCodeComplete.cpp", 4213);
4214}

4216/// If we're in a C++ virtual member function, add completion results
4217/// that invoke the functions we override, since it's common to invoke the
4218/// overridden function as well as adding new functionality.
4219///
4220/// \param S The semantic analysis object for which we are generating results.
4221///
4222/// \param InContext This context in which the nested-name-specifier preceding
4223/// the code-completion point
4224static void MaybeAddOverrideCalls(Sema &S, DeclContext *InContext,
                                ResultBuilder &Results) {
// Look through blocks.
DeclContext *CurContext = S.CurContext;
while (isa<BlockDecl>(CurContext))
  CurContext = CurContext->getParent();

CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(CurContext);
if (!Method || !Method->isVirtual())
  return;

// We need to have names for all of the parameters, if we're going to
// generate a forwarding call.
for (auto *P : Method->parameters())
  if (!P->getDeclName())
    return;

PrintingPolicy Policy = getCompletionPrintingPolicy(S);
for (const CXXMethodDecl *Overridden : Method->overridden_methods()) {
  CodeCompletionBuilder Builder(Results.getAllocator(),
                                Results.getCodeCompletionTUInfo());
  if (Overridden->getCanonicalDecl() == Method->getCanonicalDecl())
    continue;

  // If we need a nested-name-specifier, add one now.
  if (!InContext) {
    NestedNameSpecifier *NNS = getRequiredQualification(
        S.Context, CurContext, Overridden->getDeclContext());
    if (NNS) {
      std::string Str;
      llvm::raw_string_ostream OS(Str);
      NNS->print(OS, Policy);
      Builder.AddTextChunk(Results.getAllocator().CopyString(OS.str()));
    }
  } else if (!InContext->Equals(Overridden->getDeclContext()))
    continue;

  Builder.AddTypedTextChunk(
      Results.getAllocator().CopyString(Overridden->getNameAsString()));
  Builder.AddChunk(CodeCompletionString::CK_LeftParen);
  bool FirstParam = true;
  for (auto *P : Method->parameters()) {
    if (FirstParam)
      FirstParam = false;
    else
      Builder.AddChunk(CodeCompletionString::CK_Comma);

    Builder.AddPlaceholderChunk(
        Results.getAllocator().CopyString(P->getIdentifier()->getName()));
  }
  Builder.AddChunk(CodeCompletionString::CK_RightParen);
  Results.AddResult(CodeCompletionResult(
      Builder.TakeString(), CCP_SuperCompletion, CXCursor_CXXMethod,
      CXAvailability_Available, Overridden));
  Results.Ignore(Overridden);
}
4280}

4282void Sema::CodeCompleteModuleImport(SourceLocation ImportLoc,
                                  ModuleIdPath Path) {
typedef CodeCompletionResult Result;
ResultBuilder Results(*this, CodeCompleter->getAllocator(),
                      CodeCompleter->getCodeCompletionTUInfo(),
                      CodeCompletionContext::CCC_Other);
Results.EnterNewScope();

CodeCompletionAllocator &Allocator = Results.getAllocator();
CodeCompletionBuilder Builder(Allocator, Results.getCodeCompletionTUInfo());
typedef CodeCompletionResult Result;
if (Path.empty()) {
  // Enumerate all top-level modules.
  SmallVector<Module *, 8> Modules;
  PP.getHeaderSearchInfo().collectAllModules(Modules);
  for (unsigned I = 0, N = Modules.size(); I != N; ++I) {
    Builder.AddTypedTextChunk(
        Builder.getAllocator().CopyString(Modules[I]->Name));
    Results.AddResult(Result(
        Builder.TakeString(), CCP_Declaration, CXCursor_ModuleImportDecl,
        Modules[I]->isAvailable() ? CXAvailability_Available
                                  : CXAvailability_NotAvailable));
  }
} else if (getLangOpts().Modules) {
  // Load the named module.
  Module *Mod =
      PP.getModuleLoader().loadModule(ImportLoc, Path, Module::AllVisible,
                                      /*IsInclusionDirective=*/false);
  // Enumerate submodules.
  if (Mod) {
    for (Module::submodule_iterator Sub = Mod->submodule_begin(),
                                    SubEnd = Mod->submodule_end();
         Sub != SubEnd; ++Sub) {

      Builder.AddTypedTextChunk(
          Builder.getAllocator().CopyString((*Sub)->Name));
      Results.AddResult(Result(
          Builder.TakeString(), CCP_Declaration, CXCursor_ModuleImportDecl,
          (*Sub)->isAvailable() ? CXAvailability_Available
                                : CXAvailability_NotAvailable));
    }
  }
}
Results.ExitScope();
HandleCodeCompleteResults(this, CodeCompleter, Results.getCompletionContext(),
                          Results.data(), Results.size());
4328}

4330void Sema::CodeCompleteOrdinaryName(Scope *S,
                                  ParserCompletionContext CompletionContext) {
ResultBuilder Results(*this, CodeCompleter->getAllocator(),
                      CodeCompleter->getCodeCompletionTUInfo(),
                      mapCodeCompletionContext(*this, CompletionContext));
Results.EnterNewScope();

// Determine how to filter results, e.g., so that the names of
// values (functions, enumerators, function templates, etc.) are
// only allowed where we can have an expression.
switch (CompletionContext) {
case PCC_Namespace:
case PCC_Class:
case PCC_ObjCInterface:
case PCC_ObjCImplementation:
case PCC_ObjCInstanceVariableList:
case PCC_Template:
case PCC_MemberTemplate:
case PCC_Type:
case PCC_LocalDeclarationSpecifiers:
  Results.setFilter(&ResultBuilder::IsOrdinaryNonValueName);
  break;

case PCC_Statement:
case PCC_ParenthesizedExpression:
case PCC_Expression:
case PCC_ForInit:
case PCC_Condition:
  if (WantTypesInContext(CompletionContext, getLangOpts()))
    Results.setFilter(&ResultBuilder::IsOrdinaryName);
  else
    Results.setFilter(&ResultBuilder::IsOrdinaryNonTypeName);

  if (getLangOpts().CPlusPlus)
    MaybeAddOverrideCalls(*this, /*InContext=*/nullptr, Results);
  break;

case PCC_RecoveryInFunction:
  // Unfiltered
  break;
}

// If we are in a C++ non-static member function, check the qualifiers on
// the member function to filter/prioritize the results list.
auto ThisType = getCurrentThisType();
if (!ThisType.isNull())
  Results.setObjectTypeQualifiers(ThisType->getPointeeType().getQualifiers(),
                                  VK_LValue);

CodeCompletionDeclConsumer Consumer(Results, CurContext);
LookupVisibleDecls(S, LookupOrdinaryName, Consumer,
                   CodeCompleter->includeGlobals(),
                   CodeCompleter->loadExternal());

AddOrdinaryNameResults(CompletionContext, S, *this, Results);
Results.ExitScope();

switch (CompletionContext) {
case PCC_ParenthesizedExpression:
case PCC_Expression:
case PCC_Statement:
case PCC_RecoveryInFunction:
  if (S->getFnParent())
    AddPrettyFunctionResults(getLangOpts(), Results);
  break;

case PCC_Namespace:
case PCC_Class:
case PCC_ObjCInterface:
case PCC_ObjCImplementation:
case PCC_ObjCInstanceVariableList:
case PCC_Template:
case PCC_MemberTemplate:
case PCC_ForInit:
case PCC_Condition:
case PCC_Type:
case PCC_LocalDeclarationSpecifiers:
  break;
}

if (CodeCompleter->includeMacros())
  AddMacroResults(PP, Results, CodeCompleter->loadExternal(), false);

HandleCodeCompleteResults(this, CodeCompleter, Results.getCompletionContext(),
                          Results.data(), Results.size());
4415}

4417static void AddClassMessageCompletions(Sema &SemaRef, Scope *S,
                                     ParsedType Receiver,
                                     ArrayRef<IdentifierInfo *> SelIdents,
                                     bool AtArgumentExpression, bool IsSuper,
                                     ResultBuilder &Results);

4423void Sema::CodeCompleteDeclSpec(Scope *S, DeclSpec &DS,
                              bool AllowNonIdentifiers,
                              bool AllowNestedNameSpecifiers) {
typedef CodeCompletionResult Result;
ResultBuilder Results(
    *this, CodeCompleter->getAllocator(),
    CodeCompleter->getCodeCompletionTUInfo(),
    AllowNestedNameSpecifiers
        // FIXME: Try to separate codepath leading here to deduce whether we
        // need an existing symbol or a new one.
        ? CodeCompletionContext::CCC_SymbolOrNewName
        : CodeCompletionContext::CCC_NewName);
Results.EnterNewScope();

// Type qualifiers can come after names.
Results.AddResult(Result("const"));
Results.AddResult(Result("volatile"));
if (getLangOpts().C99)
  Results.AddResult(Result("restrict"));

if (getLangOpts().CPlusPlus) {
  if (getLangOpts().CPlusPlus11 &&
      (DS.getTypeSpecType() == DeclSpec::TST_class ||
       DS.getTypeSpecType() == DeclSpec::TST_struct))
    Results.AddResult("final");

  if (AllowNonIdentifiers) {
    Results.AddResult(Result("operator"));
  }

  // Add nested-name-specifiers.
  if (AllowNestedNameSpecifiers) {
    Results.allowNestedNameSpecifiers();
    Results.setFilter(&ResultBuilder::IsImpossibleToSatisfy);
    CodeCompletionDeclConsumer Consumer(Results, CurContext);
    LookupVisibleDecls(S, LookupNestedNameSpecifierName, Consumer,
                       CodeCompleter->includeGlobals(),
                       CodeCompleter->loadExternal());
    Results.setFilter(nullptr);
  }
}
Results.ExitScope();

// If we're in a context where we might have an expression (rather than a
// declaration), and what we've seen so far is an Objective-C type that could
// be a receiver of a class message, this may be a class message send with
// the initial opening bracket '[' missing. Add appropriate completions.
if (AllowNonIdentifiers && !AllowNestedNameSpecifiers &&
    DS.getParsedSpecifiers() == DeclSpec::PQ_TypeSpecifier &&
    DS.getTypeSpecType() == DeclSpec::TST_typename &&
    DS.getTypeSpecComplex() == DeclSpec::TSC_unspecified &&
    DS.getTypeSpecSign() == TypeSpecifierSign::Unspecified &&
    !DS.isTypeAltiVecVector() && S &&
    (S->getFlags() & Scope::DeclScope) != 0 &&
    (S->getFlags() & (Scope::ClassScope | Scope::TemplateParamScope |
                      Scope::FunctionPrototypeScope | Scope::AtCatchScope)) ==
        0) {
  ParsedType T = DS.getRepAsType();
  if (!T.get().isNull() && T.get()->isObjCObjectOrInterfaceType())
    AddClassMessageCompletions(*this, S, T, std::nullopt, false, false,
                               Results);
}

// Note that we intentionally suppress macro results here, since we do not
// encourage using macros to produce the names of entities.

HandleCodeCompleteResults(this, CodeCompleter, Results.getCompletionContext(),
                          Results.data(), Results.size());
4491}

4493static const char *underscoreAttrScope(llvm::StringRef Scope) {
if (Scope == "clang")
  return "_Clang";
if (Scope == "gnu")
  return "__gnu__";
return nullptr;
4499}

4501static const char *noUnderscoreAttrScope(llvm::StringRef Scope) {
if (Scope == "_Clang")
  return "clang";
if (Scope == "__gnu__")
  return "gnu";
return nullptr;
4507}

4509void Sema::CodeCompleteAttribute(AttributeCommonInfo::Syntax Syntax,
                               AttributeCompletion Completion,
                               const IdentifierInfo *InScope) {
if (Completion == AttributeCompletion::None)
  return;
ResultBuilder Results(*this, CodeCompleter->getAllocator(),
                      CodeCompleter->getCodeCompletionTUInfo(),
                      CodeCompletionContext::CCC_Attribute);

// We're going to iterate over the normalized spellings of the attribute.
// These don't include "underscore guarding": the normalized spelling is
// clang::foo but you can also write _Clang::__foo__.
//
// (Clang supports a mix like clang::__foo__ but we won't suggest it: either
// you care about clashing with macros or you don't).
//
// So if we're already in a scope, we determine its canonical spellings
// (for comparison with normalized attr spelling) and remember whether it was
// underscore-guarded (so we know how to spell contained attributes).
llvm::StringRef InScopeName;
bool InScopeUnderscore = false;
if (InScope) {
  InScopeName = InScope->getName();
  if (const char *NoUnderscore = noUnderscoreAttrScope(InScopeName)) {
    InScopeName = NoUnderscore;
    InScopeUnderscore = true;
  }
}
bool SyntaxSupportsGuards = Syntax == AttributeCommonInfo::AS_GNU ||
                            Syntax == AttributeCommonInfo::AS_CXX11 ||
                            Syntax == AttributeCommonInfo::AS_C2x;

llvm::DenseSet<llvm::StringRef> FoundScopes;
auto AddCompletions = [&](const ParsedAttrInfo &A) {
  if (A.IsTargetSpecific && !A.existsInTarget(Context.getTargetInfo()))
    return;
  if (!A.acceptsLangOpts(getLangOpts()))
    return;
  for (const auto &S : A.Spellings) {
    if (S.Syntax != Syntax)
      continue;
    llvm::StringRef Name = S.NormalizedFullName;
    llvm::StringRef Scope;
    if ((Syntax == AttributeCommonInfo::AS_CXX11 ||
         Syntax == AttributeCommonInfo::AS_C2x)) {
      std::tie(Scope, Name) = Name.split("::");
      if (Name.empty()) // oops, unscoped
        std::swap(Name, Scope);
    }

    // Do we just want a list of scopes rather than attributes?
    if (Completion == AttributeCompletion::Scope) {
      // Make sure to emit each scope only once.
      if (!Scope.empty() && FoundScopes.insert(Scope).second) {
        Results.AddResult(
            CodeCompletionResult(Results.getAllocator().CopyString(Scope)));
        // Include alternate form (__gnu__ instead of gnu).
        if (const char *Scope2 = underscoreAttrScope(Scope))
          Results.AddResult(CodeCompletionResult(Scope2));
      }
      continue;
    }

    // If a scope was specified, it must match but we don't need to print it.
    if (!InScopeName.empty()) {
      if (Scope != InScopeName)
        continue;
      Scope = "";
    }

    auto Add = [&](llvm::StringRef Scope, llvm::StringRef Name,
                   bool Underscores) {
      CodeCompletionBuilder Builder(Results.getAllocator(),
                                    Results.getCodeCompletionTUInfo());
      llvm::SmallString<32> Text;
      if (!Scope.empty()) {
        Text.append(Scope);
        Text.append("::");
      }
      if (Underscores)
        Text.append("__");
      Text.append(Name);
      if (Underscores)
        Text.append("__");
      Builder.AddTypedTextChunk(Results.getAllocator().CopyString(Text));

      if (!A.ArgNames.empty()) {
        Builder.AddChunk(CodeCompletionString::CK_LeftParen, "(");
        bool First = true;
        for (const char *Arg : A.ArgNames) {
          if (!First)
            Builder.AddChunk(CodeCompletionString::CK_Comma, ", ");
          First = false;
          Builder.AddPlaceholderChunk(Arg);
        }
        Builder.AddChunk(CodeCompletionString::CK_RightParen, ")");
      }

      Results.AddResult(Builder.TakeString());
    };

    // Generate the non-underscore-guarded result.
    // Note this is (a suffix of) the NormalizedFullName, no need to copy.
    // If an underscore-guarded scope was specified, only the
    // underscore-guarded attribute name is relevant.
    if (!InScopeUnderscore)
      Add(Scope, Name, /*Underscores=*/false);

    // Generate the underscore-guarded version, for syntaxes that support it.
    // We skip this if the scope was already spelled and not guarded, or
    // we must spell it and can't guard it.
    if (!(InScope && !InScopeUnderscore) && SyntaxSupportsGuards) {
      llvm::SmallString<32> Guarded;
      if (Scope.empty()) {
        Add(Scope, Name, /*Underscores=*/true);
      } else {
        const char *GuardedScope = underscoreAttrScope(Scope);
        if (!GuardedScope)
          continue;
        Add(GuardedScope, Name, /*Underscores=*/true);
      }
    }

    // It may be nice to include the Kind so we can look up the docs later.
  }
};

for (const auto *A : ParsedAttrInfo::getAllBuiltin())
  AddCompletions(*A);
for (const auto &Entry : ParsedAttrInfoRegistry::entries())
  AddCompletions(*Entry.instantiate());

HandleCodeCompleteResults(this, CodeCompleter, Results.getCompletionContext(),
                          Results.data(), Results.size());
4643}

4645struct Sema::CodeCompleteExpressionData {
CodeCompleteExpressionData(QualType PreferredType = QualType(),
                           bool IsParenthesized = false)
    : PreferredType(PreferredType), IntegralConstantExpression(false),
      ObjCCollection(false), IsParenthesized(IsParenthesized) {}

QualType PreferredType;
bool IntegralConstantExpression;
bool ObjCCollection;
bool IsParenthesized;
SmallVector<Decl *, 4> IgnoreDecls;
4656};

4658namespace {
4659/// Information that allows to avoid completing redundant enumerators.
4660struct CoveredEnumerators {
llvm::SmallPtrSet<EnumConstantDecl *, 8> Seen;
NestedNameSpecifier *SuggestedQualifier = nullptr;
4663};
4664} // namespace

4666static void AddEnumerators(ResultBuilder &Results, ASTContext &Context,
                         EnumDecl *Enum, DeclContext *CurContext,
                         const CoveredEnumerators &Enumerators) {
NestedNameSpecifier *Qualifier = Enumerators.SuggestedQualifier;
if (Context.getLangOpts().CPlusPlus && !Qualifier && Enumerators.Seen.empty()) {
  // If there are no prior enumerators in C++, check whether we have to
  // qualify the names of the enumerators that we suggest, because they
  // may not be visible in this scope.
  Qualifier = getRequiredQualification(Context, CurContext, Enum);
}

Results.EnterNewScope();
for (auto *E : Enum->enumerators()) {
  if (Enumerators.Seen.count(E))
    continue;

  CodeCompletionResult R(E, CCP_EnumInCase, Qualifier);
  Results.AddResult(R, CurContext, nullptr, false);
}
Results.ExitScope();
4686}

4688/// Try to find a corresponding FunctionProtoType for function-like types (e.g.
4689/// function pointers, std::function, etc).
4690static const FunctionProtoType *TryDeconstructFunctionLike(QualType T) {
assert(!T.isNull())(static_cast <bool> (!T.isNull()) ? void (0) : __assert_fail
 ("!T.isNull()", "clang/lib/Sema/SemaCodeComplete.cpp", 4691,
 __extension__ __PRETTY_FUNCTION__));
// Try to extract first template argument from std::function<> and similar.
// Note we only handle the sugared types, they closely match what users wrote.
// We explicitly choose to not handle ClassTemplateSpecializationDecl.
if (auto *Specialization = T->getAs<TemplateSpecializationType>()) {
  if (Specialization->template_arguments().size() != 1)
    return nullptr;
  const TemplateArgument &Argument = Specialization->template_arguments()[0];
  if (Argument.getKind() != TemplateArgument::Type)
    return nullptr;
  return Argument.getAsType()->getAs<FunctionProtoType>();
}
// Handle other cases.
if (T->isPointerType())
  T = T->getPointeeType();
return T->getAs<FunctionProtoType>();
4707}

4709/// Adds a pattern completion for a lambda expression with the specified
4710/// parameter types and placeholders for parameter names.
4711static void AddLambdaCompletion(ResultBuilder &Results,
                              llvm::ArrayRef<QualType> Parameters,
                              const LangOptions &LangOpts) {
if (!Results.includeCodePatterns())
  return;
CodeCompletionBuilder Completion(Results.getAllocator(),
                                 Results.getCodeCompletionTUInfo());
// [](<parameters>) {}
Completion.AddChunk(CodeCompletionString::CK_LeftBracket);
Completion.AddPlaceholderChunk("=");
Completion.AddChunk(CodeCompletionString::CK_RightBracket);
if (!Parameters.empty()) {
  Completion.AddChunk(CodeCompletionString::CK_LeftParen);
  bool First = true;
  for (auto Parameter : Parameters) {
    if (!First)
      Completion.AddChunk(CodeCompletionString::ChunkKind::CK_Comma);
    else
      First = false;

    constexpr llvm::StringLiteral NamePlaceholder = "!#!NAME_GOES_HERE!#!";
    std::string Type = std::string(NamePlaceholder);
    Parameter.getAsStringInternal(Type, PrintingPolicy(LangOpts));
    llvm::StringRef Prefix, Suffix;
    std::tie(Prefix, Suffix) = llvm::StringRef(Type).split(NamePlaceholder);
    Prefix = Prefix.rtrim();
    Suffix = Suffix.ltrim();

    Completion.AddTextChunk(Completion.getAllocator().CopyString(Prefix));
    Completion.AddChunk(CodeCompletionString::CK_HorizontalSpace);
    Completion.AddPlaceholderChunk("parameter");
    Completion.AddTextChunk(Completion.getAllocator().CopyString(Suffix));
  };
  Completion.AddChunk(CodeCompletionString::CK_RightParen);
}
Completion.AddChunk(clang::CodeCompletionString::CK_HorizontalSpace);
Completion.AddChunk(CodeCompletionString::CK_LeftBrace);
Completion.AddChunk(CodeCompletionString::CK_HorizontalSpace);
Completion.AddPlaceholderChunk("body");
Completion.AddChunk(CodeCompletionString::CK_HorizontalSpace);
Completion.AddChunk(CodeCompletionString::CK_RightBrace);

Results.AddResult(Completion.TakeString());
4754}

4756/// Perform code-completion in an expression context when we know what
4757/// type we're looking for.
4758void Sema::CodeCompleteExpression(Scope *S,
                                const CodeCompleteExpressionData &Data) {
ResultBuilder Results(
    *this, CodeCompleter->getAllocator(),
    CodeCompleter->getCodeCompletionTUInfo(),
    CodeCompletionContext(
        Data.IsParenthesized
            ? CodeCompletionContext::CCC_ParenthesizedExpression
            : CodeCompletionContext::CCC_Expression,
        Data.PreferredType));
auto PCC =
    Data.IsParenthesized ? PCC_ParenthesizedExpression : PCC_Expression;
if (Data.ObjCCollection)
  Results.setFilter(&ResultBuilder::IsObjCCollection);
else if (Data.IntegralConstantExpression)
  Results.setFilter(&ResultBuilder::IsIntegralConstantValue);
else if (WantTypesInContext(PCC, getLangOpts()))
  Results.setFilter(&ResultBuilder::IsOrdinaryName);
else
  Results.setFilter(&ResultBuilder::IsOrdinaryNonTypeName);

if (!Data.PreferredType.isNull())
  Results.setPreferredType(Data.PreferredType.getNonReferenceType());

// Ignore any declarations that we were told that we don't care about.
for (unsigned I = 0, N = Data.IgnoreDecls.size(); I != N; ++I)
  Results.Ignore(Data.IgnoreDecls[I]);

CodeCompletionDeclConsumer Consumer(Results, CurContext);
LookupVisibleDecls(S, LookupOrdinaryName, Consumer,
                   CodeCompleter->includeGlobals(),
                   CodeCompleter->loadExternal());

Results.EnterNewScope();
AddOrdinaryNameResults(PCC, S, *this, Results);
Results.ExitScope();

bool PreferredTypeIsPointer = false;
if (!Data.PreferredType.isNull()) {
  PreferredTypeIsPointer = Data.PreferredType->isAnyPointerType() ||
                           Data.PreferredType->isMemberPointerType() ||
                           Data.PreferredType->isBlockPointerType();
  if (Data.PreferredType->isEnumeralType()) {
    EnumDecl *Enum = Data.PreferredType->castAs<EnumType>()->getDecl();
    if (auto *Def = Enum->getDefinition())
      Enum = Def;
    // FIXME: collect covered enumerators in cases like:
    //        if (x == my_enum::one) { ... } else if (x == ^) {}
    AddEnumerators(Results, Context, Enum, CurContext, CoveredEnumerators());
  }
}

if (S->getFnParent() && !Data.ObjCCollection &&
    !Data.IntegralConstantExpression)
  AddPrettyFunctionResults(getLangOpts(), Results);

if (CodeCompleter->includeMacros())
  AddMacroResults(PP, Results, CodeCompleter->loadExternal(), false,
                  PreferredTypeIsPointer);

// Complete a lambda expression when preferred type is a function.
if (!Data.PreferredType.isNull() && getLangOpts().CPlusPlus11) {
  if (const FunctionProtoType *F =
          TryDeconstructFunctionLike(Data.PreferredType))
    AddLambdaCompletion(Results, F->getParamTypes(), getLangOpts());
}

HandleCodeCompleteResults(this, CodeCompleter, Results.getCompletionContext(),
                          Results.data(), Results.size());
4827}

4829void Sema::CodeCompleteExpression(Scope *S, QualType PreferredType,
                                bool IsParenthesized) {
return CodeCompleteExpression(
    S, CodeCompleteExpressionData(PreferredType, IsParenthesized));
4833}

4835void Sema::CodeCompletePostfixExpression(Scope *S, ExprResult E,
                                       QualType PreferredType) {
if (E.isInvalid())
  CodeCompleteExpression(S, PreferredType);
else if (getLangOpts().ObjC)
  CodeCompleteObjCInstanceMessage(S, E.get(), std::nullopt, false);
4841}

4843/// The set of properties that have already been added, referenced by
4844/// property name.
4845typedef llvm::SmallPtrSet<IdentifierInfo *, 16> AddedPropertiesSet;

4847/// Retrieve the container definition, if any?
4848static ObjCContainerDecl *getContainerDef(ObjCContainerDecl *Container) {
if (ObjCInterfaceDecl *Interface = dyn_cast<ObjCInterfaceDecl>(Container)) {
  if (Interface->hasDefinition())
    return Interface->getDefinition();

  return Interface;
}

if (ObjCProtocolDecl *Protocol = dyn_cast<ObjCProtocolDecl>(Container)) {
  if (Protocol->hasDefinition())
    return Protocol->getDefinition();

  return Protocol;
}
return Container;
4863}

4865/// Adds a block invocation code completion result for the given block
4866/// declaration \p BD.
4867static void AddObjCBlockCall(ASTContext &Context, const PrintingPolicy &Policy,
                           CodeCompletionBuilder &Builder,
                           const NamedDecl *BD,
                           const FunctionTypeLoc &BlockLoc,
                           const FunctionProtoTypeLoc &BlockProtoLoc) {
Builder.AddResultTypeChunk(
    GetCompletionTypeString(BlockLoc.getReturnLoc().getType(), Context,
                            Policy, Builder.getAllocator()));

AddTypedNameChunk(Context, Policy, BD, Builder);
Builder.AddChunk(CodeCompletionString::CK_LeftParen);

if (BlockProtoLoc && BlockProtoLoc.getTypePtr()->isVariadic()) {
  Builder.AddPlaceholderChunk("...");
} else {
  for (unsigned I = 0, N = BlockLoc.getNumParams(); I != N; ++I) {
    if (I)
      Builder.AddChunk(CodeCompletionString::CK_Comma);

    // Format the placeholder string.
    std::string PlaceholderStr =
        FormatFunctionParameter(Policy, BlockLoc.getParam(I));

    if (I == N - 1 && BlockProtoLoc &&
        BlockProtoLoc.getTypePtr()->isVariadic())
      PlaceholderStr += ", ...";

    // Add the placeholder string.
    Builder.AddPlaceholderChunk(
        Builder.getAllocator().CopyString(PlaceholderStr));
  }
}

Builder.AddChunk(CodeCompletionString::CK_RightParen);
4901}

4903static void
4904AddObjCProperties(const CodeCompletionContext &CCContext,
                ObjCContainerDecl *Container, bool AllowCategories,
                bool AllowNullaryMethods, DeclContext *CurContext,
                AddedPropertiesSet &AddedProperties, ResultBuilder &Results,
                bool IsBaseExprStatement = false,
                bool IsClassProperty = false, bool InOriginalClass = true) {
typedef CodeCompletionResult Result;

// Retrieve the definition.
Container = getContainerDef(Container);

// Add properties in this container.
const auto AddProperty = [&](const ObjCPropertyDecl *P) {
  if (!AddedProperties.insert(P->getIdentifier()).second)
    return;

  // FIXME: Provide block invocation completion for non-statement
  // expressions.
  if (!P->getType().getTypePtr()->isBlockPointerType() ||
      !IsBaseExprStatement) {
    Result R = Result(P, Results.getBasePriority(P), nullptr);
    if (!InOriginalClass)
      setInBaseClass(R);
    Results.MaybeAddResult(R, CurContext);
    return;
  }

  // Block setter and invocation completion is provided only when we are able
  // to find the FunctionProtoTypeLoc with parameter names for the block.
  FunctionTypeLoc BlockLoc;
  FunctionProtoTypeLoc BlockProtoLoc;
  findTypeLocationForBlockDecl(P->getTypeSourceInfo(), BlockLoc,
                               BlockProtoLoc);
  if (!BlockLoc) {
    Result R = Result(P, Results.getBasePriority(P), nullptr);
    if (!InOriginalClass)
      setInBaseClass(R);
    Results.MaybeAddResult(R, CurContext);
    return;
  }

  // The default completion result for block properties should be the block
  // invocation completion when the base expression is a statement.
  CodeCompletionBuilder Builder(Results.getAllocator(),
                                Results.getCodeCompletionTUInfo());
  AddObjCBlockCall(Container->getASTContext(),
                   getCompletionPrintingPolicy(Results.getSema()), Builder, P,
                   BlockLoc, BlockProtoLoc);
  Result R = Result(Builder.TakeString(), P, Results.getBasePriority(P));
  if (!InOriginalClass)
    setInBaseClass(R);
  Results.MaybeAddResult(R, CurContext);

  // Provide additional block setter completion iff the base expression is a
  // statement and the block property is mutable.
  if (!P->isReadOnly()) {
    CodeCompletionBuilder Builder(Results.getAllocator(),
                                  Results.getCodeCompletionTUInfo());
    AddResultTypeChunk(Container->getASTContext(),
                       getCompletionPrintingPolicy(Results.getSema()), P,
                       CCContext.getBaseType(), Builder);
    Builder.AddTypedTextChunk(
        Results.getAllocator().CopyString(P->getName()));
    Builder.AddChunk(CodeCompletionString::CK_Equal);

    std::string PlaceholderStr = formatBlockPlaceholder(
        getCompletionPrintingPolicy(Results.getSema()), P, BlockLoc,
        BlockProtoLoc, /*SuppressBlockName=*/true);
    // Add the placeholder string.
    Builder.AddPlaceholderChunk(
        Builder.getAllocator().CopyString(PlaceholderStr));

    // When completing blocks properties that return void the default
    // property completion result should show up before the setter,
    // otherwise the setter completion should show up before the default
    // property completion, as we normally want to use the result of the
    // call.
    Result R =
        Result(Builder.TakeString(), P,
               Results.getBasePriority(P) +
                   (BlockLoc.getTypePtr()->getReturnType()->isVoidType()
                        ? CCD_BlockPropertySetter
                        : -CCD_BlockPropertySetter));
    if (!InOriginalClass)
      setInBaseClass(R);
    Results.MaybeAddResult(R, CurContext);
  }
};

if (IsClassProperty) {
  for (const auto *P : Container->class_properties())
    AddProperty(P);
} else {
  for (const auto *P : Container->instance_properties())
    AddProperty(P);
}

// Add nullary methods or implicit class properties
if (AllowNullaryMethods) {
  ASTContext &Context = Container->getASTContext();
  PrintingPolicy Policy = getCompletionPrintingPolicy(Results.getSema());
  // Adds a method result
  const auto AddMethod = [&](const ObjCMethodDecl *M) {
    IdentifierInfo *Name = M->getSelector().getIdentifierInfoForSlot(0);
    if (!Name)
      return;
    if (!AddedProperties.insert(Name).second)
      return;
    CodeCompletionBuilder Builder(Results.getAllocator(),
                                  Results.getCodeCompletionTUInfo());
    AddResultTypeChunk(Context, Policy, M, CCContext.getBaseType(), Builder);
    Builder.AddTypedTextChunk(
        Results.getAllocator().CopyString(Name->getName()));
    Result R = Result(Builder.TakeString(), M,
                      CCP_MemberDeclaration + CCD_MethodAsProperty);
    if (!InOriginalClass)
      setInBaseClass(R);
    Results.MaybeAddResult(R, CurContext);
  };

  if (IsClassProperty) {
    for (const auto *M : Container->methods()) {
      // Gather the class method that can be used as implicit property
      // getters. Methods with arguments or methods that return void aren't
      // added to the results as they can't be used as a getter.
      if (!M->getSelector().isUnarySelector() ||
          M->getReturnType()->isVoidType() || M->isInstanceMethod())
        continue;
      AddMethod(M);
    }
  } else {
    for (auto *M : Container->methods()) {
      if (M->getSelector().isUnarySelector())
        AddMethod(M);
    }
  }
}

// Add properties in referenced protocols.
if (ObjCProtocolDecl *Protocol = dyn_cast<ObjCProtocolDecl>(Container)) {
  for (auto *P : Protocol->protocols())
    AddObjCProperties(CCContext, P, AllowCategories, AllowNullaryMethods,
                      CurContext, AddedProperties, Results,
                      IsBaseExprStatement, IsClassProperty,
                      /*InOriginalClass*/ false);
} else if (ObjCInterfaceDecl *IFace =
               dyn_cast<ObjCInterfaceDecl>(Container)) {
  if (AllowCategories) {
    // Look through categories.
    for (auto *Cat : IFace->known_categories())
      AddObjCProperties(CCContext, Cat, AllowCategories, AllowNullaryMethods,
                        CurContext, AddedProperties, Results,
                        IsBaseExprStatement, IsClassProperty,
                        InOriginalClass);
  }

  // Look through protocols.
  for (auto *I : IFace->all_referenced_protocols())
    AddObjCProperties(CCContext, I, AllowCategories, AllowNullaryMethods,
                      CurContext, AddedProperties, Results,
                      IsBaseExprStatement, IsClassProperty,
                      /*InOriginalClass*/ false);

  // Look in the superclass.
  if (IFace->getSuperClass())
    AddObjCProperties(CCContext, IFace->getSuperClass(), AllowCategories,
                      AllowNullaryMethods, CurContext, AddedProperties,
                      Results, IsBaseExprStatement, IsClassProperty,
                      /*InOriginalClass*/ false);
} else if (const auto *Category =
               dyn_cast<ObjCCategoryDecl>(Container)) {
  // Look through protocols.
  for (auto *P : Category->protocols())
    AddObjCProperties(CCContext, P, AllowCategories, AllowNullaryMethods,
                      CurContext, AddedProperties, Results,
                      IsBaseExprStatement, IsClassProperty,
                      /*InOriginalClass*/ false);
}
5082}

5084static void
5085AddRecordMembersCompletionResults(Sema &SemaRef, ResultBuilder &Results,
                                Scope *S, QualType BaseType,
                                ExprValueKind BaseKind, RecordDecl *RD,
                                std::optional<FixItHint> AccessOpFixIt) {
// Indicate that we are performing a member access, and the cv-qualifiers
// for the base object type.
Results.setObjectTypeQualifiers(BaseType.getQualifiers(), BaseKind);

// Access to a C/C++ class, struct, or union.
Results.allowNestedNameSpecifiers();
std::vector<FixItHint> FixIts;
if (AccessOpFixIt)
  FixIts.emplace_back(*AccessOpFixIt);
CodeCompletionDeclConsumer Consumer(Results, RD, BaseType, std::move(FixIts));
SemaRef.LookupVisibleDecls(RD, Sema::LookupMemberName, Consumer,
                           SemaRef.CodeCompleter->includeGlobals(),
                           /*IncludeDependentBases=*/true,
                           SemaRef.CodeCompleter->loadExternal());

if (SemaRef.getLangOpts().CPlusPlus) {
  if (!Results.empty()) {
    // The "template" keyword can follow "->" or "." in the grammar.
    // However, we only want to suggest the template keyword if something
    // is dependent.
    bool IsDependent = BaseType->isDependentType();
    if (!IsDependent) {
      for (Scope *DepScope = S; DepScope; DepScope = DepScope->getParent())
        if (DeclContext *Ctx = DepScope->getEntity()) {
          IsDependent = Ctx->isDependentContext();
          break;
        }
    }

    if (IsDependent)
      Results.AddResult(CodeCompletionResult("template"));
  }
}
5122}

5124// Returns the RecordDecl inside the BaseType, falling back to primary template
5125// in case of specializations. Since we might not have a decl for the
5126// instantiation/specialization yet, e.g. dependent code.
5127static RecordDecl *getAsRecordDecl(QualType BaseType) {
BaseType = BaseType.getNonReferenceType();
if (auto *RD = BaseType->getAsRecordDecl()) {
  if (const auto *CTSD =
          llvm::dyn_cast<ClassTemplateSpecializationDecl>(RD)) {
    // Template might not be instantiated yet, fall back to primary template
    // in such cases.
    if (CTSD->getTemplateSpecializationKind() == TSK_Undeclared)
      RD = CTSD->getSpecializedTemplate()->getTemplatedDecl();
  }
  return RD;
}

if (const auto *TST = BaseType->getAs<TemplateSpecializationType>()) {
  if (const auto *TD = dyn_cast_or_null<ClassTemplateDecl>(
          TST->getTemplateName().getAsTemplateDecl())) {
    return TD->getTemplatedDecl();
  }
}

return nullptr;
5148}

5150namespace {
5151// Collects completion-relevant information about a concept-constrainted type T.
5152// In particular, examines the constraint expressions to find members of T.
5153//
5154// The design is very simple: we walk down each constraint looking for
5155// expressions of the form T.foo().
5156// If we're extra lucky, the return type is specified.
5157// We don't do any clever handling of && or || in constraint expressions, we
5158// take members from both branches.
5159//
5160// For example, given:
5161//   template <class T> concept X = requires (T t, string& s) { t.print(s); };
5162//   template <X U> void foo(U u) { u.^ }
5163// We want to suggest the inferred member function 'print(string)'.
5164// We see that u has type U, so X<U> holds.
5165// X<U> requires t.print(s) to be valid, where t has type U (substituted for T).
5166// By looking at the CallExpr we find the signature of print().
5167//
5168// While we tend to know in advance which kind of members (access via . -> ::)
5169// we want, it's simpler just to gather them all and post-filter.
5170//
5171// FIXME: some of this machinery could be used for non-concept type-parms too,
5172// enabling completion for type parameters based on other uses of that param.
5173//
5174// FIXME: there are other cases where a type can be constrained by a concept,
5175// e.g. inside `if constexpr(ConceptSpecializationExpr) { ... }`
5176class ConceptInfo {
5177public:
// Describes a likely member of a type, inferred by concept constraints.
// Offered as a code completion for T. T-> and T:: contexts.
struct Member {
  // Always non-null: we only handle members with ordinary identifier names.
  const IdentifierInfo *Name = nullptr;
  // Set for functions we've seen called.
  // We don't have the declared parameter types, only the actual types of
  // arguments we've seen. These are still valuable, as it's hard to render
  // a useful function completion with neither parameter types nor names!
  std::optional<SmallVector<QualType, 1>> ArgTypes;
  // Whether this is accessed as T.member, T->member, or T::member.
  enum AccessOperator {
    Colons,
    Arrow,
    Dot,
  } Operator = Dot;
  // What's known about the type of a variable or return type of a function.
  const TypeConstraint *ResultType = nullptr;
  // FIXME: also track:
  //   - kind of entity (function/variable/type), to expose structured results
  //   - template args kinds/types, as a proxy for template params

  // For now we simply return these results as "pattern" strings.
  CodeCompletionString *render(Sema &S, CodeCompletionAllocator &Alloc,
                               CodeCompletionTUInfo &Info) const {
    CodeCompletionBuilder B(Alloc, Info);
    // Result type
    if (ResultType) {
      std::string AsString;
      {
        llvm::raw_string_ostream OS(AsString);
        QualType ExactType = deduceType(*ResultType);
        if (!ExactType.isNull())
          ExactType.print(OS, getCompletionPrintingPolicy(S));
        else
          ResultType->print(OS, getCompletionPrintingPolicy(S));
      }
      B.AddResultTypeChunk(Alloc.CopyString(AsString));
    }
    // Member name
    B.AddTypedTextChunk(Alloc.CopyString(Name->getName()));
    // Function argument list
    if (ArgTypes) {
      B.AddChunk(clang::CodeCompletionString::CK_LeftParen);
      bool First = true;
      for (QualType Arg : *ArgTypes) {
        if (First)
          First = false;
        else {
          B.AddChunk(clang::CodeCompletionString::CK_Comma);
          B.AddChunk(clang::CodeCompletionString::CK_HorizontalSpace);
        }
        B.AddPlaceholderChunk(Alloc.CopyString(
            Arg.getAsString(getCompletionPrintingPolicy(S))));
      }
      B.AddChunk(clang::CodeCompletionString::CK_RightParen);
    }
    return B.TakeString();
  }
};

// BaseType is the type parameter T to infer members from.
// T must be accessible within S, as we use it to find the template entity
// that T is attached to in order to gather the relevant constraints.
ConceptInfo(const TemplateTypeParmType &BaseType, Scope *S) {
  auto *TemplatedEntity = getTemplatedEntity(BaseType.getDecl(), S);
  for (const Expr *E : constraintsForTemplatedEntity(TemplatedEntity))
    believe(E, &BaseType);
}

std::vector<Member> members() {
  std::vector<Member> Results;
  for (const auto &E : this->Results)
    Results.push_back(E.second);
  llvm::sort(Results, [](const Member &L, const Member &R) {
    return L.Name->getName() < R.Name->getName();
  });
  return Results;
}

5258private:
// Infer members of T, given that the expression E (dependent on T) is true.
void believe(const Expr *E, const TemplateTypeParmType *T) {
  if (!E || !T)
    return;
  if (auto *CSE = dyn_cast<ConceptSpecializationExpr>(E)) {
    // If the concept is
    //   template <class A, class B> concept CD = f<A, B>();
    // And the concept specialization is
    //   CD<int, T>
    // Then we're substituting T for B, so we want to make f<A, B>() true
    // by adding members to B - i.e. believe(f<A, B>(), B);
    //
    // For simplicity:
    // - we don't attempt to substitute int for A
    // - when T is used in other ways (like CD<T*>) we ignore it
    ConceptDecl *CD = CSE->getNamedConcept();
    TemplateParameterList *Params = CD->getTemplateParameters();
    unsigned Index = 0;
    for (const auto &Arg : CSE->getTemplateArguments()) {
      if (Index >= Params->size())
        break; // Won't happen in valid code.
      if (isApprox(Arg, T)) {
        auto *TTPD = dyn_cast<TemplateTypeParmDecl>(Params->getParam(Index));
        if (!TTPD)
          continue;
        // T was used as an argument, and bound to the parameter TT.
        auto *TT = cast<TemplateTypeParmType>(TTPD->getTypeForDecl());
        // So now we know the constraint as a function of TT is true.
        believe(CD->getConstraintExpr(), TT);
        // (concepts themselves have no associated constraints to require)
      }

      ++Index;
    }
  } else if (auto *BO = dyn_cast<BinaryOperator>(E)) {
    // For A && B, we can infer members from both branches.
    // For A || B, the union is still more useful than the intersection.
    if (BO->getOpcode() == BO_LAnd || BO->getOpcode() == BO_LOr) {
      believe(BO->getLHS(), T);
      believe(BO->getRHS(), T);
    }
  } else if (auto *RE = dyn_cast<RequiresExpr>(E)) {
    // A requires(){...} lets us infer members from each requirement.
    for (const concepts::Requirement *Req : RE->getRequirements()) {
      if (!Req->isDependent())
        continue; // Can't tell us anything about T.
      // Now Req cannot a substitution-error: those aren't dependent.

      if (auto *TR = dyn_cast<concepts::TypeRequirement>(Req)) {
        // Do a full traversal so we get `foo` from `typename T::foo::bar`.
        QualType AssertedType = TR->getType()->getType();
        ValidVisitor(this, T).TraverseType(AssertedType);
      } else if (auto *ER = dyn_cast<concepts::ExprRequirement>(Req)) {
        ValidVisitor Visitor(this, T);
        // If we have a type constraint on the value of the expression,
        // AND the whole outer expression describes a member, then we'll
        // be able to use the constraint to provide the return type.
        if (ER->getReturnTypeRequirement().isTypeConstraint()) {
          Visitor.OuterType =
              ER->getReturnTypeRequirement().getTypeConstraint();
          Visitor.OuterExpr = ER->getExpr();
        }
        Visitor.TraverseStmt(ER->getExpr());
      } else if (auto *NR = dyn_cast<concepts::NestedRequirement>(Req)) {
        believe(NR->getConstraintExpr(), T);
      }
    }
  }
}

// This visitor infers members of T based on traversing expressions/types
// that involve T. It is invoked with code known to be valid for T.
class ValidVisitor : public RecursiveASTVisitor<ValidVisitor> {
  ConceptInfo *Outer;
  const TemplateTypeParmType *T;

  CallExpr *Caller = nullptr;
  Expr *Callee = nullptr;

public:
  // If set, OuterExpr is constrained by OuterType.
  Expr *OuterExpr = nullptr;
  const TypeConstraint *OuterType = nullptr;

  ValidVisitor(ConceptInfo *Outer, const TemplateTypeParmType *T)
      : Outer(Outer), T(T) {
    assert(T)(static_cast <bool> (T) ? void (0) : __assert_fail ("T"
, "clang/lib/Sema/SemaCodeComplete.cpp", 5345, __extension__ __PRETTY_FUNCTION__
));
  }

  // In T.foo or T->foo, `foo` is a member function/variable.
  bool VisitCXXDependentScopeMemberExpr(CXXDependentScopeMemberExpr *E) {
    const Type *Base = E->getBaseType().getTypePtr();
    bool IsArrow = E->isArrow();
    if (Base->isPointerType() && IsArrow) {
      IsArrow = false;
      Base = Base->getPointeeType().getTypePtr();
    }
    if (isApprox(Base, T))
      addValue(E, E->getMember(), IsArrow ? Member::Arrow : Member::Dot);
    return true;
  }

  // In T::foo, `foo` is a static member function/variable.
  bool VisitDependentScopeDeclRefExpr(DependentScopeDeclRefExpr *E) {
    if (E->getQualifier() && isApprox(E->getQualifier()->getAsType(), T))
      addValue(E, E->getDeclName(), Member::Colons);
    return true;
  }

  // In T::typename foo, `foo` is a type.
  bool VisitDependentNameType(DependentNameType *DNT) {
    const auto *Q = DNT->getQualifier();
    if (Q && isApprox(Q->getAsType(), T))
      addType(DNT->getIdentifier());
    return true;
  }

  // In T::foo::bar, `foo` must be a type.
  // VisitNNS() doesn't exist, and TraverseNNS isn't always called :-(
  bool TraverseNestedNameSpecifierLoc(NestedNameSpecifierLoc NNSL) {
    if (NNSL) {
      NestedNameSpecifier *NNS = NNSL.getNestedNameSpecifier();
      const auto *Q = NNS->getPrefix();
      if (Q && isApprox(Q->getAsType(), T))
        addType(NNS->getAsIdentifier());
    }
    // FIXME: also handle T::foo<X>::bar
    return RecursiveASTVisitor::TraverseNestedNameSpecifierLoc(NNSL);
  }

  // FIXME also handle T::foo<X>

  // Track the innermost caller/callee relationship so we can tell if a
  // nested expr is being called as a function.
  bool VisitCallExpr(CallExpr *CE) {
    Caller = CE;
    Callee = CE->getCallee();
    return true;
  }

private:
  void addResult(Member &&M) {
    auto R = Outer->Results.try_emplace(M.Name);
    Member &O = R.first->second;
    // Overwrite existing if the new member has more info.
    // The preference of . vs :: vs -> is fairly arbitrary.
    if (/*Inserted*/ R.second ||
        std::make_tuple(M.ArgTypes.has_value(), M.ResultType != nullptr,
                        M.Operator) > std::make_tuple(O.ArgTypes.has_value(),
                                                      O.ResultType != nullptr,
                                                      O.Operator))
      O = std::move(M);
  }

  void addType(const IdentifierInfo *Name) {
    if (!Name)
      return;
    Member M;
    M.Name = Name;
    M.Operator = Member::Colons;
    addResult(std::move(M));
  }

  void addValue(Expr *E, DeclarationName Name,
                Member::AccessOperator Operator) {
    if (!Name.isIdentifier())
      return;
    Member Result;
    Result.Name = Name.getAsIdentifierInfo();
    Result.Operator = Operator;
    // If this is the callee of an immediately-enclosing CallExpr, then
    // treat it as a method, otherwise it's a variable.
    if (Caller != nullptr && Callee == E) {
      Result.ArgTypes.emplace();
      for (const auto *Arg : Caller->arguments())
        Result.ArgTypes->push_back(Arg->getType());
      if (Caller == OuterExpr) {
        Result.ResultType = OuterType;
      }
    } else {
      if (E == OuterExpr)
        Result.ResultType = OuterType;
    }
    addResult(std::move(Result));
  }
};

static bool isApprox(const TemplateArgument &Arg, const Type *T) {
  return Arg.getKind() == TemplateArgument::Type &&
         isApprox(Arg.getAsType().getTypePtr(), T);
}

static bool isApprox(const Type *T1, const Type *T2) {
  return T1 && T2 &&
         T1->getCanonicalTypeUnqualified() ==
             T2->getCanonicalTypeUnqualified();
}

// Returns the DeclContext immediately enclosed by the template parameter
// scope. For primary templates, this is the templated (e.g.) CXXRecordDecl.
// For specializations, this is e.g. ClassTemplatePartialSpecializationDecl.
static DeclContext *getTemplatedEntity(const TemplateTypeParmDecl *D,
                                       Scope *S) {
  if (D == nullptr)
    return nullptr;
  Scope *Inner = nullptr;
  while (S) {
    if (S->isTemplateParamScope() && S->isDeclScope(D))
      return Inner ? Inner->getEntity() : nullptr;
    Inner = S;
    S = S->getParent();
  }
  return nullptr;
}

// Gets all the type constraint expressions that might apply to the type
// variables associated with DC (as returned by getTemplatedEntity()).
static SmallVector<const Expr *, 1>
constraintsForTemplatedEntity(DeclContext *DC) {
  SmallVector<const Expr *, 1> Result;
  if (DC == nullptr)
    return Result;
  // Primary templates can have constraints.
  if (const auto *TD = cast<Decl>(DC)->getDescribedTemplate())
    TD->getAssociatedConstraints(Result);
  // Partial specializations may have constraints.
  if (const auto *CTPSD =
          dyn_cast<ClassTemplatePartialSpecializationDecl>(DC))
    CTPSD->getAssociatedConstraints(Result);
  if (const auto *VTPSD = dyn_cast<VarTemplatePartialSpecializationDecl>(DC))
    VTPSD->getAssociatedConstraints(Result);
  return Result;
}

// Attempt to find the unique type satisfying a constraint.
// This lets us show e.g. `int` instead of `std::same_as<int>`.
static QualType deduceType(const TypeConstraint &T) {
  // Assume a same_as<T> return type constraint is std::same_as or equivalent.
  // In this case the return type is T.
  DeclarationName DN = T.getNamedConcept()->getDeclName();
  if (DN.isIdentifier() && DN.getAsIdentifierInfo()->isStr("same_as"))
    if (const auto *Args = T.getTemplateArgsAsWritten())
      if (Args->getNumTemplateArgs() == 1) {
        const auto &Arg = Args->arguments().front().getArgument();
        if (Arg.getKind() == TemplateArgument::Type)
          return Arg.getAsType();
      }
  return {};
}

llvm::DenseMap<const IdentifierInfo *, Member> Results;
5510};

5512// Returns a type for E that yields acceptable member completions.
5513// In particular, when E->getType() is DependentTy, try to guess a likely type.
5514// We accept some lossiness (like dropping parameters).
5515// We only try to handle common expressions on the LHS of MemberExpr.
5516QualType getApproximateType(const Expr *E) {
if (E->getType().isNull())
  return QualType();
E = E->IgnoreParenImpCasts();
QualType Unresolved = E->getType();
// We only resolve DependentTy, or undeduced autos (including auto* etc).
if (!Unresolved->isSpecificBuiltinType(BuiltinType::Dependent)) {
  AutoType *Auto = Unresolved->getContainedAutoType();
  if (!Auto || !Auto->isUndeducedAutoType())
    return Unresolved;
}
// A call: approximate-resolve callee to a function type, get its return type
if (const CallExpr *CE = llvm::dyn_cast<CallExpr>(E)) {
  QualType Callee = getApproximateType(CE->getCallee());
  if (Callee.isNull() ||
      Callee->isSpecificPlaceholderType(BuiltinType::BoundMember))
    Callee = Expr::findBoundMemberType(CE->getCallee());
  if (Callee.isNull())
    return Unresolved;

  if (const auto *FnTypePtr = Callee->getAs<PointerType>()) {
    Callee = FnTypePtr->getPointeeType();
  } else if (const auto *BPT = Callee->getAs<BlockPointerType>()) {
    Callee = BPT->getPointeeType();
  }
  if (const FunctionType *FnType = Callee->getAs<FunctionType>())
    return FnType->getReturnType().getNonReferenceType();

  // Unresolved call: try to guess the return type.
  if (const auto *OE = llvm::dyn_cast<OverloadExpr>(CE->getCallee())) {
    // If all candidates have the same approximate return type, use it.
    // Discard references and const to allow more to be "the same".
    // (In particular, if there's one candidate + ADL, resolve it).
    const Type *Common = nullptr;
    for (const auto *D : OE->decls()) {
      QualType ReturnType;
      if (const auto *FD = llvm::dyn_cast<FunctionDecl>(D))
        ReturnType = FD->getReturnType();
      else if (const auto *FTD = llvm::dyn_cast<FunctionTemplateDecl>(D))
        ReturnType = FTD->getTemplatedDecl()->getReturnType();
      if (ReturnType.isNull())
        continue;
      const Type *Candidate =
          ReturnType.getNonReferenceType().getCanonicalType().getTypePtr();
      if (Common && Common != Candidate)
        return Unresolved; // Multiple candidates.
      Common = Candidate;
    }
    if (Common != nullptr)
      return QualType(Common, 0);
  }
}
// A dependent member: approximate-resolve the base, then lookup.
if (const auto *CDSME = llvm::dyn_cast<CXXDependentScopeMemberExpr>(E)) {
  QualType Base = CDSME->isImplicitAccess()
                      ? CDSME->getBaseType()
                      : getApproximateType(CDSME->getBase());
  if (CDSME->isArrow() && !Base.isNull())
    Base = Base->getPointeeType(); // could handle unique_ptr etc here?
  auto *RD =
      Base.isNull()
          ? nullptr
          : llvm::dyn_cast_or_null<CXXRecordDecl>(getAsRecordDecl(Base));
  if (RD && RD->isCompleteDefinition()) {
    // Look up member heuristically, including in bases.
    for (const auto *Member : RD->lookupDependentName(
             CDSME->getMember(), [](const NamedDecl *Member) {
               return llvm::isa<ValueDecl>(Member);
             })) {
      return llvm::cast<ValueDecl>(Member)->getType().getNonReferenceType();
    }
  }
}
// A reference to an `auto` variable: approximate-resolve its initializer.
if (const auto *DRE = llvm::dyn_cast<DeclRefExpr>(E)) {
  if (const auto *VD = llvm::dyn_cast<VarDecl>(DRE->getDecl())) {
    if (VD->hasInit())
      return getApproximateType(VD->getInit());
  }
}
return Unresolved;
5597}

5599// If \p Base is ParenListExpr, assume a chain of comma operators and pick the
5600// last expr. We expect other ParenListExprs to be resolved to e.g. constructor
5601// calls before here. (So the ParenListExpr should be nonempty, but check just
5602// in case)
5603Expr *unwrapParenList(Expr *Base) {
if (auto *PLE = llvm::dyn_cast_or_null<ParenListExpr>(Base)) {
  if (PLE->getNumExprs() == 0)
    return nullptr;
  Base = PLE->getExpr(PLE->getNumExprs() - 1);
}
return Base;
5610}

5612} // namespace

5614void Sema::CodeCompleteMemberReferenceExpr(Scope *S, Expr *Base,
                                         Expr *OtherOpBase,
                                         SourceLocation OpLoc, bool IsArrow,
                                         bool IsBaseExprStatement,
                                         QualType PreferredType) {
Base = unwrapParenList(Base);
OtherOpBase = unwrapParenList(OtherOpBase);
if (!Base || !CodeCompleter)
  return;

ExprResult ConvertedBase = PerformMemberExprBaseConversion(Base, IsArrow);
if (ConvertedBase.isInvalid())
  return;
QualType ConvertedBaseType = getApproximateType(ConvertedBase.get());

enum CodeCompletionContext::Kind contextKind;

if (IsArrow) {
  if (const auto *Ptr = ConvertedBaseType->getAs<PointerType>())
    ConvertedBaseType = Ptr->getPointeeType();
}

if (IsArrow) {
  contextKind = CodeCompletionContext::CCC_ArrowMemberAccess;
} else {
  if (ConvertedBaseType->isObjCObjectPointerType() ||
      ConvertedBaseType->isObjCObjectOrInterfaceType()) {
    contextKind = CodeCompletionContext::CCC_ObjCPropertyAccess;
  } else {
    contextKind = CodeCompletionContext::CCC_DotMemberAccess;
  }
}

CodeCompletionContext CCContext(contextKind, ConvertedBaseType);
CCContext.setPreferredType(PreferredType);
ResultBuilder Results(*this, CodeCompleter->getAllocator(),
                      CodeCompleter->getCodeCompletionTUInfo(), CCContext,
                      &ResultBuilder::IsMember);

auto DoCompletion = [&](Expr *Base, bool IsArrow,
                        std::optional<FixItHint> AccessOpFixIt) -> bool {
  if (!Base)
    return false;

  ExprResult ConvertedBase = PerformMemberExprBaseConversion(Base, IsArrow);
  if (ConvertedBase.isInvalid())
    return false;
  Base = ConvertedBase.get();

  QualType BaseType = getApproximateType(Base);
  if (BaseType.isNull())
    return false;
  ExprValueKind BaseKind = Base->getValueKind();

  if (IsArrow) {
    if (const PointerType *Ptr = BaseType->getAs<PointerType>()) {
      BaseType = Ptr->getPointeeType();
      BaseKind = VK_LValue;
    } else if (BaseType->isObjCObjectPointerType() ||
               BaseType->isTemplateTypeParmType()) {
      // Both cases (dot/arrow) handled below.
    } else {
      return false;
    }
  }

  if (RecordDecl *RD = getAsRecordDecl(BaseType)) {
    AddRecordMembersCompletionResults(*this, Results, S, BaseType, BaseKind,
                                      RD, std::move(AccessOpFixIt));
  } else if (const auto *TTPT =
                 dyn_cast<TemplateTypeParmType>(BaseType.getTypePtr())) {
    auto Operator =
        IsArrow ? ConceptInfo::Member::Arrow : ConceptInfo::Member::Dot;
    for (const auto &R : ConceptInfo(*TTPT, S).members()) {
      if (R.Operator != Operator)
        continue;
      CodeCompletionResult Result(
          R.render(*this, CodeCompleter->getAllocator(),
                   CodeCompleter->getCodeCompletionTUInfo()));
      if (AccessOpFixIt)
        Result.FixIts.push_back(*AccessOpFixIt);
      Results.AddResult(std::move(Result));
    }
  } else if (!IsArrow && BaseType->isObjCObjectPointerType()) {
    // Objective-C property reference. Bail if we're performing fix-it code
    // completion since Objective-C properties are normally backed by ivars,
    // most Objective-C fix-its here would have little value.
    if (AccessOpFixIt) {
      return false;
    }
    AddedPropertiesSet AddedProperties;

    if (const ObjCObjectPointerType *ObjCPtr =
            BaseType->getAsObjCInterfacePointerType()) {
      // Add property results based on our interface.
      assert(ObjCPtr && "Non-NULL pointer guaranteed above!")(static_cast <bool> (ObjCPtr && "Non-NULL pointer guaranteed above!"
) ? void (0) : __assert_fail ("ObjCPtr && \"Non-NULL pointer guaranteed above!\""
, "clang/lib/Sema/SemaCodeComplete.cpp", 5709, __extension__ __PRETTY_FUNCTION__
));
      AddObjCProperties(CCContext, ObjCPtr->getInterfaceDecl(), true,
                        /*AllowNullaryMethods=*/true, CurContext,
                        AddedProperties, Results, IsBaseExprStatement);
    }

    // Add properties from the protocols in a qualified interface.
    for (auto *I : BaseType->castAs<ObjCObjectPointerType>()->quals())
      AddObjCProperties(CCContext, I, true, /*AllowNullaryMethods=*/true,
                        CurContext, AddedProperties, Results,
                        IsBaseExprStatement, /*IsClassProperty*/ false,
                        /*InOriginalClass*/ false);
  } else if ((IsArrow && BaseType->isObjCObjectPointerType()) ||
             (!IsArrow && BaseType->isObjCObjectType())) {
    // Objective-C instance variable access. Bail if we're performing fix-it
    // code completion since Objective-C properties are normally backed by
    // ivars, most Objective-C fix-its here would have little value.
    if (AccessOpFixIt) {
      return false;
    }
    ObjCInterfaceDecl *Class = nullptr;
    if (const ObjCObjectPointerType *ObjCPtr =
            BaseType->getAs<ObjCObjectPointerType>())
      Class = ObjCPtr->getInterfaceDecl();
    else
      Class = BaseType->castAs<ObjCObjectType>()->getInterface();

    // Add all ivars from this class and its superclasses.
    if (Class) {
      CodeCompletionDeclConsumer Consumer(Results, Class, BaseType);
      Results.setFilter(&ResultBuilder::IsObjCIvar);
      LookupVisibleDecls(
          Class, LookupMemberName, Consumer, CodeCompleter->includeGlobals(),
          /*IncludeDependentBases=*/false, CodeCompleter->loadExternal());
    }
  }

  // FIXME: How do we cope with isa?
  return true;
};

Results.EnterNewScope();

bool CompletionSucceded = DoCompletion(Base, IsArrow, std::nullopt);
if (CodeCompleter->includeFixIts()) {
  const CharSourceRange OpRange =
      CharSourceRange::getTokenRange(OpLoc, OpLoc);
  CompletionSucceded |= DoCompletion(
      OtherOpBase, !IsArrow,
      FixItHint::CreateReplacement(OpRange, IsArrow ? "." : "->"));
}

Results.ExitScope();

if (!CompletionSucceded)
  return;

// Hand off the results found for code completion.
HandleCodeCompleteResults(this, CodeCompleter, Results.getCompletionContext(),
                          Results.data(), Results.size());
5769}

5771void Sema::CodeCompleteObjCClassPropertyRefExpr(Scope *S,
                                              IdentifierInfo &ClassName,
                                              SourceLocation ClassNameLoc,
                                              bool IsBaseExprStatement) {
IdentifierInfo *ClassNamePtr = &ClassName;
ObjCInterfaceDecl *IFace = getObjCInterfaceDecl(ClassNamePtr, ClassNameLoc);
if (!IFace)
  return;
CodeCompletionContext CCContext(
    CodeCompletionContext::CCC_ObjCPropertyAccess);
ResultBuilder Results(*this, CodeCompleter->getAllocator(),
                      CodeCompleter->getCodeCompletionTUInfo(), CCContext,
                      &ResultBuilder::IsMember);
Results.EnterNewScope();
AddedPropertiesSet AddedProperties;
AddObjCProperties(CCContext, IFace, true,
                  /*AllowNullaryMethods=*/true, CurContext, AddedProperties,
                  Results, IsBaseExprStatement,
                  /*IsClassProperty=*/true);
Results.ExitScope();
HandleCodeCompleteResults(this, CodeCompleter, Results.getCompletionContext(),
                          Results.data(), Results.size());
5793}

5795void Sema::CodeCompleteTag(Scope *S, unsigned TagSpec) {
if (!CodeCompleter)
  return;

ResultBuilder::LookupFilter Filter = nullptr;
enum CodeCompletionContext::Kind ContextKind =
    CodeCompletionContext::CCC_Other;
switch ((DeclSpec::TST)TagSpec) {
case DeclSpec::TST_enum:
  Filter = &ResultBuilder::IsEnum;
  ContextKind = CodeCompletionContext::CCC_EnumTag;
  break;

case DeclSpec::TST_union:
  Filter = &ResultBuilder::IsUnion;
  ContextKind = CodeCompletionContext::CCC_UnionTag;
  break;

case DeclSpec::TST_struct:
case DeclSpec::TST_class:
case DeclSpec::TST_interface:
  Filter = &ResultBuilder::IsClassOrStruct;
  ContextKind = CodeCompletionContext::CCC_ClassOrStructTag;
  break;

default:
  llvm_unreachable("Unknown type specifier kind in CodeCompleteTag")::llvm::llvm_unreachable_internal("Unknown type specifier kind in CodeCompleteTag"
, "clang/lib/Sema/SemaCodeComplete.cpp", 5821);
}

ResultBuilder Results(*this, CodeCompleter->getAllocator(),
                      CodeCompleter->getCodeCompletionTUInfo(), ContextKind);
CodeCompletionDeclConsumer Consumer(Results, CurContext);

// First pass: look for tags.
Results.setFilter(Filter);
LookupVisibleDecls(S, LookupTagName, Consumer,
                   CodeCompleter->includeGlobals(),
                   CodeCompleter->loadExternal());

if (CodeCompleter->includeGlobals()) {
  // Second pass: look for nested name specifiers.
  Results.setFilter(&ResultBuilder::IsNestedNameSpecifier);
  LookupVisibleDecls(S, LookupNestedNameSpecifierName, Consumer,
                     CodeCompleter->includeGlobals(),
                     CodeCompleter->loadExternal());
}

HandleCodeCompleteResults(this, CodeCompleter, Results.getCompletionContext(),
                          Results.data(), Results.size());
5844}

5846static void AddTypeQualifierResults(DeclSpec &DS, ResultBuilder &Results,
                                  const LangOptions &LangOpts) {
if (!(DS.getTypeQualifiers() & DeclSpec::TQ_const))
  Results.AddResult("const");
if (!(DS.getTypeQualifiers() & DeclSpec::TQ_volatile))
  Results.AddResult("volatile");
if (LangOpts.C99 && !(DS.getTypeQualifiers() & DeclSpec::TQ_restrict))
  Results.AddResult("restrict");
if (LangOpts.C11 && !(DS.getTypeQualifiers() & DeclSpec::TQ_atomic))
  Results.AddResult("_Atomic");
if (LangOpts.MSVCCompat && !(DS.getTypeQualifiers() & DeclSpec::TQ_unaligned))
  Results.AddResult("__unaligned");
5858}

5860void Sema::CodeCompleteTypeQualifiers(DeclSpec &DS) {
ResultBuilder Results(*this, CodeCompleter->getAllocator(),
                      CodeCompleter->getCodeCompletionTUInfo(),
                      CodeCompletionContext::CCC_TypeQualifiers);
Results.EnterNewScope();
AddTypeQualifierResults(DS, Results, LangOpts);
Results.ExitScope();
HandleCodeCompleteResults(this, CodeCompleter, Results.getCompletionContext(),
                          Results.data(), Results.size());
5869}

5871void Sema::CodeCompleteFunctionQualifiers(DeclSpec &DS, Declarator &D,
                                        const VirtSpecifiers *VS) {
ResultBuilder Results(*this, CodeCompleter->getAllocator(),
                      CodeCompleter->getCodeCompletionTUInfo(),
                      CodeCompletionContext::CCC_TypeQualifiers);
Results.EnterNewScope();
AddTypeQualifierResults(DS, Results, LangOpts);
if (LangOpts.CPlusPlus11) {
  Results.AddResult("noexcept");
  if (D.getContext() == DeclaratorContext::Member && !D.isCtorOrDtor() &&
      !D.isStaticMember()) {
    if (!VS || !VS->isFinalSpecified())
      Results.AddResult("final");
    if (!VS || !VS->isOverrideSpecified())
      Results.AddResult("override");
  }
}
Results.ExitScope();
HandleCodeCompleteResults(this, CodeCompleter, Results.getCompletionContext(),
                          Results.data(), Results.size());
5891}

5893void Sema::CodeCompleteBracketDeclarator(Scope *S) {
CodeCompleteExpression(S, QualType(getASTContext().getSizeType()));
5895}

5897void Sema::CodeCompleteCase(Scope *S) {
if (getCurFunction()->SwitchStack.empty() || !CodeCompleter)
  return;

SwitchStmt *Switch = getCurFunction()->SwitchStack.back().getPointer();
// Condition expression might be invalid, do not continue in this case.
if (!Switch->getCond())
  return;
QualType type = Switch->getCond()->IgnoreImplicit()->getType();
if (!type->isEnumeralType()) {
  CodeCompleteExpressionData Data(type);
  Data.IntegralConstantExpression = true;
  CodeCompleteExpression(S, Data);
  return;
}

// Code-complete the cases of a switch statement over an enumeration type
// by providing the list of
EnumDecl *Enum = type->castAs<EnumType>()->getDecl();
if (EnumDecl *Def = Enum->getDefinition())
  Enum = Def;

// Determine which enumerators we have already seen in the switch statement.
// FIXME: Ideally, we would also be able to look *past* the code-completion
// token, in case we are code-completing in the middle of the switch and not
// at the end. However, we aren't able to do so at the moment.
CoveredEnumerators Enumerators;
for (SwitchCase *SC = Switch->getSwitchCaseList(); SC;
     SC = SC->getNextSwitchCase()) {
  CaseStmt *Case = dyn_cast<CaseStmt>(SC);
  if (!Case)
    continue;

  Expr *CaseVal = Case->getLHS()->IgnoreParenCasts();
  if (auto *DRE = dyn_cast<DeclRefExpr>(CaseVal))
    if (auto *Enumerator =
            dyn_cast<EnumConstantDecl>(DRE->getDecl())) {
      // We look into the AST of the case statement to determine which
      // enumerator was named. Alternatively, we could compute the value of
      // the integral constant expression, then compare it against the
      // values of each enumerator. However, value-based approach would not
      // work as well with C++ templates where enumerators declared within a
      // template are type- and value-dependent.
      Enumerators.Seen.insert(Enumerator);

      // If this is a qualified-id, keep track of the nested-name-specifier
      // so that we can reproduce it as part of code completion, e.g.,
      //
      //   switch (TagD.getKind()) {
      //     case TagDecl::TK_enum:
      //       break;
      //     case XXX
      //
      // At the XXX, our completions are TagDecl::TK_union,
      // TagDecl::TK_struct, and TagDecl::TK_class, rather than TK_union,
      // TK_struct, and TK_class.
      Enumerators.SuggestedQualifier = DRE->getQualifier();
    }
}

// Add any enumerators that have not yet been mentioned.
ResultBuilder Results(*this, CodeCompleter->getAllocator(),
                      CodeCompleter->getCodeCompletionTUInfo(),
                      CodeCompletionContext::CCC_Expression);
AddEnumerators(Results, Context, Enum, CurContext, Enumerators);

if (CodeCompleter->includeMacros()) {
  AddMacroResults(PP, Results, CodeCompleter->loadExternal(), false);
}
HandleCodeCompleteResults(this, CodeCompleter, Results.getCompletionContext(),
                          Results.data(), Results.size());
5968}

5970static bool anyNullArguments(ArrayRef<Expr *> Args) {
if (Args.size() && !Args.data())
  return true;

for (unsigned I = 0; I != Args.size(); ++I)
  if (!Args[I])
    return true;

return false;
5979}

5981typedef CodeCompleteConsumer::OverloadCandidate ResultCandidate;

5983static void mergeCandidatesWithResults(
  Sema &SemaRef, SmallVectorImpl<ResultCandidate> &Results,
  OverloadCandidateSet &CandidateSet, SourceLocation Loc, size_t ArgSize) {
// Sort the overload candidate set by placing the best overloads first.
llvm::stable_sort(CandidateSet, [&](const OverloadCandidate &X,
                                    const OverloadCandidate &Y) {
  return isBetterOverloadCandidate(SemaRef, X, Y, Loc,
                                   CandidateSet.getKind());
});

// Add the remaining viable overload candidates as code-completion results.
for (OverloadCandidate &Candidate : CandidateSet) {
  if (Candidate.Function) {
    if (Candidate.Function->isDeleted())
      continue;
    if (shouldEnforceArgLimit(/*PartialOverloading=*/true,
                              Candidate.Function) &&
        Candidate.Function->getNumParams() <= ArgSize &&
        // Having zero args is annoying, normally we don't surface a function
        // with 2 params, if you already have 2 params, because you are
        // inserting the 3rd now. But with zero, it helps the user to figure
        // out there are no overloads that take any arguments. Hence we are
        // keeping the overload.
        ArgSize > 0)
      continue;
  }
  if (Candidate.Viable)
    Results.push_back(ResultCandidate(Candidate.Function));
}
6012}

6014/// Get the type of the Nth parameter from a given set of overload
6015/// candidates.
6016static QualType getParamType(Sema &SemaRef,
                           ArrayRef<ResultCandidate> Candidates, unsigned N) {

// Given the overloads 'Candidates' for a function call matching all arguments
// up to N, return the type of the Nth parameter if it is the same for all
// overload candidates.
QualType ParamType;
for (auto &Candidate : Candidates) {
  QualType CandidateParamType = Candidate.getParamType(N);
  if (CandidateParamType.isNull())
    continue;
  if (ParamType.isNull()) {
    ParamTy