projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a188182) | patch
[Concepts] Constraint Enforcement & Diagnostics
authorSaar Raz <saar@raz.email>
Thu, 24 Oct 2019 21:09:37 +0000 (00:09 +0300)
committerSaar Raz <saar@raz.email>
Thu, 24 Oct 2019 21:19:51 +0000 (00:19 +0300)
commitffa214ef22892d75340dc6720271863901dc2c90
tree22ac01e56e625a86277515bd3fd76060016265b8tree | snapshot
parenta18818207ab5bb2f81cf1db036d0b23645d5ab83commit | diff
[Concepts] Constraint Enforcement & Diagnostics

Part of the C++20 concepts implementation effort.
- Associated constraints (requires clauses, currently) are now enforced when instantiating/specializing templates and when considering partial specializations and function overloads.
- Elaborated diagnostics give helpful insight as to why the constraints were not satisfied.
Phabricator: D41569
23 files changed:
clang/include/clang/AST/ASTConcept.h [new file with mode: 0644] blob
clang/include/clang/AST/ExprCXX.h diff | blob | history
clang/include/clang/Basic/DiagnosticSemaKinds.td diff | blob | history
clang/include/clang/Sema/Sema.h diff | blob | history
clang/include/clang/Sema/TemplateDeduction.h diff | blob | history
clang/lib/AST/ASTConcept.cpp [new file with mode: 0644] blob
clang/lib/AST/ASTContext.cpp diff | blob | history
clang/lib/AST/CMakeLists.txt diff | blob | history
clang/lib/AST/Decl.cpp diff | blob | history
clang/lib/AST/ExprCXX.cpp diff | blob | history
clang/lib/Sema/SemaConcept.cpp diff | blob | history
clang/lib/Sema/SemaDeclCXX.cpp diff | blob | history
clang/lib/Sema/SemaOverload.cpp diff | blob | history
clang/lib/Sema/SemaTemplate.cpp diff | blob | history
clang/lib/Sema/SemaTemplateDeduction.cpp diff | blob | history
clang/lib/Sema/SemaTemplateInstantiate.cpp diff | blob | history
clang/lib/Sema/SemaTemplateInstantiateDecl.cpp diff | blob | history
clang/lib/Serialization/ASTReaderStmt.cpp diff | blob | history
clang/lib/Serialization/ASTWriterStmt.cpp diff | blob | history
clang/test/CXX/expr/expr.prim/expr.prim.id/p3.cpp diff | blob | history
clang/test/CXX/temp/temp.constr/temp.constr.constr/function-templates.cpp [new file with mode: 0644] blob
clang/test/CXX/temp/temp.constr/temp.constr.constr/non-function-templates.cpp [new file with mode: 0644] blob
clang/test/CXX/temp/temp.constr/temp.constr.constr/partial-specializations.cpp [new file with mode: 0644] blob
Domain: System / Toolchain;