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
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
// { 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;
constexpr source_location
foo (const source_location x = source_location::current ())
{
return x;
}
struct S {
const char *func;
unsigned line = 0;
source_location loc = source_location::current ();
constexpr S (int l, source_location loc = source_location::current ())
: func(__PRETTY_FUNCTION__), line(l), loc(loc)
{}
constexpr S (double)
: func(__PRETTY_FUNCTION__), line(__LINE__)
// ^ column 45
{}
};
constexpr bool
cmp (const char *p, const char *q)
{
for (; *p && *q; p++, q++)
if (*p != *q)
return true;
return *p || *q;
}
constexpr bool
bar ()
{
int line = __LINE__;
source_location a = foo ();
source_location b = source_location::current ();
source_location c = foo ();
// ^ column 27
// ^ column 48
const source_location *d[3] = { &a, &b, &c };
const char *file1 = __FILE__;
const char *function1 = __PRETTY_FUNCTION__;
for (int j = 0; j < 3; j++)
{
int i= 0;
if (cmp (d[j]->file_name (), file1))
return false;
if (cmp (d[j]->function_name (), function1))
return false;
if (d[j]->line () != line + j + 1)
return false;
if (d[j]->column () != (j == 1 ? 48 : 27))
return false;
}
S e = __LINE__;
// ^ column 9
S f = 1.0;
if (cmp (e.loc.file_name (), file1))
return false;
if (cmp (f.loc.file_name (), file1))
return false;
if (cmp (e.loc.function_name (), function1))
return false;
if (cmp (f.loc.function_name (), f.func))
return false;
if (e.loc.line () != e.line)
return false;
if (f.loc.line () != f.line)
return false;
if (e.loc.column () != 9)
return false;
if (f.loc.column () != 45)
return false;
return true;
}
static_assert (bar ());
int
main ()
{
if (!bar ())
__builtin_abort ();
}
|
