projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7faa844) | patch
[Concepts] Constraint Enforcement & Diagnostics
authorSaar Raz <saar@raz.email>
Thu, 5 Dec 2019 23:30:21 +0000 (01:30 +0200)
committerSaar Raz <saar@raz.email>
Thu, 5 Dec 2019 23:34:20 +0000 (01:34 +0200)
commitfdf80e86a52849813d05da4b6c25884c06ba9e98
treef08ca57be85567d41a118bedb588a8152763c360tree | snapshot
parent7faa8440440f280912c33a27c14c0dc4031532decommit | 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

Re-commit, after fixing some memory bugs.
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;