xref: /netbsd-src/external/gpl3/gdb.old/dist/gdb/testsuite/gdb.mi/mi-var-cmd.exp (revision 16dce51364ebe8aeafbae46bc5aa167b8115bc45)
1# Copyright 1999-2016 Free Software Foundation, Inc.
2#
3# This program is free software; you can redistribute it and/or modify
4# it under the terms of the GNU General Public License as published by
5# the Free Software Foundation; either version 3 of the License, or
6# (at your option) any later version.
7#
8# This program is distributed in the hope that it will be useful,
9# but WITHOUT ANY WARRANTY; without even the implied warranty of
10# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11# GNU General Public License for more details.
12#
13# You should have received a copy of the GNU General Public License
14# along with this program.  If not, see <http://www.gnu.org/licenses/>.
15
16# Test essential Machine interface (MI) operations
17#
18# Verify that, using the MI, we can create, update, delete variables.
19#
20
21
22load_lib mi-support.exp
23set MIFLAGS "-i=mi"
24
25gdb_exit
26if [mi_gdb_start] {
27    continue
28}
29
30standard_testfile var-cmd.c
31
32if  { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug}] != "" } {
33    untested mi-var-cmd.exp
34    return -1
35}
36
37mi_delete_breakpoints
38mi_gdb_reinitialize_dir $srcdir/$subdir
39mi_gdb_load ${binfile}
40
41
42#####                   #####
43#                           #
44#  Variable Creation tests  #
45#                           #
46#####                   #####
47
48# Test:  c_variable-1.1
49# Desc:  Create global variable
50
51mi_create_varobj "global_simple" "global_simple" "create global variable"
52
53# PR mi/15863
54# Attempt to update the varobj before running the inferior.
55mi_gdb_test "-var-update *" \
56	"\\^done,changelist=\\\[\\\]" \
57	"update varobj before running inferior"
58
59# Test: c_variable-1.2
60# Desc: Create non-existent variable
61
62mi_gdb_test "112-var-create bogus_unknown_variable * bogus_unknown_variable" \
63	"112\\^error,msg=\"-var-create: unable to create variable object\"" \
64	"create non-existent variable"
65
66# Test: c_variable-1.3
67# Desc: Create out of scope variable
68
69mi_gdb_test "113-var-create argc * argc" \
70	"113\\^error,msg=\"-var-create: unable to create variable object\"" \
71	"create out of scope variable"
72
73mi_runto do_locals_tests
74
75set line_dlt_first_real [gdb_get_line_number "linteger = 1234;"]
76
77mi_continue_to_line $line_dlt_first_real "step to real start of do_locals_test"
78
79
80# Test: c_variable-1.4
81# Desc: create local variables
82
83mi_create_varobj_checked linteger linteger int "create local variable linteger"
84
85mi_create_varobj_checked lpinteger lpinteger {int \*} "create local variable lpinteger"
86
87mi_create_varobj_checked lcharacter lcharacter\[0\] char "create local variable lcharacter"
88
89mi_create_varobj_checked lpcharacter lpcharacter {char \*} "create local variable lpcharacter"
90
91mi_create_varobj_checked llong llong "long" "create local variable llong"
92
93mi_create_varobj_checked lplong lplong {long \*} "create local variable lplong"
94
95mi_create_varobj_checked lfloat lfloat float "create local variable lfloat"
96
97mi_create_varobj_checked lpfloat lpfloat {float \*} "create local variable lpfloat"
98
99mi_create_varobj_checked ldouble ldouble double "create local variable ldouble"
100
101mi_create_varobj_checked lpdouble lpdouble {double \*} "create local variable lpdouble"
102
103mi_create_varobj_checked lsimple lsimple "struct _simple_struct" "create local variable lsimple"
104
105mi_create_varobj_checked lpsimple lpsimple {struct _simple_struct \*} "create local variable lpsimple"
106
107mi_create_varobj_checked func func {void \(\*\)\((void|)\)} "create local variable func"
108
109# Test: c_variable-1.5
110# Desc: create lsimple.character
111mi_create_varobj_checked lsimple.character lsimple.character "char" \
112	"create lsimple.character"
113
114# Test: c_variable-1.6
115# Desc: create lpsimple->integer
116mi_create_varobj_checked lsimple->integer lsimple->integer "int" \
117	"create lsimple->integer"
118
119# Test: c_variable-1.7
120# Desc: create lsimple.integer
121mi_create_varobj_checked lsimple.integer lsimple.integer "int" \
122	"create lsimple.integer"
123
124
125# Test: c_variable-1.9
126# Desc: create type name
127#    Type names (like int, long, etc..) are all proper expressions to gdb.
128#    make sure variable code does not allow users to create variables, though.
129mi_gdb_test "-var-create int * int" \
130	"&\"Attempt to use a type name as an expression.\\\\n\".*\\^error,msg=\"-var-create: unable to create variable object\"" \
131	"create int"
132
133
134#####             #####
135#                     #
136# Value changed tests #
137#                     #
138#####             #####
139
140# Test: c_variable-2.1
141# Desc: check whether values changed at do_block_tests
142mi_gdb_test "-var-update *" \
143	"\\^done,changelist=\\\[\\\]" \
144	"update all vars"
145
146# Step over "linteger = 1234;"
147set line_dlt_linteger [gdb_get_line_number "lpinteger = &linteger;"]
148mi_step_to "do_locals_tests" "" "var-cmd.c" $line_dlt_linteger "step at do_locals_test"
149
150# Test: c_variable-2.2
151# Desc: check whether only linteger changed values
152mi_gdb_test "-var-update *" \
153	"\\^done,changelist=\\\[\{name=\"linteger\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\}\\\]" \
154	"update all vars: linteger changed"
155
156# Step over "lpinteger = &linteger;"
157mi_step_to "do_locals_tests" "" "var-cmd.c" [expr $line_dlt_linteger + 1] "step at do_locals_tests (2)"
158
159# Test: c_variable-2.3
160# Desc: check whether only lpinteger changed
161mi_gdb_test "-var-update *" \
162	"\\^done,changelist=\\\[\{name=\"lpinteger\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\}\\\]" \
163	"update all vars: lpinteger changed"
164
165# Step over "lcharacter = 'a';"
166mi_step_to "do_locals_tests" "" "var-cmd.c" [expr $line_dlt_linteger + 2] "step at do_locals_tests (3)"
167
168# Test: c_variable-2.4
169# Desc: check whether only lcharacter changed
170mi_gdb_test "-var-update *" \
171	"\\^done,changelist=\\\[\{name=\"lcharacter\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\}\\\]" \
172	"update all vars: lcharacter changed"
173
174# Step over "lpcharacter = &lcharacter;"
175mi_step_to "do_locals_tests" "" "var-cmd.c" [expr $line_dlt_linteger + 3] "step at do_locals_tests (4)"
176
177# Test: c_variable-2.5
178# Desc: check whether only lpcharacter changed
179mi_gdb_test "-var-update *" \
180	"\\^done,changelist=\\\[\{name=\"lpcharacter\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\}\\\]" \
181	"update all vars: lpcharacter changed"
182
183
184# Step over:
185#  llong = 2121L;
186#  lplong = &llong;
187#  lfloat = 2.1;
188#  lpfloat = &lfloat;
189#  ldouble = 2.718281828459045;
190#  lpdouble = &ldouble;
191#  lsimple.integer = 1234;
192#  lsimple.unsigned_integer = 255;
193#  lsimple.character = 'a';
194
195mi_execute_to "exec-step 9" "end-stepping-range" "do_locals_tests" "" \
196	"var-cmd.c" [expr $line_dlt_linteger + 12] "" "step at do_locals_tests (5)"
197
198# Test: c_variable-2.6
199# Desc: check whether llong, lplong, lfloat, lpfloat, ldouble, lpdouble, lsimple.integer,
200#       lsimple.unsigned_character lsimple.integer lsimple.character changed
201mi_gdb_test "-var-update *" \
202	"\\^done,changelist=\\\[\{name=\"lsimple.integer\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\},\{name=\"lsimple->integer\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\},\{name=\"lsimple.character\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\},\{name=\"lpdouble\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\},\{name=\"ldouble\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\},\{name=\"lpfloat\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\},\{name=\"lfloat\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\},\{name=\"lplong\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\},\{name=\"llong\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\}\\\]" \
203	"update all vars: many changed"
204
205# Step over:
206#  lsimple.signed_character = 21;
207#  lsimple.char_ptr = &lcharacter;
208#  lpsimple = &lsimple;
209#  func = nothing;
210
211set line_dlt_4321 [gdb_get_line_number "linteger = 4321;"]
212
213mi_execute_to "exec-step 4" "end-stepping-range" "do_locals_tests" "" \
214	"var-cmd.c" $line_dlt_4321 "" "step at do_locals_tests (6)"
215
216# Test: c_variable-2.7
217# Desc: check whether (lsimple.signed_character, lsimple.char_ptr) lpsimple, func changed
218mi_gdb_test "-var-update *" \
219	"\\^done,changelist=\\\[\{name=\"func\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\},\{name=\"lpsimple\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\}\\\]" \
220	"update all vars: func and lpsimple changed"
221
222# Step over
223#  linteger = 4321;
224#  lcharacter = 'b';
225#  llong = 1212L;
226#  lfloat = 1.2;
227#  ldouble = 5.498548281828172;
228#  lsimple.integer = 255;
229#  lsimple.unsigned_integer = 4321;
230#  lsimple.character = 'b';
231
232mi_execute_to "exec-step 8" "end-stepping-range" "do_locals_tests" "" \
233	"var-cmd.c" [expr $line_dlt_4321 + 8] "" "step at do_locals_tests (7)"
234
235# Test: c_variable-2.8
236# Desc: check whether linteger, lcharacter, llong, lfoat, ldouble, lsimple.integer,
237#       lpsimple.integer lsimple.character changed
238# Note: this test also checks that lpsimple->integer and lsimple.integer have
239#       changed (they are the same)
240mi_gdb_test "-var-update *" \
241	"\\^done,changelist=\\\[\{name=\"lsimple.integer\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\},\{name=\"lsimple->integer\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\},\{name=\"lsimple.character\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\},\{name=\"ldouble\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\},\{name=\"lfloat\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\},\{name=\"llong\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\},\{name=\"lpcharacter\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\},\{name=\"lcharacter\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\},\{name=\"linteger\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\}\\\]" \
242	"update all vars: lsimple and others changed"
243
244
245###
246#
247# Test assignment to variables. More tests on assignment are in other files.
248#
249###
250mi_gdb_test "-var-assign global_simple 0" \
251	"\\^error,msg=\"-var-assign: Variable object is not editable\"" \
252	"assign to global_simple"
253
254mi_gdb_test "-var-assign linteger 3333" \
255	"\\^done,value=\"3333\"" \
256	"assign to linteger"
257
258# Allow lpcharacter to update, optionally.  Because it points to a
259# char variable instead of a zero-terminated string, if linteger is
260# directly after it in memory the printed characters may appear to
261# change.
262set lpchar_update "\{name=\"lpcharacter\",in_scope=\"true\",type_changed=\"false\"\},"
263mi_gdb_test "-var-update *" \
264	"\\^done,changelist=\\\[($lpchar_update)?\{name=\"linteger\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\}\\\]" \
265	"update all vars: linteger changed after assign"
266
267mi_gdb_test "-var-assign linteger 3333" \
268	"\\^done,value=\"3333\"" \
269	"assign to linteger again, same value"
270
271mi_gdb_test "-var-update *" \
272	"\\^done,changelist=\\\[\\\]" \
273	"update all vars: linteger not changed after same assign"
274
275mi_gdb_test "-var-evaluate-expression linteger" \
276	"\\^done,value=\"3333\"" \
277	"eval linteger"
278
279mi_gdb_test "-var-assign lpinteger \"&linteger + 3\"" \
280	"\\^done,value=\"$hex\"" \
281	"assign to lpinteger"
282
283mi_gdb_test "-var-update *" \
284	"\\^done,changelist=\\\[\{name=\"lpinteger\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\}\\\]" \
285	"update all vars: lpinteger changed after assign"
286
287mi_gdb_test "-var-update *" \
288	"\\^done,changelist=\\\[\\\]" \
289	"update all vars: no changes on second update"
290
291mi_gdb_test "-var-evaluate-expression lpinteger" \
292	"\\^done,value=\"$hex\"" \
293	"eval lpinteger"
294
295# reset the values to the original ones so that the rest of the file doesn't suffer.
296
297mi_gdb_test "-var-assign linteger 4321" \
298	"\\^done,value=\"4321\"" \
299	"assign to linteger"
300
301mi_gdb_test "-var-assign lpinteger &linteger" \
302	"\\^done,value=\"$hex\"" \
303	"assign to lpinteger"
304
305mi_gdb_test "-var-assign lcharacter 'z'" \
306	"\\^done,value=\"122 'z'\"" \
307	"assign to lcharacter"
308
309mi_gdb_test "-var-evaluate-expression lcharacter" \
310	"\\^done,value=\"122 'z'\"" \
311	"eval lcharacter"
312
313mi_gdb_test "-var-assign llong 1313L" \
314	"\\^done,value=\"1313\"" \
315	"assign to llong"
316mi_gdb_test "-var-evaluate-expression llong" \
317	"\\^done,value=\"1313\"" \
318	"eval llong"
319mi_gdb_test "-var-assign llong 1212L" \
320	"\\^done,value=\"1212\"" \
321	"assign to llong"
322
323mi_gdb_test "-var-assign lplong &llong+4" \
324	"\\^done,value=\"$hex\"" \
325	"assign to lplong"
326mi_gdb_test "-var-evaluate-expression lplong" \
327	"\\^done,value=\"$hex\"" \
328	"eval lplong"
329mi_gdb_test "-var-assign lplong &llong" \
330	"\\^done,value=\"$hex\"" \
331	"assign to lplong"
332
333mi_gdb_test "-var-assign lfloat 3.4567" \
334	"\\^done,value=\"3.45.*\"" \
335	"assign to lfloat"
336mi_gdb_test "-var-evaluate-expression lfloat" \
337	"\\^done,value=\"3.45.*\"" \
338	"eval lfloat"
339mi_gdb_test "-var-assign lfloat 1.2345" \
340	"\\^done,value=\"1.23.*\"" \
341	"assign to lfloat"
342
343mi_gdb_test "-var-assign lpfloat &lfloat+4" \
344	"\\^done,value=\"$hex\"" \
345	"assign to lpfloat"
346
347mi_gdb_test "-var-assign ldouble 5.333318284590435" \
348	"\\^done,value=\"5.333318284590435\"" \
349	"assign to ldouble"
350
351mi_gdb_test "-var-assign func do_block_tests" \
352	"\\^done,value=\"$hex <do_block_tests>\"" \
353	"assign to func"
354
355mi_gdb_test "-var-assign lsimple.character 'd'" \
356	"\\^done,value=\"100 'd'\"" \
357	"assign to lsimple.character"
358
359mi_gdb_test "-var-assign  lsimple->integer 222" \
360	"\\^done,value=\"222\"" \
361	"assign to lsimple->integer"
362
363mi_gdb_test "-var-assign lsimple.integer 333" \
364	"\\^done,value=\"333\"" \
365	"assign to lsimple.integer"
366
367mi_gdb_test "-var-update *" \
368	"\\^done,changelist=.*" \
369	"var update"
370
371# Check that assignment of function and array values
372# promotes the assigned value to function pointer/data
373# pointer before comparing with the existing value,
374# and does not incorrectly make the value as changed.
375mi_gdb_test "-var-assign func do_block_tests" \
376	"\\^done,value=\"$hex <do_block_tests>\"" \
377	"assign same value to func"
378
379mi_gdb_test "-var-update *" \
380	"\\^done,changelist=\\\[\\\]" \
381	"assign same value to func (update)"
382
383mi_gdb_test "-var-create array_ptr * array_ptr" \
384	"\\^done,name=\"array_ptr\",numchild=\"1\",value=\"$hex <array>\",type=\"int \\*\",has_more=\"0\"" \
385	"create global variable array_ptr"
386
387mi_gdb_test "-var-assign array_ptr array2" \
388	"\\^done,value=\"$hex <array2>\"" \
389	"assign array to pointer"
390
391mi_gdb_test "-var-update *" \
392	"\\^done,changelist=\\\[\{name=\"array_ptr\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\}\\\]" \
393	"assign array to pointer (update)"
394
395mi_gdb_test "-var-assign array_ptr array2" \
396	"\\^done,value=\"$hex <array2>\"" \
397	"assign same array to pointer"
398
399mi_gdb_test "-var-update *" \
400	"\\^done,changelist=\\\[\\\]" \
401	"assign same array to pointer (update)"
402
403
404######
405# End of assign tests
406#####
407
408set line_subroutine1_body [gdb_get_line_number "global_simple.integer = i + 3;"]
409
410mi_continue_to subroutine1
411
412# Test: c_variable-2.10
413# Desc: create variable for locals i,l in subroutine1
414mi_create_varobj_checked i i int "create i"
415
416mi_create_varobj_checked l l {long \*} "create l"
417
418# Test: c_variable-2.11
419# Desc: create do_locals_tests local in subroutine1
420mi_gdb_test "-var-create linteger * linteger" \
421	"\\^error,msg=\"-var-create: unable to create variable object\"" \
422	"create linteger"
423
424mi_step_to "subroutine1" "\{name=\"i\",value=\".*\"\},\{name=\"l\",value=\".*\"\}" \
425	"var-cmd.c" [expr $line_subroutine1_body + 1] "step at subroutine1"
426
427# Test: c_variable-2.12
428# Desc: change global_simple.integer
429# Note: This also tests whether we are reporting changes in structs properly.
430#       gdb normally would say that global_simple has changed, but we
431#       special case that, since it is not what a human expects to
432#       see.
433
434setup_xfail *-*-*
435mi_gdb_test "-var-update *" \
436	"\\^done,changelist=\{FIXME: WHAT IS CORRECT HERE\}" \
437	"update all vars: changed FIXME"
438clear_xfail *-*-*
439
440mi_step_to "subroutine1" "\{name=\"i\",value=\".*\"\},\{name=\"l\",value=\".*\"\}" \
441	"var-cmd.c" [expr $line_subroutine1_body + 2] "step at subroutine1 (2)"
442
443# Test: c_variable-2.13
444# Desc: change subroutine1 local i
445mi_gdb_test "-var-update *" \
446	"\\^done,changelist=\\\[\{name=\"i\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\}\\\]" \
447	"update all vars: i changed"
448
449mi_step_to "subroutine1" "\{name=\"i\",value=\".*\"\},\{name=\"l\",value=\".*\"\}" \
450	"var-cmd.c" [expr $line_subroutine1_body + 3] "step at subroutine1 (3)"
451
452# Test: c_variable-2.14
453# Desc: change do_locals_tests local llong
454mi_gdb_test "-var-update *" \
455	"\\^done,changelist=\\\[\{name=\"llong\",in_scope=\"true\",type_changed=\"false\",has_more=\"0\"\}\\\]" \
456	"update all vars: llong changed"
457
458set line_dlt_call_subroutine1 [gdb_get_line_number "subroutine1 (linteger, &llong);"]
459mi_next_to "do_locals_tests" ""	"var-cmd.c" \
460  [expr $line_dlt_call_subroutine1 + 1] "next out of subroutine1"
461
462# Test: c_variable-2.15
463# Desc: check for out of scope subroutine1 locals
464mi_gdb_test "-var-update *" \
465	"\\^done,changelist=\\\[\{name=\"l\",in_scope=\"false\"\,type_changed=\"false\",has_more=\"0\"},\{name=\"i\",in_scope=\"false\",type_changed=\"false\",has_more=\"0\"\}\\\]" \
466	"update all vars: all now out of scope"
467
468# Done with locals/globals tests. Erase all variables
469#delete_all_variables
470mi_gdb_test "-var-delete global_simple" \
471	"\\^done,ndeleted=\"1\"" \
472	"delete var"
473
474mi_gdb_test "-var-delete linteger" \
475	"\\^done,ndeleted=\"1\"" \
476	"delete var linteger"
477
478mi_gdb_test "-var-delete lpinteger" \
479	"\\^done,ndeleted=\"1\"" \
480	"delete var lpinteger"
481
482mi_gdb_test "-var-delete lcharacter" \
483	"\\^done,ndeleted=\"1\"" \
484	"delete var lcharacter"
485
486mi_gdb_test "-var-delete lpcharacter" \
487	"\\^done,ndeleted=\"1\"" \
488	"delete var lpcharacter"
489
490mi_gdb_test "-var-delete llong" \
491	"\\^done,ndeleted=\"1\"" \
492	"delete var llong"
493
494mi_gdb_test "-var-delete lplong" \
495	"\\^done,ndeleted=\"1\"" \
496	"delete var lplong"
497
498mi_gdb_test "-var-delete lfloat" \
499	"\\^done,ndeleted=\"1\"" \
500	"delete var lfloat"
501
502mi_gdb_test "-var-delete lpfloat" \
503	"\\^done,ndeleted=\"1\"" \
504	"delete var lpfloat"
505
506mi_gdb_test "-var-delete ldouble" \
507	"\\^done,ndeleted=\"1\"" \
508	"delete var ldouble"
509
510mi_gdb_test "-var-delete lpdouble" \
511	"\\^done,ndeleted=\"1\"" \
512	"delete var lpdouble"
513
514mi_gdb_test "-var-delete lsimple" \
515	"\\^done,ndeleted=\"1\"" \
516	"delete var lsimple"
517
518mi_gdb_test "-var-delete lpsimple" \
519	"\\^done,ndeleted=\"1\"" \
520	"delete var lpsimple"
521
522mi_gdb_test "-var-delete func" \
523	"\\^done,ndeleted=\"1\"" \
524	"delete var func"
525
526mi_gdb_test "-var-delete lsimple.character" \
527	"\\^done,ndeleted=\"1\"" \
528	"delete var lsimple.character"
529
530mi_gdb_test "-var-delete  lsimple->integer" \
531	"\\^done,ndeleted=\"1\"" \
532	"delete var  lsimple->integer"
533
534mi_gdb_test "-var-delete lsimple.integer" \
535	"\\^done,ndeleted=\"1\"" \
536	"delete var lsimple.integer"
537
538mi_gdb_test "-var-delete i" \
539	"\\^done,ndeleted=\"1\"" \
540	"delete var i"
541
542mi_gdb_test "-var-delete l" \
543	"\\^done,ndeleted=\"1\"" \
544	"delete var l"
545
546# Test whether we can follow the name of a variable through multiple
547# stack frames.
548mi_continue_to do_special_tests
549
550mi_gdb_test "-var-create selected_a @ a" \
551  {\^done,name="selected_a",numchild="0",value=\".*\",type="int".*} \
552  "create selected_a"
553
554mi_continue_to incr_a
555
556mi_gdb_test "-var-update selected_a" \
557	"\\^done,changelist=\\\[\{name=\"selected_a\",in_scope=\"true\",type_changed=\"true\",new_type=\"char\",new_num_children=\"0\",has_more=\"0\"\}\\\]" \
558	"update selected_a in incr_a"
559
560mi_next "step a line in incr_a"
561mi_next "return from incr_a to do_special_tests"
562
563mi_gdb_test "-var-update selected_a" \
564	"\\^done,changelist=\\\[\{name=\"selected_a\",in_scope=\"true\",type_changed=\"true\",new_type=\"int\",new_num_children=\"0\",has_more=\"0\"\}\\\]" \
565	"update selected_a in do_special_tests"
566
567if [is_remote host] {
568    set filename ${testfile}
569} else {
570    set filename ${binfile}
571}
572
573mi_gdb_test "-file-exec-and-symbols ${filename}" "\\^done" \
574    "floating varobj invalidation"
575
576mi_delete_varobj selected_a "delete selected_a"
577mi_delete_varobj array_ptr "delete array_ptr"
578
579proc set_frozen {varobjs flag} {
580    foreach v $varobjs {
581        mi_gdb_test "-var-set-frozen $v $flag" \
582            "\\^done" \
583            "-var-set-frozen $v $flag"
584    }
585}
586
587mi_prepare_inline_tests $srcfile
588mi_run_inline_test frozen
589
590mi_run_inline_test bitfield
591
592# Since the inline test framework does not really work with
593# function calls, first to inline tests and then do the reminder
594# manually.
595mi_run_inline_test floating
596set do_at_tests_callee_breakpoint [gdb_get_line_number "breakpoint inside callee"]
597mi_gdb_test "-break-insert var-cmd.c:$do_at_tests_callee_breakpoint" ".*" \
598    "inside breakpoint inside callee"
599mi_execute_to "exec-continue" "breakpoint-hit" do_at_tests_callee "" ".*" ".*" \
600    { "" "disp=\"keep\"" } \
601    "continue to where i is initialized"
602
603mi_varobj_update F {F} "update F inside callee"
604mi_check_varobj_value F 7 "check F inside callee"
605
606# Test whether bad varobjs crash GDB.
607
608# A varobj we fail to read during -var-update should be considered
609# out of scope.
610mi_gdb_test "-var-create null_ptr * **0" \
611    {\^done,name="null_ptr",numchild="0",value=".*",type="int",has_more="0"} \
612    "create null_ptr"
613
614# Allow this to succeed, if address zero is readable, although it
615# will not test what it was meant to.  Most important is that GDB
616# does not crash.
617mi_gdb_test "-var-update null_ptr" \
618    {\^done,changelist=\[.*\]} \
619    "update null_ptr"
620
621mi_gdb_test "-var-delete null_ptr" \
622    "\\^done,ndeleted=\"1\"" \
623    "delete null_ptr"
624
625# When we fail to read a varobj created from a named variable,
626# we evaluate its type instead.  Make sure that doesn't blow
627# up by trying to read it again.  We can use _end when not running
628# the program to simulate an unreadable variable, if this platform
629# provides _end, but cope if it's missing.
630
631mi_gdb_test "kill" \
632    {&"kill\\n".*\^done} \
633    "kill program before endvar"
634
635mi_gdb_test "-var-create endvar * _end" \
636    {(\^done,name="endvar",numchild="0",value=".*",type=".*"|\^error,msg=".*")} \
637    "create endvar"
638
639# Allow this to succeed whether the value is readable, unreadable, or
640# missing.  Most important is that GDB does not crash.
641mi_gdb_test "-var-update endvar" \
642    {(\^done,changelist=\[.*\]|\^error,msg=".*not found")} \
643    "update endvar"
644
645mi_gdb_test "-var-delete endvar" \
646    {(\^done,ndeleted="1"|\^error,msg=".*not found")} \
647    "delete endvar"
648
649mi_delete_breakpoints
650
651mi_runto do_locals_tests
652
653mi_create_varobj "L" "lsimple" "in-and-out-of-scope: create varobj"
654mi_check_varobj_value "L" "{...}" "in-and-out-of-scope: check initial value"
655
656mi_runto main
657
658mi_gdb_test "-var-update L" \
659    {\^done,changelist=\[{name="L",in_scope="false",type_changed="false",has_more="0"}\]} \
660    "in-and-out-of-scope: out of scope now"
661
662mi_gdb_test "-var-update L" \
663    {\^done,changelist=\[]} \
664    "in-and-out-of-scope: out of scope now, not changed"
665
666mi_continue_to do_locals_tests
667
668mi_gdb_test "-var-update L" \
669    {\^done,changelist=\[{name="L",in_scope="true",type_changed="false",has_more="0"}\]} \
670    "in-and-out-of-scope: in scope now"
671
672mi_gdb_test "-var-update L" \
673    {\^done,changelist=\[\]} \
674    "in-and-out-of-scope: in scope now, not changed"
675
676mi_gdb_exit
677return 0
678