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 #include "clang/AST/Decl.h"
18 #include "clang/AST/TemplateBase.h"
19 #include "llvm/ADT/ArrayRef.h"
20 #include "llvm/ADT/FoldingSet.h"
21 using namespace clang;
22
ASTConstraintSatisfaction(const ASTContext & C,const ConstraintSatisfaction & Satisfaction)23 ASTConstraintSatisfaction::ASTConstraintSatisfaction(const ASTContext &C,
24 const ConstraintSatisfaction &Satisfaction):
25 NumRecords{Satisfaction.Details.size()},
26 IsSatisfied{Satisfaction.IsSatisfied} {
27 for (unsigned I = 0; I < NumRecords; ++I) {
28 auto &Detail = Satisfaction.Details[I];
29 if (Detail.second.is<Expr *>())
30 new (getTrailingObjects<UnsatisfiedConstraintRecord>() + I)
31 UnsatisfiedConstraintRecord{Detail.first,
32 UnsatisfiedConstraintRecord::second_type(
33 Detail.second.get<Expr *>())};
34 else {
35 auto &SubstitutionDiagnostic =
36 *Detail.second.get<std::pair<SourceLocation, StringRef> *>();
37 unsigned MessageSize = SubstitutionDiagnostic.second.size();
38 char *Mem = new (C) char[MessageSize];
39 memcpy(Mem, SubstitutionDiagnostic.second.data(), MessageSize);
40 auto *NewSubstDiag = new (C) std::pair<SourceLocation, StringRef>(
41 SubstitutionDiagnostic.first, StringRef(Mem, MessageSize));
42 new (getTrailingObjects<UnsatisfiedConstraintRecord>() + I)
43 UnsatisfiedConstraintRecord{Detail.first,
44 UnsatisfiedConstraintRecord::second_type(
45 NewSubstDiag)};
46 }
47 }
48 }
49
50
51 ASTConstraintSatisfaction *
Create(const ASTContext & C,const ConstraintSatisfaction & Satisfaction)52 ASTConstraintSatisfaction::Create(const ASTContext &C,
53 const ConstraintSatisfaction &Satisfaction) {
54 std::size_t size =
55 totalSizeToAlloc<UnsatisfiedConstraintRecord>(
56 Satisfaction.Details.size());
57 void *Mem = C.Allocate(size, alignof(ASTConstraintSatisfaction));
58 return new (Mem) ASTConstraintSatisfaction(C, Satisfaction);
59 }
60
Profile(llvm::FoldingSetNodeID & ID,const ASTContext & C,const NamedDecl * ConstraintOwner,ArrayRef<TemplateArgument> TemplateArgs)61 void ConstraintSatisfaction::Profile(
62 llvm::FoldingSetNodeID &ID, const ASTContext &C,
63 const NamedDecl *ConstraintOwner, ArrayRef<TemplateArgument> TemplateArgs) {
64 ID.AddPointer(ConstraintOwner);
65 ID.AddInteger(TemplateArgs.size());
66 for (auto &Arg : TemplateArgs)
67 Arg.Profile(ID, C);
68 }
69