re PR c++/69057 ([C++14] constexpr static variable template assertion segmentation...

2017-10-18  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/69057
	* g++.dg/cpp1y/auto-fn45.C: New.

From-SVN: r253844

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index cd8a3e65fedb1628e32bac7904593c9a1bf44086..f0f3e738a53e034717aec49af4a8e9fbabfcaa5a 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-10-18  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/69057
+       * g++.dg/cpp1y/auto-fn45.C: New.
+
 2017-10-18  Paolo Carlini  <paolo.carlini@oracle.com>
 
        PR c++/68884

diff --git a/gcc/testsuite/g++.dg/cpp1y/auto-fn45.C b/gcc/testsuite/g++.dg/cpp1y/auto-fn45.C
new file mode 100644 (file)
index 0000000..a9c163d
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1y/auto-fn45.C
@@ -0,0 +1,27 @@
+// PR c++/69057
+// { dg-do compile { target c++14 } }
+
+#include <cassert>
+
+using GLenum = unsigned int;
+
+template <typename T>
+inline constexpr auto from_enum(const T& x) noexcept
+{
+    // Comment this line to prevent segmentation fault:
+    assert(true);
+    // ------------------------------------------------
+
+    return (GLenum)x;
+}
+
+enum class buffer_target : GLenum
+{
+    array
+};
+
+struct vbo
+{
+    static constexpr GLenum target_value{from_enum(buffer_target::array)};
+    GLenum x{target_value};
+};