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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
|
// { dg-do run { target c++20 } }
namespace std {
struct source_location {
struct __impl {
const char *_M_file_name;
const char *_M_function_name;
unsigned int _M_line, _M_column;
};
const __impl *__ptr;
constexpr source_location () : __ptr (nullptr) {}
static consteval source_location
current (const void *__p = __builtin_source_location ()) {
source_location __ret;
__ret.__ptr = static_cast <const __impl *> (__p);
return __ret;
}
constexpr const char *file_name () const {
return __ptr ? __ptr->_M_file_name : "";
}
constexpr const char *function_name () const {
return __ptr ? __ptr->_M_function_name : "";
}
constexpr unsigned line () const {
return __ptr ? __ptr->_M_line : 0;
}
constexpr unsigned column () const {
return __ptr ? __ptr->_M_column : 0;
}
};
}
using namespace std;
template <int N>
struct S
{
source_location a = source_location::current ();
source_location b = source_location::current ();
source_location c = source_location ();
constexpr S () { c = source_location::current (); }
};
template <int N>
struct T
{
int t;
source_location u = source_location::current ();
int v = __builtin_LINE ();
};
constexpr S<0> s;
constexpr T<0> t = { 1 };
constexpr bool
cmp (const char *p, const char *q)
{
for (; *p && *q; p++, q++)
if (*p != *q)
return true;
return *p || *q;
}
template <int N>
constexpr bool
foo ()
{
T<N> u = { 2 };
source_location v = source_location::current ();
if (cmp (s.a.file_name (), s.c.file_name ())
|| cmp (s.b.file_name (), s.c.file_name ())
|| cmp (t.u.file_name (), s.c.file_name ())
|| cmp (u.u.file_name (), s.c.file_name ())
|| cmp (v.file_name (), s.c.file_name ())
|| cmp (s.a.function_name (), s.c.function_name ())
|| cmp (s.b.function_name (), s.c.function_name ())
|| cmp (t.u.function_name (), "")
|| cmp (u.u.function_name (), v.function_name ())
|| s.a.line () != s.c.line ()
|| s.b.line () != s.c.line ()
|| t.u.line () != t.v
|| u.u.line () + 1 != v.line ()
|| s.a.column () != 18
|| s.b.column () != 18
|| s.c.column () != 49
|| t.u.column () != 24
|| u.u.column () != 8
|| v.column () != 48)
return false;
return true;
}
static_assert (foo<1> ());
int
main ()
{
if (!foo<1> ())
__builtin_abort ();
}
|
