https://github.com/jcsxky updated https://github.com/llvm/llvm-project/pull/79733
>From af0b28a28f0bf46b22521c0b39d5200eb94838dd Mon Sep 17 00:00:00 2001 From: huqizhi <huqi...@feysh.com> Date: Sun, 28 Jan 2024 15:12:01 +0800 Subject: [PATCH] [Clang][Sema] fix deducing auto& from const int in template parameters is impossible in partial specializations --- clang/docs/ReleaseNotes.rst | 3 +++ clang/lib/Sema/SemaTemplateDeduction.cpp | 1 + clang/test/SemaTemplate/PR77189.cpp | 22 ++++++++++++++++++++++ 3 files changed, 26 insertions(+) create mode 100644 clang/test/SemaTemplate/PR77189.cpp diff --git a/clang/docs/ReleaseNotes.rst b/clang/docs/ReleaseNotes.rst index 254e0a9cb72979..2aa8fea4ad67c0 100644 --- a/clang/docs/ReleaseNotes.rst +++ b/clang/docs/ReleaseNotes.rst @@ -130,6 +130,9 @@ Bug Fixes to C++ Support - Fixed a bug where variables referenced by requires-clauses inside nested generic lambdas were not properly injected into the constraint scope. (`#73418 <https://github.com/llvm/llvm-project/issues/73418>`_) +- Fixed deducing auto& from const int in template parameters of partial + specializations. + (`#77189 <https://github.com/llvm/llvm-project/issues/77189>`_) Bug Fixes to AST Handling ^^^^^^^^^^^^^^^^^^^^^^^^^ diff --git a/clang/lib/Sema/SemaTemplateDeduction.cpp b/clang/lib/Sema/SemaTemplateDeduction.cpp index 25e58f7bdd953d..f08577febcd3e8 100644 --- a/clang/lib/Sema/SemaTemplateDeduction.cpp +++ b/clang/lib/Sema/SemaTemplateDeduction.cpp @@ -649,6 +649,7 @@ static bool IsPossiblyOpaquelyQualifiedTypeInternal(const Type *T) { case Type::PackIndexing: case Type::UnresolvedUsing: case Type::TemplateTypeParm: + case Type::Auto: return true; case Type::ConstantArray: diff --git a/clang/test/SemaTemplate/PR77189.cpp b/clang/test/SemaTemplate/PR77189.cpp new file mode 100644 index 00000000000000..1e9cc7984163c0 --- /dev/null +++ b/clang/test/SemaTemplate/PR77189.cpp @@ -0,0 +1,22 @@ +// RUN: %clang_cc1 -fsyntax-only -std=c++17 -verify %s +// RUN: %clang_cc1 -fsyntax-only -std=c++20 -verify %s +// expected-no-diagnostics + +struct false_type { + static constexpr bool value = false; +}; + +struct true_type { + static constexpr bool value = true; +}; + +template <auto& Value, int> +struct test : false_type {}; + +template <auto& Value> +struct test<Value, 0> : true_type {}; + +int main() { + static constexpr int v = 42; + static_assert(test<v, 0>::value); +} _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
