contrib/llvm-project/clang/lib/AST/ASTConcept.cpp

   1 //===--- ASTConcept.cpp - Concepts Related AST Data Structures --*- C++ -*-===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 ///
  10 /// \file
  11 /// \brief This file defines AST data structures related to concepts.
  12 ///
  13 //===----------------------------------------------------------------------===//
  14
  15 #include "clang/AST/ASTConcept.h"
  16 #include "clang/AST/ASTContext.h"
  17 using namespace clang;
  18
  19 ASTConstraintSatisfaction::ASTConstraintSatisfaction(const ASTContext &C,
  20     const ConstraintSatisfaction &Satisfaction):
  21     NumRecords{Satisfaction.Details.size()},
  22     IsSatisfied{Satisfaction.IsSatisfied} {
  23   for (unsigned I = 0; I < NumRecords; ++I) {
  24     auto &Detail = Satisfaction.Details[I];
  25     if (Detail.second.is<Expr *>())
  26       new (getTrailingObjects<UnsatisfiedConstraintRecord>() + I)
  27          UnsatisfiedConstraintRecord{Detail.first,
  28                                      UnsatisfiedConstraintRecord::second_type(
  29                                          Detail.second.get<Expr *>())};
  30     else {
  31       auto &SubstitutionDiagnostic =
  32           *Detail.second.get<std::pair<SourceLocation, StringRef> *>();
  33       unsigned MessageSize = SubstitutionDiagnostic.second.size();
  34       char *Mem = new (C) char[MessageSize];
  35       memcpy(Mem, SubstitutionDiagnostic.second.data(), MessageSize);
  36       auto *NewSubstDiag = new (C) std::pair<SourceLocation, StringRef>(
  37           SubstitutionDiagnostic.first, StringRef(Mem, MessageSize));
  38       new (getTrailingObjects<UnsatisfiedConstraintRecord>() + I)
  39          UnsatisfiedConstraintRecord{Detail.first,
  40                                      UnsatisfiedConstraintRecord::second_type(
  41                                          NewSubstDiag)};
  42     }
  43   }
  44 }
  45
  46
  47 ASTConstraintSatisfaction *
  48 ASTConstraintSatisfaction::Create(const ASTContext &C,
  49                                   const ConstraintSatisfaction &Satisfaction) {
  50   std::size_t size =
  51       totalSizeToAlloc<UnsatisfiedConstraintRecord>(
  52           Satisfaction.Details.size());
  53   void *Mem = C.Allocate(size, alignof(ASTConstraintSatisfaction));
  54   return new (Mem) ASTConstraintSatisfaction(C, Satisfaction);
  55 }