152
|
1 // Copyright (C) 2020 Free Software Foundation, Inc.
|
|
2 //
|
|
3 // This file is part of the GNU ISO C++ Library. This library is free
|
|
4 // software; you can redistribute it and/or modify it under the
|
|
5 // terms of the GNU General Public License as published by the
|
|
6 // Free Software Foundation; either version 3, or (at your option)
|
|
7 // any later version.
|
|
8
|
|
9 // This library is distributed in the hope that it will be useful,
|
|
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
12 // GNU General Public License for more details.
|
|
13
|
|
14 // You should have received a copy of the GNU General Public License along
|
|
15 // with this library; see the file COPYING3. If not see
|
|
16 // <http://www.gnu.org/licenses/>.
|
|
17
|
|
18 // { dg-options "-std=gnu++2a" }
|
|
19 // { dg-do compile { target c++2a } }
|
|
20
|
|
21 #include <chrono>
|
|
22
|
|
23 using std::chrono::file_clock;
|
|
24
|
|
25 // Cpp17Clock requirements:
|
|
26
|
|
27 // New type so that is_clock<file_clock> specialization isn't used.
|
|
28 struct C : file_clock { };
|
|
29 static_assert( std::chrono::is_clock_v<C> );
|
|
30
|
|
31 // Cpp17TrivialClock requirements:
|
|
32
|
|
33 // A trivial clock's rep must be a numeric type, which is true for
|
|
34 // libstdc++ because we use an integral type.
|
|
35 static_assert( std::is_integral_v<file_clock::rep> );
|
|
36
|
|
37 // We meet the recursive Cpp17TrivialClock requirement by using the same clock:
|
|
38 static_assert( std::is_same_v<file_clock::time_point::clock, file_clock> );
|
|
39
|
|
40 // chrono::file_clock requirements:
|
|
41
|
|
42 static_assert( std::is_signed_v<file_clock::rep> );
|
|
43 static_assert( noexcept(file_clock::now()) );
|