[all-commits] [llvm/llvm-project] 4c88cf: Add test for substitutability of variable template...

[Richard Smith via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4c88cfb1dc79227be78f8dade966934384914e5e
      https://github.com/llvm/llvm-project/commit/4c88cfb1dc79227be78f8dade966934384914e5e
  Author: Richard Smith <richard at metafoo.co.uk>
  Date:   2021-05-12 (Wed, 12 May 2021)

  Changed paths:
    M clang/test/CodeGenCXX/mangle-lambdas.cpp

  Log Message:
  -----------
  Add test for substitutability of variable templates in closure type
mangling.


  Commit: e0acfed7ed5173b437868f75fc394084487e390a
      https://github.com/llvm/llvm-project/commit/e0acfed7ed5173b437868f75fc394084487e390a
  Author: Richard Smith <richard at metafoo.co.uk>
  Date:   2021-05-12 (Wed, 12 May 2021)

  Changed paths:
    M clang/lib/AST/TypePrinter.cpp
    M clang/lib/Sema/SemaTemplateInstantiate.cpp
    M clang/lib/Sema/SemaTemplateInstantiateDecl.cpp
    M clang/lib/Sema/TreeTransform.h

  Log Message:
  -----------
  Clean up handling of constrained parameters in lambdas.

No functionality change intended.


  Commit: 2f9d8b08ea658b612065cbf7d4b0fbd7f28bb36a
      https://github.com/llvm/llvm-project/commit/2f9d8b08ea658b612065cbf7d4b0fbd7f28bb36a
  Author: Richard Smith <richard at metafoo.co.uk>
  Date:   2021-05-12 (Wed, 12 May 2021)

  Changed paths:
    M clang/lib/AST/DeclTemplate.cpp
    M clang/test/SemaTemplate/concepts.cpp

  Log Message:
  -----------
  PR50306: When instantiating a generic lambda with a constrained 'auto',
properly track that it has constraints.

Previously an instantiation of a constrained generic lambda would behave
as if unconstrained because we incorrectly cached a "has no constraints"
value that we computed before the constraints from 'auto' parameters
were attached.


  Commit: e1aa528d3aaf5fcf9c50d1e34b39dbde1e63801d
      https://github.com/llvm/llvm-project/commit/e1aa528d3aaf5fcf9c50d1e34b39dbde1e63801d
  Author: Richard Smith <richard at metafoo.co.uk>
  Date:   2021-05-12 (Wed, 12 May 2021)

  Changed paths:
    M clang/include/clang/AST/DeclTemplate.h
    M clang/include/clang/AST/RecursiveASTVisitor.h
    M clang/include/clang/Sema/Sema.h
    M clang/lib/AST/DeclTemplate.cpp
    M clang/lib/AST/Type.cpp
    M clang/lib/Sema/SemaExprCXX.cpp
    M clang/lib/Sema/SemaTemplate.cpp
    M clang/lib/Sema/SemaType.cpp
    M clang/test/SemaTemplate/concepts.cpp

  Log Message:
  -----------
  Handle unexpanded packs appearing in type-constraints.

For a type-constraint in a lambda signature, this makes the lambda
contain an unexpanded pack; for requirements in a requires-expressions
it makes the requires-expression contain an unexpanded pack; otherwise
it's invalid.


Compare: https://github.com/llvm/llvm-project/compare/10c779d2065f...e1aa528d3aaf