[clang] f55cb17 - [Clang][NFC] Add regression tests for a couple resolved issues (#222944)

[via cfe-commits]

Author: Corentin Jabot
Date: 2026-09-11T16:29:31+02:00
New Revision: f55cb17894f605f8045d74f7ed13322776530acc

URL: https://github.com/llvm/llvm-project/commit/f55cb17894f605f8045d74f7ed13322776530acc
DIFF: https://github.com/llvm/llvm-project/commit/f55cb17894f605f8045d74f7ed13322776530acc.diff

LOG: [Clang][NFC] Add regression tests for a couple resolved issues (#222944)

Fixes #38721 (Clang 18)
Fixes #58682 (Clang 18)

Added: 
    

Modified: 
    clang/test/SemaTemplate/temp_arg_nontype_cxx1z.cpp

Removed: 
    


################################################################################
diff  --git a/clang/test/SemaTemplate/temp_arg_nontype_cxx1z.cpp b/clang/test/SemaTemplate/temp_arg_nontype_cxx1z.cpp
index cede91cd41997..5077d5ff8ad89 100644
--- a/clang/test/SemaTemplate/temp_arg_nontype_cxx1z.cpp
+++ b/clang/test/SemaTemplate/temp_arg_nontype_cxx1z.cpp
@@ -627,3 +627,24 @@ namespace GH118190 {
   template <auto> int x;
   template <int i> int x<i>;
 }
+
+namespace GH38721 {
+  template <bool, decltype(auto)> struct A { static constexpr int k = 0; };
+  template <decltype(auto) v> struct A<true, v> { static constexpr int k = 1; };
+
+  const double d = 10.0;
+  static_assert(A<true, 1>::k == 1, "");
+  static_assert(A<true, (d)>::k == 1, "");
+} // namespace GH38721
+
+namespace GH58682 {
+  template <decltype(auto) v> struct A {};
+  template <decltype(auto) v> constexpr decltype(v) get(A<v>) { return v; }
+
+  int g;
+  static_assert(&get(A<(g)>{}) == &g, "");
+
+  template <typename> struct B;
+  template <decltype(auto) v> struct B<A<v>> { static constexpr int k = 1; };
+  static_assert(B<A<(g)>>::k == 1, "");
+} // namespace GH58682