1 //===--- ASTConcept.cpp - Concepts Related AST Data Structures --*- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 ///
9 /// \file
10 /// \brief This file defines AST data structures related to concepts.
11 ///
12 //===----------------------------------------------------------------------===//
13 
14 #include "clang/AST/ASTConcept.h"
15 #include "clang/AST/ASTContext.h"
16 #include "clang/AST/Decl.h"
17 #include "clang/AST/TemplateBase.h"
18 #include "llvm/ADT/ArrayRef.h"
19 #include "llvm/ADT/FoldingSet.h"
20 using namespace clang;
21 
22 ASTConstraintSatisfaction::ASTConstraintSatisfaction(const ASTContext &C,
23     const ConstraintSatisfaction &Satisfaction):
24     NumRecords{Satisfaction.Details.size()},
25     IsSatisfied{Satisfaction.IsSatisfied} {
26   for (unsigned I = 0; I < NumRecords; ++I) {
27     auto &Detail = Satisfaction.Details[I];
28     if (Detail.second.is<Expr *>())
29       new (getTrailingObjects<UnsatisfiedConstraintRecord>() + I)
30          UnsatisfiedConstraintRecord{Detail.first,
31                                      UnsatisfiedConstraintRecord::second_type(
32                                          Detail.second.get<Expr *>())};
33     else {
34       auto &SubstitutionDiagnostic =
35           *Detail.second.get<std::pair<SourceLocation, StringRef> *>();
36       unsigned MessageSize = SubstitutionDiagnostic.second.size();
37       char *Mem = new (C) char[MessageSize];
38       memcpy(Mem, SubstitutionDiagnostic.second.data(), MessageSize);
39       auto *NewSubstDiag = new (C) std::pair<SourceLocation, StringRef>(
40           SubstitutionDiagnostic.first, StringRef(Mem, MessageSize));
41       new (getTrailingObjects<UnsatisfiedConstraintRecord>() + I)
42          UnsatisfiedConstraintRecord{Detail.first,
43                                      UnsatisfiedConstraintRecord::second_type(
44                                          NewSubstDiag)};
45     }
46   }
47 }
48 
49 
50 ASTConstraintSatisfaction *
51 ASTConstraintSatisfaction::Create(const ASTContext &C,
52                                   const ConstraintSatisfaction &Satisfaction) {
53   std::size_t size =
54       totalSizeToAlloc<UnsatisfiedConstraintRecord>(
55           Satisfaction.Details.size());
56   void *Mem = C.Allocate(size, alignof(ASTConstraintSatisfaction));
57   return new (Mem) ASTConstraintSatisfaction(C, Satisfaction);
58 }
59 
60 void ConstraintSatisfaction::Profile(
61     llvm::FoldingSetNodeID &ID, const ASTContext &C,
62     const NamedDecl *ConstraintOwner, ArrayRef<TemplateArgument> TemplateArgs) {
63   ID.AddPointer(ConstraintOwner);
64   ID.AddInteger(TemplateArgs.size());
65   for (auto &Arg : TemplateArgs)
66     Arg.Profile(ID, C);
67 }
68