[all-commits] [llvm/llvm-project] e135cf: Add -ast-dump-decl-types flag to include types of ...

[Richard Smith via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: e135cf8a03b974d2a43eb9fb93ad2d9adefcdf34
      https://github.com/llvm/llvm-project/commit/e135cf8a03b974d2a43eb9fb93ad2d9adefcdf34
  Author: Richard Smith <richard at metafoo.co.uk>
  Date:   2020-06-22 (Mon, 22 Jun 2020)

  Changed paths:
    M clang/include/clang/Driver/CC1Options.td
    M clang/include/clang/Frontend/ASTConsumers.h
    M clang/include/clang/Frontend/FrontendOptions.h
    M clang/lib/Frontend/ASTConsumers.cpp
    M clang/lib/Frontend/CompilerInvocation.cpp
    M clang/lib/Frontend/FrontendActions.cpp
    A clang/test/SemaTemplate/deduction-guide.cpp
    M clang/tools/clang-check/ClangCheck.cpp
    M clang/tools/clang-import-test/clang-import-test.cpp

  Log Message:
  -----------
  Add -ast-dump-decl-types flag to include types of value and type
declarations in AST dumps.

Includes a testcase for deduction guide transformation that makes use of
this new dumping feature.


  Commit: 009c9b83acfc8bb863894e349bccc2473c685dbc
      https://github.com/llvm/llvm-project/commit/009c9b83acfc8bb863894e349bccc2473c685dbc
  Author: Richard Smith <richard at metafoo.co.uk>
  Date:   2020-06-22 (Mon, 22 Jun 2020)

  Changed paths:
    M clang/lib/Sema/SemaTemplateDeduction.cpp
    M clang/test/SemaTemplate/deduction-guide.cpp

  Log Message:
  -----------
  Fix multilevel deduction where an outer pack is used in the type of an
inner non-type pack at a different index.

We previously considered the index of the outer pack (which would refer
to an unrelated template parameter) to be deduced by deducing the inner
pack, because we inspected the (largely meaningless) type of an expanded
non-type template parameter pack.


Compare: https://github.com/llvm/llvm-project/compare/c20875a48c3b...009c9b83acfc