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
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
|
# Copyright 2012-2018 Free Software Foundation, Inc.
# This program 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 of the License, or
# (at your option) any later version.
#
# This program 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 program. If not, see <http://www.gnu.org/licenses/>.
# Note that the testcase gdb.dwarf2/dw2-inline-break.exp largely
# mirrors this testcase, and should be updated if this testcase is
# changed.
standard_testfile
if { [prepare_for_testing "failed to prepare" $testfile $srcfile \
{debug additional_flags=-Winline}] } {
return -1
}
# Return a string that may be used to match the output of "info break NUM".
#
# Optional arguments:
#
# source - the name of the source file
# func - the name of the function
# disp - the event disposition
# enabled - enable state
# locs - number of locations
# line - source line number (ignored without -source)
proc break_info_1 {num args} {
global decimal
# Column delimiter
set c {[\t ]+}
# Row delimiter
set end {[\r\n \t]+}
# Table header
set header "[join [list Num Type Disp Enb Address What] ${c}]"
# Get/configure any optional parameters.
parse_args [list {source ""} {func ".*"} {disp "keep"} \
{enabled "y"} {locs 1} [list line $decimal] \
{type "breakpoint"}]
if {$source != ""} {
set source "$source:$line"
}
# Result starts with the standard header.
set result "$header${end}"
# Set up for multi-location breakpoint marker.
if {$locs == 1} {
set multi ".*"
} else {
set multi "<MULTIPLE>${end}"
}
append result "[join [list $num $type $disp $enabled $multi] $c]"
# Add location info.
for {set i 1} {$i <= $locs} {incr i} {
if {$locs > 1} {
append result "[join [list $num.$i $enabled] $c].*"
}
# Add function/source file info.
append result "in $func at .*$source${end}"
}
return $result
}
#
# func1 is a static inlined function that is called once.
# The result should be a single-location breakpoint.
#
gdb_test "break func1" \
"Breakpoint.*at.* file .*$srcfile, line.*"
#
# func2 is a non-static inlined function that is called once.
# The result should be a breakpoint with two locations: the
# out-of-line function and the single inlined instance.
#
gdb_test "break func2" \
"Breakpoint.*at.*func2.*\\(2 locations\\)"
#
# func3b is a static inlined function that is called once from
# within another static inlined function. The result should be
# a single-location breakpoint.
#
gdb_test "break func3b" \
"Breakpoint.*at.* file .*$srcfile, line.*"
#
# func4b is a static inlined function that is called once from
# within a non-static inlined function. The result should be
# a breakpoint with two locations: the inlined instance within
# the inlined call to func4a in main, and the inlined instance
# within the out-of-line func4a.
#
gdb_test "break func4b" \
"Breakpoint.*at.*func4b.*\\(2 locations\\)"
#
# func5b is a non-static inlined function that is called once
# from within a static inlined function. The result should be a
# breakpoint with two locations: the out-of-line function and the
# inlined instance within the inlined call to func5a in main.
#
gdb_test "break func5b" \
"Breakpoint.*at.*func5b.*\\(2 locations\\)"
#
# func6b is a non-static inlined function that is called once from
# within another non-static inlined function. The result should be
# a breakpoint with three locations: the out-of-line function, the
# inlined instance within the out-of-line func6a, and the inlined
# instance within the inlined call to func6a in main,
#
gdb_test "break func6b" \
"Breakpoint.*at.*func6b.*\\(3 locations\\)"
#
# func7b is a static inlined function that is called twice: once from
# func7a, and once from main. The result should be a breakpoint with
# two locations: the inlined instance within the inlined instance of
# func7a, and the inlined instance within main.
#
gdb_test "break func7b" \
"Breakpoint.*at.*func7b.*\\(2 locations\\)"
#
# func8b is a non-static inlined function that is called twice: once
# func8a, and once from main. The result should be a breakpoint with
# three locations: the out-of-line function, the inlined instance
# within the inlined instance of func7a, and the inlined instance
# within main.
#
gdb_test "break func8b" \
"Breakpoint.*at.*func8b.*\\(3 locations\\)"
#
# func1 is a static inlined function. The result should be that no
# symbol is found to print.
#
gdb_test "print func1" \
"No symbol \"func1\" in current context."
#
# func2 is a non-static inlined function. The result should be that
# one symbol is found to print, and that the printed symbol is called
# "func2". Note that this does not cover the failure case that two
# symbols were found, but that gdb chose the out-of-line copy to
# print, but if this was failing the "print func1" test would likely
# fail instead.
#
gdb_test "print func2" \
"\\\$.* = {int \\(int\\)} .* <func2>"
# Test that "info break" reports the location of the breakpoints "inside"
# the inlined functions
set results(1) [break_info_1 1 -source $srcfile -func "func1"]
set results(2) [break_info_1 2 -locs 2 -source $srcfile -func "func2"]
set results(3) [break_info_1 3 -source $srcfile -func "func3b"]
set results(4) [break_info_1 4 -locs 2 -source $srcfile -func "func4b"]
set results(5) [break_info_1 5 -locs 2 -source $srcfile -func "func5b"]
set results(6) [break_info_1 6 -locs 3 -source $srcfile -func "func6b"]
set results(7) [break_info_1 7 -locs 2 -source $srcfile -func "func7b"]
set results(8) [break_info_1 8 -locs 3 -source $srcfile -func "func8b"]
for {set i 1} {$i <= [array size results]} {incr i} {
send_log "Expecting: $results($i)\n"
gdb_test "info break $i" $results($i)
}
# Test "permanent" and "temporary" breakpoints.
foreach_with_prefix cmd [list "break" "tbreak"] {
# Start with a clean state.
delete_breakpoints
if {![runto main]} {
untested "could not run to main"
return -1
}
# Assemble flags to pass to gdb_breakpoint. Lame but this is just
# a test suite!
set break_flags "message"
if {[string match $cmd "tbreak"]} {
lappend break_flags "temporary"
}
# Insert breakpoints for all inline_func? and not_inline_func? and check
# that we actually stop where we think we should.
for {set i 1} {$i < 4} {incr i} {
foreach inline {"not_inline" "inline"} {
eval gdb_breakpoint "${inline}_func$i" $break_flags
}
}
set ws {[\r\n\t ]+}
set backtrace [list "(in|at)? main"]
for {set i 3} {$i > 0} {incr i -1} {
foreach inline {"not_inline" "inline"} {
# Check that we stop at the correct location and print out
# the (possibly) inlined frames.
set num [gdb_get_line_number "/* ${inline}_func$i */"]
set pattern ".*$srcfile:$num${ws}.*$num${ws}int y = $decimal;"
append pattern "${ws}/\\\* ${inline}_func$i \\\*/"
send_log "Expecting $pattern\n"
gdb_continue_to_breakpoint "${inline}_func$i" $pattern
# Also check for the correct backtrace.
set backtrace [linsert $backtrace 0 "(in|at)?${ws}${inline}_func$i"]
gdb_test_sequence "bt" "bt stopped in ${inline}_func$i" $backtrace
}
}
}
# func_extern_caller calls func_inline_caller which calls
# func_inline_callee. The latter two are both inline functions. Test
# that setting a breakpoint on each of the functions reports a stop at
# that function. This exercises the inline frame skipping logic. If
# we set a breakpoint at function A, we want to present the stop at A,
# even if A's entry code is an inlined call to another inline function
# B.
foreach_with_prefix func {
"func_extern_caller"
"func_inline_caller"
"func_inline_callee"
} {
clean_restart $binfile
if {![runto main]} {
untested "could not run to main"
continue
}
gdb_breakpoint $func
gdb_test "continue" "Breakpoint .* $func .*at .*$srcfile.*" \
"breakpoint hit presents stop at breakpointed function"
}
unset -nocomplain results
|
