aboutsummaryrefslogtreecommitdiff
path: root/libcxx/test
diff options
context:
space:
mode:
Diffstat (limited to 'libcxx/test')
-rw-r--r--libcxx/test/libcxx/time/time.traits/is.clock.verify.cpp (renamed from libcxx/test/libcxx/time/time.traits.is.clock/trait.is.clock.compile.verify.cpp)12
-rw-r--r--libcxx/test/std/time/time.traits/is.clock.compile.pass.cpp (renamed from libcxx/test/std/time/time.traits.is.clock/trait.is.clock.compile.pass.cpp)5
2 files changed, 17 insertions, 0 deletions
diff --git a/libcxx/test/libcxx/time/time.traits.is.clock/trait.is.clock.compile.verify.cpp b/libcxx/test/libcxx/time/time.traits/is.clock.verify.cpp
index e9ad59a..f4f438d 100644
--- a/libcxx/test/libcxx/time/time.traits.is.clock/trait.is.clock.compile.verify.cpp
+++ b/libcxx/test/libcxx/time/time.traits/is.clock.verify.cpp
@@ -8,6 +8,18 @@
// REQUIRES: std-at-least-c++20
+// <chrono>
+//
+// template<class T> struct is_clock;
+// template<class T> constexpr bool is_clock_v = is_clock<T>::value;
+
+// [time.traits.is.clock]/3:
+// The behavior of a program that adds specializations for is_clock is undefined.
+
+// [namespace.std]/3:
+// The behavior of a C++ program is undefined if it declares an explicit or partial specialization of any standard
+// library variable template, except where explicitly permitted by the specification of that variable template.
+
#include <chrono>
#include <ratio>
diff --git a/libcxx/test/std/time/time.traits.is.clock/trait.is.clock.compile.pass.cpp b/libcxx/test/std/time/time.traits/is.clock.compile.pass.cpp
index 4168fa7..4af29d2 100644
--- a/libcxx/test/std/time/time.traits.is.clock/trait.is.clock.compile.pass.cpp
+++ b/libcxx/test/std/time/time.traits/is.clock.compile.pass.cpp
@@ -8,6 +8,11 @@
// REQUIRES: std-at-least-c++20
+// <chrono>
+//
+// template<class T> struct is_clock;
+// template<class T> constexpr bool is_clock_v = is_clock<T>::value;
+
#include <chrono>
#include <ratio>