[all-commits] [llvm/llvm-project] b65b1f: [Concepts] Function trailing requires clauses

[Saar Raz via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: b65b1f322bd88513586a4539d2b5f18aeb698f3f
      https://github.com/llvm/llvm-project/commit/b65b1f322bd88513586a4539d2b5f18aeb698f3f
  Author: Saar Raz <saar at raz.email>
  Date:   2020-01-09 (Thu, 09 Jan 2020)

  Changed paths:
    M clang/include/clang/AST/ASTLambda.h
    M clang/include/clang/AST/ASTNodeTraverser.h
    M clang/include/clang/AST/Decl.h
    M clang/include/clang/AST/DeclCXX.h
    M clang/include/clang/AST/RecursiveASTVisitor.h
    M clang/include/clang/Basic/DiagnosticParseKinds.td
    M clang/include/clang/Basic/DiagnosticSemaKinds.td
    M clang/include/clang/Parse/Parser.h
    M clang/include/clang/Sema/DeclSpec.h
    M clang/include/clang/Sema/Overload.h
    M clang/include/clang/Sema/Sema.h
    A clang/include/clang/Sema/SemaConcept.h
    M clang/lib/AST/ASTImporter.cpp
    M clang/lib/AST/Decl.cpp
    M clang/lib/AST/DeclCXX.cpp
    M clang/lib/AST/DeclPrinter.cpp
    M clang/lib/AST/DeclTemplate.cpp
    M clang/lib/Parse/ParseDecl.cpp
    M clang/lib/Parse/ParseDeclCXX.cpp
    M clang/lib/Parse/ParseExpr.cpp
    M clang/lib/Parse/ParseExprCXX.cpp
    M clang/lib/Parse/ParseOpenMP.cpp
    M clang/lib/Parse/ParseTemplate.cpp
    M clang/lib/Parse/ParseTentative.cpp
    M clang/lib/Sema/SemaCast.cpp
    M clang/lib/Sema/SemaConcept.cpp
    M clang/lib/Sema/SemaDecl.cpp
    M clang/lib/Sema/SemaDeclAttr.cpp
    M clang/lib/Sema/SemaDeclCXX.cpp
    M clang/lib/Sema/SemaExpr.cpp
    M clang/lib/Sema/SemaLambda.cpp
    M clang/lib/Sema/SemaOverload.cpp
    M clang/lib/Sema/SemaTemplate.cpp
    M clang/lib/Sema/SemaTemplateDeduction.cpp
    M clang/lib/Sema/SemaTemplateInstantiate.cpp
    M clang/lib/Sema/SemaTemplateInstantiateDecl.cpp
    M clang/lib/Sema/SemaTemplateVariadic.cpp
    M clang/lib/Sema/TreeTransform.h
    M clang/lib/Serialization/ASTReaderDecl.cpp
    M clang/lib/Serialization/ASTWriterDecl.cpp
    A clang/test/CXX/class.derived/class.virtual/p6.cpp
    A clang/test/CXX/dcl/dcl.decl/p3.cpp
    A clang/test/CXX/expr/expr.prim/expr.prim.id/mixed-constraints.cpp
    A clang/test/CXX/expr/expr.prim/expr.prim.id/p4.cpp
    A clang/test/CXX/expr/expr.prim/expr.prim.lambda/expr.prim.lambda.closure/p3.cpp
    A clang/test/CXX/over/over.match/over.match.best/p1-2a.cpp
    A clang/test/CXX/over/over.match/over.match.viable/p3.cpp
    A clang/test/CXX/over/over.over/p4-2a.cpp
    M clang/test/CXX/temp/temp.constr/temp.constr.constr/function-templates.cpp
    M clang/test/CXX/temp/temp.constr/temp.constr.constr/non-function-templates.cpp
    M clang/test/CXX/temp/temp.constr/temp.constr.constr/partial-specializations.cpp
    M clang/test/CXX/temp/temp.constr/temp.constr.decl/class-template-decl.cpp
    M clang/test/CXX/temp/temp.constr/temp.constr.decl/func-template-decl.cpp
    M clang/test/CXX/temp/temp.constr/temp.constr.decl/var-template-decl.cpp
    M clang/test/CXX/temp/temp.constr/temp.constr.order/class-template-partial-specializations.cpp
    M clang/test/CXX/temp/temp.constr/temp.constr.order/function-templates.cpp
    M clang/test/CXX/temp/temp.constr/temp.constr.order/var-template-partial-specializations.cpp
    A clang/test/CXX/temp/temp.explicit/p8.cpp
    M clang/test/Parser/cxx-concepts-ambig-constraint-expr.cpp
    M clang/test/Parser/cxx-concepts-requires-clause.cpp
    A clang/test/SemaTemplate/instantiate-requires-clause.cpp

  Log Message:
  -----------
  [Concepts] Function trailing requires clauses

Function trailing requires clauses now parsed, supported in overload resolution and when calling, referencing and taking the address of functions or function templates.

Differential Revision: https://reviews.llvm.org/D43357