From a2923dbadb6c42594763db5cf11ee4f954ae8347 Mon Sep 17 00:00:00 2001 From: Paolo Carlini Date: Thu, 20 Oct 2016 08:15:49 +0000 Subject: [PATCH] re PR c++/77446 (Suspicious "non-constant condition for static assertion" error) 2016-10-20 Paolo Carlini PR c++/77446 * g++.dg/cpp1y/pr77446.C: New. From-SVN: r241361 --- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/g++.dg/cpp1y/pr77446.C | 23 +++++++++++++++++++++++ 2 files changed, 28 insertions(+) create mode 100644 gcc/testsuite/g++.dg/cpp1y/pr77446.C diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 152b1b2..b161d5c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2016-10-20 Paolo Carlini + + PR c++/77446 + * g++.dg/cpp1y/pr77446.C: New. + 2016-10-20 Prathamesh Kulkarni 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 0000000..f7c6eaf --- /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, "" ); -- 2.7.4