]> git.ipfire.org Git - thirdparty/gcc.git/blobdiff - libstdc++-v3/testsuite/20_util/has_unique_object_representations/value.cc
Update copyright years.
[thirdparty/gcc.git] / libstdc++-v3 / testsuite / 20_util / has_unique_object_representations / value.cc
index 5a77ee5b52a93f7bd068a7c4e4865198c045aa91..e615c6855dd5cd2681db982e888f06534adab780 100644 (file)
@@ -1,7 +1,6 @@
-// { dg-options "-std=gnu++1z" }
-// { dg-do compile { target c++1z } }
+// { dg-do compile { target c++17 } }
 
-// Copyright (C) 2016 Free Software Foundation, Inc.
+// Copyright (C) 2016-2024 Free Software Foundation, Inc.
 //
 // This file is part of the GNU ISO C++ Library.  This library is free
 // software; you can redistribute it and/or modify it under the
@@ -108,3 +107,17 @@ void test01()
   static_assert(test_category<has_unique_object_representations,
                Aligned[][1]>(false), "");
 }
+
+void
+test02()
+{
+  using std::has_unique_object_representations;
+  using std::has_unique_object_representations_v;
+
+  static_assert(has_unique_object_representations_v<int>
+               == has_unique_object_representations<int>::value);
+  static_assert(has_unique_object_representations_v<void>
+               == has_unique_object_representations<void>::value);
+  static_assert(has_unique_object_representations_v<float>
+               == has_unique_object_representations<float>::value);
+}