//===- Scope.cpp - Lexical scope information --------------------*- C++ -*-===//

//

// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.

// See https://llvm.org/LICENSE.txt for license information.

// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception

//

//===----------------------------------------------------------------------===//

//

// This file implements the Scope class, which is used for recording

// information about a lexical scope.

//

//===----------------------------------------------------------------------===//

#include "clang/Sema/Scope.h"

#include "clang/AST/Decl.h"

#include "llvm/Support/raw_ostream.h"

using namespace clang;

void Scope::setFlags(Scope *parent, unsigned flags) {

  AnyParent = parent;

  Flags = flags;

  if (parent && 
!(flags & FnScope)23.8M
) {

    BreakParent    = parent->BreakParent;

    ContinueParent = parent->ContinueParent;

  } else {

    // Control scopes do not contain the contents of nested function scopes for

    // control flow purposes.

    BreakParent = ContinueParent = nullptr;

  }

  if (parent) {

    Depth = parent->Depth + 1;

    PrototypeDepth = parent->PrototypeDepth;

    PrototypeIndex = 0;

    FnParent       = parent->FnParent;

    BlockParent    = parent->BlockParent;

    TemplateParamParent = parent->TemplateParamParent;

    MSLastManglingParent = parent->MSLastManglingParent;

    MSCurManglingNumber = getMSLastManglingNumber();

    if ((Flags & (FnScope | ClassScope | BlockScope | TemplateParamScope |

                  FunctionPrototypeScope | AtCatchScope | ObjCMethodScope)) ==

        0)

      Flags |= parent->getFlags() & OpenMPSimdDirectiveScope;

  } else {

    Depth = 0;

    PrototypeDepth = 0;

    PrototypeIndex = 0;

    MSLastManglingParent = FnParent = BlockParent = nullptr;

    TemplateParamParent = nullptr;

    MSLastManglingNumber = 1;

    MSCurManglingNumber = 1;

  }

  // If this scope is a function or contains breaks/continues, remember it.

  if (flags & FnScope)            
FnParent = this3.37M
;

  // The MS mangler uses the number of scopes that can hold declarations as

  // part of an external name.

  if (Flags & (ClassScope | FnScope)) {

    MSLastManglingNumber = getMSLastManglingNumber();

    MSLastManglingParent = this;

    MSCurManglingNumber = 1;

  }

  if (flags & BreakScope)         
BreakParent = this48.6k
;

  if (flags & ContinueScope)      
ContinueParent = this48.6k
;

  if (flags & BlockScope)         
BlockParent = this8.81k
;

  if (flags & TemplateParamScope) 
TemplateParamParent = this1.23M
;

  // If this is a prototype scope, record that.

  if (flags & FunctionPrototypeScope) 
PrototypeDepth++15.1M
;

  if (flags & DeclScope) {

    if (flags & FunctionPrototypeScope)

      ; // Prototype scopes are uninteresting.

    else if ((flags & ClassScope) && 
getParent()->isClassScope()1.38M
)

      ; // Nested class scopes aren't ambiguous.

    else if ((flags & ClassScope) && 
getParent()->getFlags() == DeclScope1.13M
)

      ; // Classes inside of namespaces aren't ambiguous.

    else if ((flags & EnumScope))

      ; // Don't increment for enum scopes.

    else

      incrementMSManglingNumber();

  }

}

void Scope::Init(Scope *parent, unsigned flags) {

  setFlags(parent, flags);

  DeclsInScope.clear();

  UsingDirectives.clear();

  Entity = nullptr;

  ErrorTrap.reset();

  NRVO.setPointerAndInt(nullptr, 0);

}

bool Scope::containedInPrototypeScope() const {

  const Scope *S = this;

  while (S) {

    if (S->isFunctionPrototypeScope())

      return true;

    S = S->getParent();

  }

  return false;

}

void Scope::AddFlags(unsigned FlagsToSet) {

  assert((FlagsToSet & ~(BreakScope | ContinueScope)) == 0 &&

         "Unsupported scope flags");

  if (FlagsToSet & BreakScope) {

    assert((Flags & BreakScope) == 0 && "Already set");

    BreakParent = this;

  }

  if (FlagsToSet & ContinueScope) {

    assert((Flags & ContinueScope) == 0 && "Already set");

    ContinueParent = this;

  }

  Flags |= FlagsToSet;

}

void Scope::mergeNRVOIntoParent() {

  if (VarDecl *Candidate = NRVO.getPointer()) {

    if (isDeclScope(Candidate))

      Candidate->setNRVOVariable(true);

  }

  if (getEntity())

    return;

  if (NRVO.getInt())

    getParent()->setNoNRVO();

  else if (NRVO.getPointer())

    getParent()->addNRVOCandidate(NRVO.getPointer());

}

LLVM_DUMP_METHOD void Scope::dump() const { dumpImpl(llvm::errs()); }

void Scope::dumpImpl(raw_ostream &OS) const {

  unsigned Flags = getFlags();

  bool HasFlags = Flags != 0;

  if (HasFlags)

    OS << "Flags: ";

  std::pair<unsigned, const char *> FlagInfo[] = {

      {FnScope, "FnScope"},

      {BreakScope, "BreakScope"},

      {ContinueScope, "ContinueScope"},

      {DeclScope, "DeclScope"},

      {ControlScope, "ControlScope"},

      {ClassScope, "ClassScope"},

      {BlockScope, "BlockScope"},

      {TemplateParamScope, "TemplateParamScope"},

      {FunctionPrototypeScope, "FunctionPrototypeScope"},

      {FunctionDeclarationScope, "FunctionDeclarationScope"},

      {AtCatchScope, "AtCatchScope"},

      {ObjCMethodScope, "ObjCMethodScope"},

      {SwitchScope, "SwitchScope"},

      {TryScope, "TryScope"},

      {FnTryCatchScope, "FnTryCatchScope"},

      {OpenMPDirectiveScope, "OpenMPDirectiveScope"},

      {OpenMPLoopDirectiveScope, "OpenMPLoopDirectiveScope"},

      {OpenMPSimdDirectiveScope, "OpenMPSimdDirectiveScope"},

      {EnumScope, "EnumScope"},

      {SEHTryScope, "SEHTryScope"},

      {SEHExceptScope, "SEHExceptScope"},

      {SEHFilterScope, "SEHFilterScope"},

      {CompoundStmtScope, "CompoundStmtScope"},

      {ClassInheritanceScope, "ClassInheritanceScope"},

      {CatchScope, "CatchScope"},

  };

  for (auto Info : FlagInfo) {

    if (Flags & Info.first) {

      OS << Info.second;

      Flags &= ~Info.first;

      if (Flags)

        OS << " | ";

    }

  }

  assert(Flags == 0 && "Unknown scope flags");

  if (HasFlags)

    OS << '\n';

  if (const Scope *Parent = getParent())

    OS << "Parent: (clang::Scope*)" << Parent << '\n';

  OS << "Depth: " << Depth << '\n';

  OS << "MSLastManglingNumber: " << getMSLastManglingNumber() << '\n';

  OS << "MSCurManglingNumber: " << getMSCurManglingNumber() << '\n';

  if (const DeclContext *DC = getEntity())

    OS << "Entity : (clang::DeclContext*)" << DC << '\n';

  if (NRVO.getInt())

    OS << "NRVO not allowed\n";

  else if (NRVO.getPointer())

    OS << "NRVO candidate : (clang::VarDecl*)" << NRVO.getPointer() << '\n';

}