From 7772dbe2fad60d8be78b81e0fdce23aff1344be5 Mon Sep 17 00:00:00 2001
From: Marek Polacek <polacek@redhat.com>
Date: Thu, 20 Jun 2019 15:37:35 +0000
Subject: [PATCH] =?utf8?q?re=20PR=20c++/87512=20(Error:=20the=20type=20?=
 =?utf8?q?=E2=80=98const=20auto=E2=80=99=20of=20=E2=80=98constexpr?=
 =?utf8?q?=E2=80=99=20variable=20is=20not=20literal)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

	PR c++/87512
	* g++.dg/cpp1z/inline-var7.C: New test.

From-SVN: r272512
---
 gcc/testsuite/ChangeLog                  |  5 +++++
 gcc/testsuite/g++.dg/cpp1z/inline-var7.C | 20 ++++++++++++++++++++
 2 files changed, 25 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/cpp1z/inline-var7.C

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0fd1ce0..2d741d8 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-06-20  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/87512
+	* g++.dg/cpp1z/inline-var7.C: New test.
+
 2019-06-20  H.J. Lu  <hongjiu.lu@intel.com>
 
 	PR target/54855
diff --git a/gcc/testsuite/g++.dg/cpp1z/inline-var7.C b/gcc/testsuite/g++.dg/cpp1z/inline-var7.C
new file mode 100644
index 0000000..71fa1d3
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1z/inline-var7.C
@@ -0,0 +1,20 @@
+// PR c++/87512
+// { dg-do compile { target c++17 } }
+
+template <int, typename T = int> using enable_if_t = int;
+template<typename T> struct is_pointer { enum { value = 0 }; };
+
+template <typename T>
+inline constexpr auto IsPtr = is_pointer<T>::value;
+
+class Foo;
+class Bar;
+
+template <typename T1, typename T2>
+void foo(T1, T2);
+
+template <typename T>
+enable_if_t<IsPtr<T>> foo(T, Foo);
+
+template <>
+void foo<Bar>(Bar, Bar);
-- 
2.7.4