aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarek Polacek <polacek@redhat.com>2024-03-04 12:35:18 -0500
committerMarek Polacek <polacek@redhat.com>2024-03-07 09:48:44 -0500
commit9f915684624413f96e1a5ffada398ccd1c533e38 (patch)
treec3bcf810d50b41478c6f7c06db0fa7b0179206aa
parente2e4b603ced350447a8d0e2c5f4d419b8f69b6a6 (diff)
downloadgcc-9f915684624413f96e1a5ffada398ccd1c533e38.zip
gcc-9f915684624413f96e1a5ffada398ccd1c533e38.tar.gz
gcc-9f915684624413f96e1a5ffada398ccd1c533e38.tar.bz2
c++: ICE with variable template and [[deprecated]] [PR110031]
lookup_and_finish_template_variable already has and uses the complain parameter but it is not passing it down to mark_used so we got the default tf_warning_or_error, which causes various problems when lookup_and_finish_template_variable gets called with complain=tf_none. PR c++/110031 gcc/cp/ChangeLog: * pt.cc (lookup_and_finish_template_variable): Pass complain to mark_used. gcc/testsuite/ChangeLog: * g++.dg/cpp1z/inline-var11.C: New test.
-rw-r--r--gcc/cp/pt.cc2
-rw-r--r--gcc/testsuite/g++.dg/cpp1z/inline-var11.C32
2 files changed, 33 insertions, 1 deletions
diff --git a/gcc/cp/pt.cc b/gcc/cp/pt.cc
index d73f6d9..040ced4 100644
--- a/gcc/cp/pt.cc
+++ b/gcc/cp/pt.cc
@@ -10533,7 +10533,7 @@ lookup_and_finish_template_variable (tree templ, tree targs,
if (var == error_mark_node)
return error_mark_node;
var = finish_template_variable (var, complain);
- mark_used (var);
+ mark_used (var, complain);
return var;
}
diff --git a/gcc/testsuite/g++.dg/cpp1z/inline-var11.C b/gcc/testsuite/g++.dg/cpp1z/inline-var11.C
new file mode 100644
index 0000000..d92911e
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1z/inline-var11.C
@@ -0,0 +1,32 @@
+// PR c++/110031
+// { dg-do compile { target c++17 } }
+
+template <typename T>
+[[deprecated]]
+inline constexpr bool t = true ;
+
+template <bool a>
+struct enableif;
+
+template<>
+struct enableif<true>
+{
+ using y = int;
+};
+template <bool a>
+using enableif_t = typename enableif<a>::y;
+
+template <typename T, enableif_t<t<T>> = 0> // { dg-warning "deprecated" }
+struct A { A(T &&) { }};
+
+template <typename T>
+struct A<T> {
+ A(T &&) = delete;
+ A() = delete;
+};
+
+int main(void)
+{
+ A<double> a(5.3); // { dg-error "use of deleted function" }
+ return 0;
+}