PR c++/90532 Ensure __is_constructible(T[]) is false

[thirdparty/gcc.git] / libstdc++-v3 / testsuite / 20_util / is_trivially_default_constructible / value.cc

diff --git a/libstdc++-v3/testsuite/20_util/is_trivially_default_constructible/value.cc b/libstdc++-v3/testsuite/20_util/is_trivially_default_constructible/value.cc
index 8baca915df31119386c3a3b250b413ea111d4528..f457721925d2e5758aa57a878d72d740ebda0c33 100644 (file)
--- a/libstdc++-v3/testsuite/20_util/is_trivially_default_constructible/value.cc
+++ b/libstdc++-v3/testsuite/20_util/is_trivially_default_constructible/value.cc
@@ -62,4 +62,13 @@ void test01()
                construct::Nontrivial>(false), "");
   static_assert(test_category<is_trivially_default_constructible, 
                HasTemplateCtor>(true), "");
+
+  static_assert(test_category<is_trivially_default_constructible,
+               int[]>(false), "PR c++/90532");
+  struct A { };
+  static_assert(test_category<is_trivially_default_constructible,
+               A[]>(false), "PR c++/90532");
+  struct B { B() { } };
+  static_assert(test_category<is_trivially_default_constructible,
+               B[]>(false), "PR c++/90532");
 }