[all-commits] [llvm/llvm-project] 74fd47: [clang] Evaluate non-type default template argumen...

[Mariya Podchishchaeva via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 74fd474eea53e85fc8f64422f565fd2bd50fd7e4
      https://github.com/llvm/llvm-project/commit/74fd474eea53e85fc8f64422f565fd2bd50fd7e4
  Author: Mariya Podchishchaeva <mariya.podchishchaeva at intel.com>
  Date:   2023-05-09 (Tue, 09 May 2023)

  Changed paths:
    M clang/docs/ReleaseNotes.rst
    M clang/lib/Sema/SemaTemplate.cpp
    M clang/test/AST/ast-dump-decl.cpp
    M clang/test/CXX/expr/expr.const/p3-0x.cpp
    M clang/test/Index/Core/index-source.cpp
    A clang/test/SemaCXX/GH62596.cpp
    M clang/test/SemaCXX/cxx2a-consteval-default-params.cpp
    M clang/test/SemaTemplate/deduction-guide.cpp
    M clang/test/SemaTemplate/temp_arg_nontype.cpp
    M clang/unittests/AST/ASTImporterTest.cpp

  Log Message:
  -----------
  [clang] Evaluate non-type default template argument when it is required

Before this change a default template argument for a non-type template
parameter was evaluated and checked immediately after it is met by
parser. In some cases it is too early.

Fixes https://github.com/llvm/llvm-project/issues/62224
Fixes https://github.com/llvm/llvm-project/issues/62596

Reviewed By: shafik, erichkeane, cor3ntin

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