blob: 7e5abc4107d92e9442678f771ac03994cf954034 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
// { dg-options "-std=gnu++2a" }
// { dg-do compile { target c++2a } }
// Copyright (C) 2020 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
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License along
// with this library; see the file COPYING3. If not see
// <http://www.gnu.org/licenses/>.
// Class template day [time.cal.day]
#include <chrono>
constexpr void
constexpr_day()
{
using namespace std::chrono;
day dd{};
++(++dd);
dd++;
--(--dd);
dd--;
dd += days{3};
dd -= days{3};
static_assert(day{1} + days{2} == day{3});
static_assert(days{2} + day{1} == day{3});
static_assert(day{3} - day{1} == days{2});
static_assert(day{3} - days{1} == day{2});
static_assert(++day{4} == day{5});
static_assert(day{4}++ == day{4});
static_assert(--day{4} == day{3});
static_assert(day{4}-- == day{4});
static_assert((day{4} += days{3}) == day{7});
static_assert((day{4} -= days{3}) == day{1});
static_assert(!day{}.ok());
static_assert(day{1}.ok());
static_assert(day{31}.ok());
static_assert(!day{32}.ok());
static_assert(unsigned{day{7}} == 7);
static_assert(!(day{0} == day{1}));
static_assert( (day{0} != day{2}));
static_assert( (day{0} < day{3}));
static_assert(!(day{0} > day{4}));
static_assert( (day{0} <= day{5}));
static_assert(!(day{0} >= day{6}));
static_assert(day{0} <=> day{1} == std::strong_ordering::less);
static_assert(day{3} <=> day{3} == std::strong_ordering::equal);
static_assert(day{5} <=> day{2} == std::strong_ordering::greater);
}
|
