From edde16fc017f0b070f82c309d78a3ef5377d83bd Mon Sep 17 00:00:00 2001
From: Marek Polacek <polacek@redhat.com>
Date: Thu, 13 Jun 2019 01:31:03 +0000
Subject: [PATCH] re PR c++/87410 (internal compiler error: in
 fold_convert_loc, at fold-const.c:2530)

	PR c++/87410
	* g++.dg/cpp1y/pr87410.C: New test.

From-SVN: r272230
---
 gcc/testsuite/ChangeLog              |  5 +++++
 gcc/testsuite/g++.dg/cpp1y/pr87410.C | 19 +++++++++++++++++++
 2 files changed, 24 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/cpp1y/pr87410.C

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1c49ab9..591d1f4 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,10 @@
 2019-06-12  Marek Polacek  <polacek@redhat.com>
 
+	PR c++/87410
+	* g++.dg/cpp1y/pr87410.C: New test.
+
+2019-06-12  Marek Polacek  <polacek@redhat.com>
+
 	PR c++/66999 - 'this' captured by reference.
 	* g++.dg/cpp0x/lambda/lambda-this21.C: New test.
 
diff --git a/gcc/testsuite/g++.dg/cpp1y/pr87410.C b/gcc/testsuite/g++.dg/cpp1y/pr87410.C
new file mode 100644
index 0000000..5a691e4
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1y/pr87410.C
@@ -0,0 +1,19 @@
+// PR c++/87410
+// { dg-do compile { target c++14 } }
+
+template <long a> using b = const char[a];
+template <typename, int c, int e, typename f>
+constexpr auto g(b<c> &, b<e> &, f) {}
+template <typename d, int a> auto h(b<a> &) {
+  auto i = j(static_cast<d **>(nullptr));
+  return **i;
+}
+class k {
+  using l = k;
+  const int &m() const;
+  friend constexpr auto j(l **n) -> decltype(n) {
+    g<int>("", "", static_cast<const int &(k::*)() const>(&k::m));
+    return n;
+  }
+};
+k o = h<k, 1>("");
-- 
2.7.4