[Bug c++/83689] Internal compiler error using is_trivially_default_constructible on array of nontrivially-destructible types

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83689

Marek Polacek  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||mpolacek at gcc dot gnu.org
 Resolution|--- |FIXED

--- Comment #3 from Marek Polacek  ---
Fixed for GCC 8+, I suppose we could close it now.

[Bug c++/83689] Internal compiler error using is_trivially_default_constructible on array of nontrivially-destructible types

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83689

--- Comment #2 from Jakub Jelinek  ---
#include 

struct X { X() {} };

void test01()
{
  static_assert(std::is_trivially_constructible::value);
}

ICEs too (but not std::is_constructible).

[Bug c++/83689] Internal compiler error using is_trivially_default_constructible on array of nontrivially-destructible types

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83689

Jakub Jelinek  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2018-01-04
 CC||jakub at gcc dot gnu.org,
   ||ville at gcc dot gnu.org
 Ever confirmed|0   |1

--- Comment #1 from Jakub Jelinek  ---
Reduced testcase without headers:

template
struct A { static constexpr _Tp a = __v; };
template
struct B : public A {};
struct C { C () {} };

void
foo ()
{
  using D = C[10];
  static_assert (!B::a, "");
}

This got fixed with r248788 aka PR80812.  Ville, shall we backport?