On 03/02/2018 01:43 PM, Jason Merrill wrote:
On Fri, Mar 2, 2018 at 11:07 AM, Nathan Sidwell wrote:
NEEDS_CONSTRUCTING && !HAS_CONSTEXPR_CTOR && !HAS_DEFAULT_CONSTRUCTOR seems
like it would be sufficient. and indeed that works in this case.
Do you mean !HAS_TRIVIAL_DFLT rather than !HAS_DEF
On Fri, Mar 2, 2018 at 11:07 AM, Nathan Sidwell wrote:
> Jason, Jakub,
> I've simplified the testcase Padraig provided and attached it to
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84497
>
> Notice that 'Base::Base ()' is not a constexpr ctor, because the integer
> member is not initialized.
Jason, Jakub,
I've simplified the testcase Padraig provided and attached it to
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84497
Notice that 'Base::Base ()' is not a constexpr ctor, because the integer
member is not initialized. That means 10.1.4/4.5 is unsatisfied. So
struct Base gets its
