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
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
|
"""
Test lldb data formatter subsystem for std::span
"""
import lldb
from lldbsuite.test.decorators import *
from lldbsuite.test.lldbtest import *
from lldbsuite.test import lldbutil
class StdSpanDataFormatterTestCase(TestBase):
def findVariable(self, name):
var = self.frame().FindVariable(name)
self.assertTrue(var.IsValid())
return var
def check_size(self, var_name, size):
var = self.findVariable(var_name)
self.assertEqual(var.GetNumChildren(), size)
def check_numbers(self, var_name):
"""Helper to check that data formatter sees contents of std::span correctly"""
expectedSize = 5
self.check_size(var_name, expectedSize)
self.expect_expr(
var_name,
result_type=f"std::span<int, {expectedSize}>",
result_summary=f"size={expectedSize}",
result_children=[
ValueCheck(name="[0]", value="1"),
ValueCheck(name="[1]", value="12"),
ValueCheck(name="[2]", value="123"),
ValueCheck(name="[3]", value="1234"),
ValueCheck(name="[4]", value="12345"),
],
)
# check access-by-index
self.expect_var_path(f"{var_name}[0]", type="int", value="1")
self.expect_var_path(f"{var_name}[1]", type="int", value="12")
self.expect_var_path(f"{var_name}[2]", type="int", value="123")
self.expect_var_path(f"{var_name}[3]", type="int", value="1234")
self.expect_var_path(f"{var_name}[4]", type="int", value="12345")
def do_test(self):
"""Test that std::span variables are formatted correctly when printed."""
(self.target, process, thread, bkpt) = lldbutil.run_to_source_breakpoint(
self, "break here", lldb.SBFileSpec("main.cpp", False)
)
lldbutil.continue_to_breakpoint(process, bkpt)
# std::span of std::array with extents known at compile-time
self.check_numbers("numbers_span")
# check access to synthetic children for static spans
self.runCmd(
'type summary add --summary-string "item 0 is ${var[0]}" -x "std::span<" span'
)
self.expect_expr(
"numbers_span",
result_type="std::span<int, 5>",
result_summary="item 0 is 1",
)
self.runCmd(
'type summary add --summary-string "item 0 is ${svar[0]}" -x "std::span<" span'
)
self.expect_expr(
"numbers_span",
result_type="std::span<int, 5>",
result_summary="item 0 is 1",
)
self.runCmd("type summary delete span")
# New span with strings
lldbutil.continue_to_breakpoint(process, bkpt)
expectedStringSpanChildren = [
ValueCheck(name="[0]", summary='"smart"'),
ValueCheck(name="[1]", summary='"!!!"'),
]
self.expect_var_path(
"strings_span", summary="size=2", children=expectedStringSpanChildren
)
# check access to synthetic children for dynamic spans
self.runCmd(
'type summary add --summary-string "item 0 is ${var[0]}" dynamic_string_span'
)
self.expect_var_path("strings_span", summary='item 0 is "smart"')
self.runCmd(
'type summary add --summary-string "item 0 is ${svar[0]}" dynamic_string_span'
)
self.expect_var_path("strings_span", summary='item 0 is "smart"')
self.runCmd("type summary delete dynamic_string_span")
# test summaries based on synthetic children
self.runCmd(
'type summary add --summary-string "span has ${svar%#} items" -e dynamic_string_span'
)
self.expect_var_path("strings_span", summary="span has 2 items")
self.expect_var_path(
"strings_span",
summary="span has 2 items",
children=expectedStringSpanChildren,
)
# check access-by-index
self.expect_var_path("strings_span[0]", summary='"smart"')
self.expect_var_path("strings_span[1]", summary='"!!!"')
# Newly inserted value not visible to span
lldbutil.continue_to_breakpoint(process, bkpt)
self.expect_expr(
"strings_span",
result_summary="span has 2 items",
result_children=expectedStringSpanChildren,
)
self.runCmd("type summary delete dynamic_string_span")
lldbutil.continue_to_breakpoint(process, bkpt)
# Empty spans
self.expect_expr(
"static_zero_span", result_type="std::span<int, 0>", result_summary="size=0"
)
self.check_size("static_zero_span", 0)
self.expect_expr("dynamic_zero_span", result_summary="size=0")
self.check_size("dynamic_zero_span", 0)
# Nested spans
self.expect_expr(
"nested",
result_summary="size=2",
result_children=[
ValueCheck(
name="[0]", summary="size=2", children=expectedStringSpanChildren
),
ValueCheck(
name="[1]", summary="size=2", children=expectedStringSpanChildren
),
],
)
self.check_size("nested", 2)
@skipIf(compiler="clang", compiler_version=["<", "11.0"])
@add_test_categories(["libc++"])
def test_libcxx(self):
self.build(dictionary={"USE_LIBCPP": 1})
self.do_test()
def do_test_ref_and_ptr(self):
"""Test that std::span is correctly formatted when passed by ref and ptr"""
(self.target, process, thread, bkpt) = lldbutil.run_to_source_breakpoint(
self, "Stop here to check by ref", lldb.SBFileSpec("main.cpp", False)
)
# The reference should display the same was as the value did
self.check_numbers("ref")
# The pointer should just show the right number of elements:
self.expect("frame variable ptr", patterns=["ptr = 0x[0-9a-f]+ size=5"])
@skipIf(compiler="clang", compiler_version=["<", "11.0"])
@add_test_categories(["libc++"])
def test_ref_and_ptr_libcxx(self):
self.build(dictionary={"USE_LIBCPP": 1})
self.do_test_ref_and_ptr()
|
