File Manager

003 File Manager

Current Path: /usr/src/contrib/llvm-project/clang/lib/AST

usr / src / contrib / llvm-project / clang / lib / AST /

📁 ..
📄 APValue.cpp(23.33 KB)
📄 ASTConcept.cpp(2.7 KB)
📄 ASTConsumer.cpp(954 B)
📄 ASTContext.cpp(407.36 KB)
📄 ASTDiagnostic.cpp(75.78 KB)
📄 ASTDumper.cpp(9.52 KB)
📄 ASTImporter.cpp(323.93 KB)
📄 ASTImporterLookupTable.cpp(4.85 KB)
📄 ASTStructuralEquivalence.cpp(73.55 KB)
📄 ASTTypeTraits.cpp(6.42 KB)
📄 AttrImpl.cpp(5.3 KB)
📄 CXXABI.h(2.66 KB)
📄 CXXInheritance.cpp(28.55 KB)
📄 Comment.cpp(11.94 KB)
📄 CommentBriefParser.cpp(4.19 KB)
📄 CommentCommandTraits.cpp(4.63 KB)
📄 CommentLexer.cpp(25.38 KB)
📄 CommentParser.cpp(23.52 KB)
📄 CommentSema.cpp(40.88 KB)
📄 ComparisonCategories.cpp(7.23 KB)
📄 ComputeDependence.cpp(28.3 KB)
📄 DataCollection.cpp(1.83 KB)
📄 Decl.cpp(177.21 KB)
📄 DeclBase.cpp(63.37 KB)
📄 DeclCXX.cpp(127.53 KB)
📄 DeclFriend.cpp(2.76 KB)
📄 DeclGroup.cpp(1.16 KB)
📄 DeclObjC.cpp(82.05 KB)
📄 DeclOpenMP.cpp(10.04 KB)
📄 DeclPrinter.cpp(52.6 KB)
📄 DeclTemplate.cpp(57.75 KB)
📄 DeclarationName.cpp(17.52 KB)
📄 Expr.cpp(176.93 KB)
📄 ExprCXX.cpp(69.03 KB)
📄 ExprClassification.cpp(28.48 KB)
📄 ExprConcepts.cpp(9.43 KB)
📄 ExprConstant.cpp(538.88 KB)
📄 ExprObjC.cpp(14.25 KB)
📄 ExternalASTMerger.cpp(22.13 KB)
📄 ExternalASTSource.cpp(3.85 KB)
📄 FormatString.cpp(29.64 KB)
📄 FormatStringParsing.h(3.17 KB)
📄 InheritViz.cpp(5.1 KB)
📁 Interp
📄 ItaniumCXXABI.cpp(8.92 KB)
📄 ItaniumMangle.cpp(182.64 KB)
📄 JSONNodeDumper.cpp(58.07 KB)
📄 Linkage.h(6 KB)
📄 Mangle.cpp(17.71 KB)
📄 MicrosoftCXXABI.cpp(9.12 KB)
📄 MicrosoftMangle.cpp(133.01 KB)
📄 NSAPI.cpp(18.12 KB)
📄 NestedNameSpecifier.cpp(23.31 KB)
📄 ODRHash.cpp(29.78 KB)
📄 OSLog.cpp(7.61 KB)
📄 OpenMPClause.cpp(82.03 KB)
📄 ParentMap.cpp(5.97 KB)
📄 ParentMapContext.cpp(10.7 KB)
📄 PrintfFormatString.cpp(35.8 KB)
📄 QualTypeNames.cpp(18.46 KB)
📄 RawCommentList.cpp(15.52 KB)
📄 RecordLayout.cpp(3.95 KB)
📄 RecordLayoutBuilder.cpp(132.78 KB)
📄 ScanfFormatString.cpp(18.62 KB)
📄 SelectorLocationsKind.cpp(4.48 KB)
📄 Stmt.cpp(45.04 KB)
📄 StmtCXX.cpp(5 KB)
📄 StmtIterator.cpp(2.92 KB)
📄 StmtObjC.cpp(2.75 KB)
📄 StmtOpenMP.cpp(98.6 KB)
📄 StmtPrinter.cpp(70.34 KB)
📄 StmtProfile.cpp(60.24 KB)
📄 StmtViz.cpp(1.75 KB)
📄 TemplateBase.cpp(16.19 KB)
📄 TemplateName.cpp(9.96 KB)
📄 TextNodeDumper.cpp(61.83 KB)
📄 Type.cpp(144.42 KB)
📄 TypeLoc.cpp(20.52 KB)
📄 TypePrinter.cpp(63.28 KB)
📄 VTTBuilder.cpp(7.25 KB)
📄 VTableBuilder.cpp(139.78 KB)

Editing: ExprConcepts.cpp

//===- ExprCXX.cpp - (C++) Expression AST Node Implementation -------------===//
//
// 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 subclesses of Expr class declared in ExprCXX.h
//
//===----------------------------------------------------------------------===//

#include "clang/AST/ExprConcepts.h"
#include "clang/AST/ASTConcept.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/ComputeDependence.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclTemplate.h"
#include "clang/AST/DeclarationName.h"
#include "clang/AST/DependenceFlags.h"
#include "clang/AST/Expr.h"
#include "clang/AST/NestedNameSpecifier.h"
#include "clang/AST/TemplateBase.h"
#include "clang/AST/Type.h"
#include "clang/Basic/SourceLocation.h"
#include "llvm/Support/TrailingObjects.h"
#include <algorithm>
#include <string>
#include <utility>

using namespace clang;

ConceptSpecializationExpr::ConceptSpecializationExpr(
    const ASTContext &C, NestedNameSpecifierLoc NNS,
    SourceLocation TemplateKWLoc, DeclarationNameInfo ConceptNameInfo,
    NamedDecl *FoundDecl, ConceptDecl *NamedConcept,
    const ASTTemplateArgumentListInfo *ArgsAsWritten,
    ArrayRef<TemplateArgument> ConvertedArgs,
    const ConstraintSatisfaction *Satisfaction)
    : Expr(ConceptSpecializationExprClass, C.BoolTy, VK_RValue, OK_Ordinary),
      ConceptReference(NNS, TemplateKWLoc, ConceptNameInfo, FoundDecl,
                       NamedConcept, ArgsAsWritten),
      NumTemplateArgs(ConvertedArgs.size()),
      Satisfaction(Satisfaction
                       ? ASTConstraintSatisfaction::Create(C, *Satisfaction)
                       : nullptr) {
  setTemplateArguments(ConvertedArgs);
  setDependence(computeDependence(this, /*ValueDependent=*/!Satisfaction));

// Currently guaranteed by the fact concepts can only be at namespace-scope.
  assert(!NestedNameSpec ||
         (!NestedNameSpec.getNestedNameSpecifier()->isInstantiationDependent() &&
          !NestedNameSpec.getNestedNameSpecifier()
              ->containsUnexpandedParameterPack()));
  assert((!isValueDependent() || isInstantiationDependent()) &&
         "should not be value-dependent");
}

ConceptSpecializationExpr::ConceptSpecializationExpr(EmptyShell Empty,
    unsigned NumTemplateArgs)
    : Expr(ConceptSpecializationExprClass, Empty), ConceptReference(),
      NumTemplateArgs(NumTemplateArgs) { }

void ConceptSpecializationExpr::setTemplateArguments(
    ArrayRef<TemplateArgument> Converted) {
  assert(Converted.size() == NumTemplateArgs);
  std::uninitialized_copy(Converted.begin(), Converted.end(),
                          getTrailingObjects<TemplateArgument>());
}

ConceptSpecializationExpr *
ConceptSpecializationExpr::Create(const ASTContext &C,
                                  NestedNameSpecifierLoc NNS,
                                  SourceLocation TemplateKWLoc,
                                  DeclarationNameInfo ConceptNameInfo,
                                  NamedDecl *FoundDecl,
                                  ConceptDecl *NamedConcept,
                               const ASTTemplateArgumentListInfo *ArgsAsWritten,
                                  ArrayRef<TemplateArgument> ConvertedArgs,
                                  const ConstraintSatisfaction *Satisfaction) {
  void *Buffer = C.Allocate(totalSizeToAlloc<TemplateArgument>(
                                ConvertedArgs.size()));
  return new (Buffer) ConceptSpecializationExpr(C, NNS, TemplateKWLoc,
                                                ConceptNameInfo, FoundDecl,
                                                NamedConcept, ArgsAsWritten,
                                                ConvertedArgs, Satisfaction);
}

ConceptSpecializationExpr::ConceptSpecializationExpr(
    const ASTContext &C, ConceptDecl *NamedConcept,
    ArrayRef<TemplateArgument> ConvertedArgs,
    const ConstraintSatisfaction *Satisfaction, bool Dependent,
    bool ContainsUnexpandedParameterPack)
    : Expr(ConceptSpecializationExprClass, C.BoolTy, VK_RValue, OK_Ordinary),
      ConceptReference(NestedNameSpecifierLoc(), SourceLocation(),
                       DeclarationNameInfo(), NamedConcept, NamedConcept,
                       nullptr),
      NumTemplateArgs(ConvertedArgs.size()),
      Satisfaction(Satisfaction
                       ? ASTConstraintSatisfaction::Create(C, *Satisfaction)
                       : nullptr) {
  setTemplateArguments(ConvertedArgs);
  ExprDependence D = ExprDependence::None;
  if (!Satisfaction)
    D |= ExprDependence::Value;
  if (Dependent)
    D |= ExprDependence::Instantiation;
  if (ContainsUnexpandedParameterPack)
    D |= ExprDependence::UnexpandedPack;
  setDependence(D);
}

ConceptSpecializationExpr *
ConceptSpecializationExpr::Create(const ASTContext &C,
                                  ConceptDecl *NamedConcept,
                                  ArrayRef<TemplateArgument> ConvertedArgs,
                                  const ConstraintSatisfaction *Satisfaction,
                                  bool Dependent,
                                  bool ContainsUnexpandedParameterPack) {
  void *Buffer = C.Allocate(totalSizeToAlloc<TemplateArgument>(
                                ConvertedArgs.size()));
  return new (Buffer) ConceptSpecializationExpr(
      C, NamedConcept, ConvertedArgs, Satisfaction, Dependent,
      ContainsUnexpandedParameterPack);
}

ConceptSpecializationExpr *
ConceptSpecializationExpr::Create(ASTContext &C, EmptyShell Empty,
                                  unsigned NumTemplateArgs) {
  void *Buffer = C.Allocate(totalSizeToAlloc<TemplateArgument>(
                                NumTemplateArgs));
  return new (Buffer) ConceptSpecializationExpr(Empty, NumTemplateArgs);
}

const TypeConstraint *
concepts::ExprRequirement::ReturnTypeRequirement::getTypeConstraint() const {
  assert(isTypeConstraint());
  auto TPL =
      TypeConstraintInfo.getPointer().get<TemplateParameterList *>();
  return cast<TemplateTypeParmDecl>(TPL->getParam(0))
      ->getTypeConstraint();
}

RequiresExpr::RequiresExpr(ASTContext &C, SourceLocation RequiresKWLoc,
                           RequiresExprBodyDecl *Body,
                           ArrayRef<ParmVarDecl *> LocalParameters,
                           ArrayRef<concepts::Requirement *> Requirements,
                           SourceLocation RBraceLoc)
    : Expr(RequiresExprClass, C.BoolTy, VK_RValue, OK_Ordinary),
      NumLocalParameters(LocalParameters.size()),
      NumRequirements(Requirements.size()), Body(Body), RBraceLoc(RBraceLoc) {
  RequiresExprBits.IsSatisfied = false;
  RequiresExprBits.RequiresKWLoc = RequiresKWLoc;
  bool Dependent = false;
  bool ContainsUnexpandedParameterPack = false;
  for (ParmVarDecl *P : LocalParameters) {
    Dependent |= P->getType()->isInstantiationDependentType();
    ContainsUnexpandedParameterPack |=
        P->getType()->containsUnexpandedParameterPack();
  }
  RequiresExprBits.IsSatisfied = true;
  for (concepts::Requirement *R : Requirements) {
    Dependent |= R->isDependent();
    ContainsUnexpandedParameterPack |= R->containsUnexpandedParameterPack();
    if (!Dependent) {
      RequiresExprBits.IsSatisfied = R->isSatisfied();
      if (!RequiresExprBits.IsSatisfied)
        break;
    }
  }
  std::copy(LocalParameters.begin(), LocalParameters.end(),
            getTrailingObjects<ParmVarDecl *>());
  std::copy(Requirements.begin(), Requirements.end(),
            getTrailingObjects<concepts::Requirement *>());
  RequiresExprBits.IsSatisfied |= Dependent;
  // FIXME: move the computing dependency logic to ComputeDependence.h
  if (ContainsUnexpandedParameterPack)
    setDependence(getDependence() | ExprDependence::UnexpandedPack);
  // FIXME: this is incorrect for cases where we have a non-dependent
  // requirement, but its parameters are instantiation-dependent. RequiresExpr
  // should be instantiation-dependent if it has instantiation-dependent
  // parameters.
  if (Dependent)
    setDependence(getDependence() | ExprDependence::ValueInstantiation);
}

RequiresExpr::RequiresExpr(ASTContext &C, EmptyShell Empty,
                           unsigned NumLocalParameters,
                           unsigned NumRequirements)
  : Expr(RequiresExprClass, Empty), NumLocalParameters(NumLocalParameters),
    NumRequirements(NumRequirements) { }

RequiresExpr *
RequiresExpr::Create(ASTContext &C, SourceLocation RequiresKWLoc,
                     RequiresExprBodyDecl *Body,
                     ArrayRef<ParmVarDecl *> LocalParameters,
                     ArrayRef<concepts::Requirement *> Requirements,
                     SourceLocation RBraceLoc) {
  void *Mem =
      C.Allocate(totalSizeToAlloc<ParmVarDecl *, concepts::Requirement *>(
                     LocalParameters.size(), Requirements.size()),
                 alignof(RequiresExpr));
  return new (Mem) RequiresExpr(C, RequiresKWLoc, Body, LocalParameters,
                                Requirements, RBraceLoc);
}

RequiresExpr *
RequiresExpr::Create(ASTContext &C, EmptyShell Empty,
                     unsigned NumLocalParameters, unsigned NumRequirements) {
  void *Mem =
      C.Allocate(totalSizeToAlloc<ParmVarDecl *, concepts::Requirement *>(
                     NumLocalParameters, NumRequirements),
                 alignof(RequiresExpr));
  return new (Mem) RequiresExpr(C, Empty, NumLocalParameters, NumRequirements);
}

003 File Manager

Editing: ExprConcepts.cpp

Upload File

Create Folder