From: Paolo Carlini 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 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 + + 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 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, "" );