From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Thu, 20 Oct 2016 08:15:49 +0000 (+0000)
Subject: re PR c++/77446 (Suspicious "non-constant condition for static assertion" error)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a2923dbadb6c42594763db5cf11ee4f954ae8347;p=gcc.git

re PR c++/77446 (Suspicious "non-constant condition for static assertion" error)

2016-10-20  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/77446
	* g++.dg/cpp1y/pr77446.C: New.

From-SVN: r241361
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 152b1b26bba..b161d5cfcb5 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-10-20  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/77446
+	* g++.dg/cpp1y/pr77446.C: New.
+
 2016-10-20  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>
 
 	PR tree-optimization/53979
diff --git a/gcc/testsuite/g++.dg/cpp1y/pr77446.C b/gcc/testsuite/g++.dg/cpp1y/pr77446.C
new file mode 100644
index 00000000000..f7c6eaf4f6a
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1y/pr77446.C
@@ -0,0 +1,23 @@
+// PR c++/77446
+// { dg-do compile { target c++14 } }
+
+struct inner {
+  int  field_a = 0;
+  bool field_b = false;
+
+  explicit constexpr inner(const int &arg_field_a) noexcept
+    : field_a{ arg_field_a } {}
+};
+
+struct outer {
+  inner the_inner = inner{ 0 };
+
+  constexpr outer() noexcept = default;
+  constexpr int set_inner(const inner &arg_inner) {
+    the_inner = arg_inner;
+    return 0;
+  }
+};
+
+constexpr inner another_inner{ 1 };
+static_assert( outer{}.set_inner( another_inner ) == 0,  "" );