From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Mon, 5 Feb 2018 11:15:55 +0000 (+0000)
Subject: re PR c++/82782 (ICE: nested template alias and specialized template with auto templa... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=865166c80e0c41faaee1c4e59894246aa8672531;p=gcc.git

re PR c++/82782 (ICE: nested template alias and specialized template with auto template parameter)

2018-02-05  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/82782
	* g++.dg/cpp1z/inline-var4.C: New.

From-SVN: r257388
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 074e6eadbd1..bed5534a24b 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-02-05  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/82782
+	* g++.dg/cpp1z/inline-var4.C: New.
+
 2018-02-05  Martin Liska  <mliska@suse.cz>
 
 	* c-c++-common/asan/pointer-compare-1.c: Adjust ASAN_OPTIONS
diff --git a/gcc/testsuite/g++.dg/cpp1z/inline-var4.C b/gcc/testsuite/g++.dg/cpp1z/inline-var4.C
new file mode 100644
index 00000000000..48563b33e3e
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1z/inline-var4.C
@@ -0,0 +1,18 @@
+// PR c++/82782
+// { dg-options -std=c++17 }
+
+template <const auto& Value>
+struct make_char_sequence;
+
+template <int N, const char (&StringLiteral)[N]>
+struct make_char_sequence<StringLiteral>
+{
+  using type = int;
+};
+
+template <const auto& StringLiteral>
+using make_char_sequence_t = typename make_char_sequence<StringLiteral>::type;
+
+inline constexpr char sample[] = "Sample";
+
+using X = make_char_sequence_t<sample>;