1 # Copyright 1999, 2000, 2001, 2002, 2004, 2005, 2007
2 # Free Software Foundation, Inc.
4 # This Program Is Free software; you can redistribute it and/or modify
5 # it under the terms of the GNU General Public License as published by
6 # the Free Software Foundation; either version 2 of the License, or
7 # (at your option) any later version.
9 # This program is distributed in the hope that it will be useful,
10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 # GNU General Public License for more details.
14 # You should have received a copy of the GNU General Public License
15 # along with this program; if not, write to the Free Software
16 # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
18 # Test essential Machine interface (MI) operations
20 # Verify that, using the MI, we can create, update, delete variables.
24 load_lib mi-support.exp
32 set testfile "var-cmd"
33 set srcfile ${testfile}.c
34 set binfile ${objdir}/${subdir}/${testfile}
35 if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug additional_flags=-DFAKEARGV}] != "" } {
36 untested mi-var-cmd.exp
41 mi_gdb_reinitialize_dir $srcdir/$subdir
42 mi_gdb_load ${binfile}
47 # Variable Creation tests #
51 # Test: c_variable-1.1
52 # Desc: Create global variable
54 mi_gdb_test "111-var-create global_simple * global_simple" \
55 "111\\^done,name=\"global_simple\",numchild=\"6\",value=\".*\",type=\"simpleton\"" \
56 "create global variable"
58 # Test: c_variable-1.2
59 # Desc: Create non-existent variable
61 mi_gdb_test "112-var-create bogus_unknown_variable * bogus_unknown_variable" \
62 "&\"mi_cmd_var_create: unable to create variable object\\\\n\".*112\\^error,msg=\"mi_cmd_var_create: unable to create variable object\"" \
63 "create non-existent variable"
65 # Test: c_variable-1.3
66 # Desc: Create out of scope variable
68 mi_gdb_test "113-var-create argc * argc" \
69 "&\"mi_cmd_var_create: unable to create variable object\\\\n\".*113\\^error,msg=\"mi_cmd_var_create: unable to create variable object\"" \
70 "create out of scope variable"
72 mi_runto do_locals_tests
74 # Test: c_variable-1.4
75 # Desc: create local variables
77 mi_create_varobj linteger linteger "create local variable linteger"
79 mi_create_varobj lpinteger lpinteger "create local variable lpinteger"
81 mi_create_varobj lcharacter lcharacter "create local variable lcharacter"
83 mi_create_varobj lpcharacter lpcharacter "create local variable lpcharacter"
85 mi_create_varobj llong llong "create local variable llong"
87 mi_create_varobj lplong lplong "create local variable lplong"
89 mi_create_varobj lfloat lfloat "create local variable lfloat"
91 mi_create_varobj lpfloat lpfloat "create local variable lpfloat"
93 mi_create_varobj ldouble ldouble "create local variable ldouble"
95 mi_create_varobj lpdouble lpdouble "create local variable lpdouble"
97 mi_create_varobj lsimple lsimple "create local variable lsimple"
99 mi_create_varobj lpsimple lpsimple "create local variable lpsimple"
101 mi_create_varobj func func "create local variable func"
103 # Test: c_variable-1.5
104 # Desc: create lsimple.character
105 mi_create_varobj lsimple.character lsimple.character "create lsimple.character"
107 # Test: c_variable-1.6
108 # Desc: create lpsimple->integer
109 mi_create_varobj lsimple->integer lsimple->integer "create lsimple->integer"
111 # Test: c_variable-1.7
112 # Desc: ceate lsimple.integer
113 mi_create_varobj lsimple.integer lsimple.integer "create lsimple->integer"
115 # Test: c_variable-1.9
116 # Desc: create type name
117 # Type names (like int, long, etc..) are all proper expressions to gdb.
118 # make sure variable code does not allow users to create variables, though.
119 mi_gdb_test "-var-create int * int" \
120 "&\"Attempt to use a type name as an expression.\\\\n\".*&\"mi_cmd_var_create: unable to create variable object\\\\n\".*\\^error,msg=\"mi_cmd_var_create: unable to create variable object\"" \
126 # Value changed tests #
130 # Test: c_variable-2.1
131 # Desc: check whether values changed at do_block_tests
132 mi_gdb_test "-var-update *" \
133 "\\^done,changelist=\\\[\\\]" \
136 # Step over "linteger = 1234;"
137 set line_dlt_linteger [gdb_get_line_number "lpinteger = &linteger;"]
138 mi_step_to "do_locals_tests" "" "var-cmd.c" $line_dlt_linteger "step at do_locals_test"
140 # Test: c_variable-2.2
141 # Desc: check whether only linteger changed values
142 mi_gdb_test "-var-update *" \
143 "\\^done,changelist=\\\[\{name=\"linteger\",in_scope=\"true\",type_changed=\"false\"\}\\\]" \
144 "update all vars: linteger changed"
146 # Step over "lpinteger = &linteger;"
147 mi_step_to "do_locals_tests" "" "var-cmd.c" [expr $line_dlt_linteger + 1] "step at do_locals_tests (2)"
149 # Test: c_variable-2.3
150 # Desc: check whether only lpinteger changed
151 mi_gdb_test "-var-update *" \
152 "\\^done,changelist=\\\[\{name=\"lpinteger\",in_scope=\"true\",type_changed=\"false\"\}\\\]" \
153 "update all vars: lpinteger changed"
155 # Step over "lcharacter = 'a';"
156 mi_step_to "do_locals_tests" "" "var-cmd.c" [expr $line_dlt_linteger + 2] "step at do_locals_tests (3)"
158 # Test: c_variable-2.4
159 # Desc: check whether only lcharacter changed
160 mi_gdb_test "-var-update *" \
161 "\\^done,changelist=\\\[\{name=\"lcharacter\",in_scope=\"true\",type_changed=\"false\"\}\\\]" \
162 "update all vars: lcharacter changed"
164 # Step over "lpcharacter = &lcharacter;"
165 mi_step_to "do_locals_tests" "" "var-cmd.c" [expr $line_dlt_linteger + 3] "step at do_locals_tests (4)"
167 # Test: c_variable-2.5
168 # Desc: check whether only lpcharacter changed
169 mi_gdb_test "-var-update *" \
170 "\\^done,changelist=\\\[\{name=\"lpcharacter\",in_scope=\"true\",type_changed=\"false\"\}\\\]" \
171 "update all vars: lpcharacter changed"
179 # ldouble = 2.718281828459045;
180 # lpdouble = &ldouble;
181 # lsimple.integer = 1234;
182 # lsimple.unsigned_integer = 255;
183 # lsimple.character = 'a';
185 mi_execute_to "exec-step 9" "end-stepping-range" "do_locals_tests" "" \
186 "var-cmd.c" [expr $line_dlt_linteger + 12] "" "step at do_locals_tests (5)"
188 # Test: c_variable-2.6
189 # Desc: check whether llong, lplong, lfloat, lpfloat, ldouble, lpdouble, lsimple.integer,
190 # lsimple.unsigned_character lsimple.integer lsimple.character changed
191 mi_gdb_test "-var-update *" \
192 "\\^done,changelist=\\\[\{name=\"lsimple.integer\",in_scope=\"true\",type_changed=\"false\"\},\{name=\"lsimple->integer\",in_scope=\"true\",type_changed=\"false\"\},\{name=\"lsimple.character\",in_scope=\"true\",type_changed=\"false\"\},\{name=\"lpdouble\",in_scope=\"true\",type_changed=\"false\"\},\{name=\"ldouble\",in_scope=\"true\",type_changed=\"false\"\},\{name=\"lpfloat\",in_scope=\"true\",type_changed=\"false\"\},\{name=\"lfloat\",in_scope=\"true\",type_changed=\"false\"\},\{name=\"lplong\",in_scope=\"true\",type_changed=\"false\"\},\{name=\"llong\",in_scope=\"true\",type_changed=\"false\"\}\\\]" \
193 "update all vars: many changed"
196 # lsimple.signed_character = 21;
197 # lsimple.char_ptr = &lcharacter;
198 # lpsimple = &lsimple;
201 set line_dlt_4321 [gdb_get_line_number "linteger = 4321;"]
203 mi_execute_to "exec-step 4" "end-stepping-range" "do_locals_tests" "" \
204 "var-cmd.c" $line_dlt_4321 "" "step at do_locals_tests (6)"
206 # Test: c_variable-2.7
207 # Desc: check whether (lsimple.signed_character, lsimple.char_ptr) lpsimple, func changed
208 mi_gdb_test "-var-update *" \
209 "\\^done,changelist=\\\[\{name=\"func\",in_scope=\"true\",type_changed=\"false\"\},\{name=\"lpsimple\",in_scope=\"true\",type_changed=\"false\"\}\\\]" \
210 "update all vars: func and lpsimple changed"
217 # ldouble = 5.498548281828172;
218 # lsimple.integer = 255;
219 # lsimple.unsigned_integer = 4321;
220 # lsimple.character = 'b';
222 mi_execute_to "exec-step 8" "end-stepping-range" "do_locals_tests" "" \
223 "var-cmd.c" [expr $line_dlt_4321 + 8] "" "step at do_locals_tests (7)"
225 # Test: c_variable-2.8
226 # Desc: check whether linteger, lcharacter, llong, lfoat, ldouble, lsimple.integer,
227 # lpsimple.integer lsimple.character changed
228 # Note: this test also checks that lpsimple->integer and lsimple.integer have
229 # changed (they are the same)
230 mi_gdb_test "-var-update *" \
231 "\\^done,changelist=\\\[\{name=\"lsimple.integer\",in_scope=\"true\",type_changed=\"false\"\},\{name=\"lsimple->integer\",in_scope=\"true\",type_changed=\"false\"\},\{name=\"lsimple.character\",in_scope=\"true\",type_changed=\"false\"\},\{name=\"ldouble\",in_scope=\"true\",type_changed=\"false\"\},\{name=\"lfloat\",in_scope=\"true\",type_changed=\"false\"\},\{name=\"llong\",in_scope=\"true\",type_changed=\"false\"\},\{name=\"lpcharacter\",in_scope=\"true\",type_changed=\"false\"\},\{name=\"lcharacter\",in_scope=\"true\",type_changed=\"false\"\},\{name=\"linteger\",in_scope=\"true\",type_changed=\"false\"\}\\\]" \
232 "update all vars: lsimple and others changed"
237 # Test assignment to variables. More tests on assignment are in other files.
240 mi_gdb_test "-var-assign global_simple 0" \
241 "&\"mi_cmd_var_assign: Variable object is not editable\\\\n\".*\\^error,msg=\"mi_cmd_var_assign: Variable object is not editable\"" \
242 "assign to global_simple"
244 mi_gdb_test "-var-assign linteger 3333" \
245 "\\^done,value=\"3333\"" \
248 # Allow lpcharacter to update, optionally. Because it points to a
249 # char variable instead of a zero-terminated string, if linteger is
250 # directly after it in memory the printed characters may appear to
252 set lpchar_update "\{name=\"lpcharacter\",in_scope=\"true\",type_changed=\"false\"\},"
253 mi_gdb_test "-var-update *" \
254 "\\^done,changelist=\\\[($lpchar_update)?\{name=\"linteger\",in_scope=\"true\",type_changed=\"false\"\}\\\]" \
255 "update all vars: linteger changed after assign"
257 mi_gdb_test "-var-assign linteger 3333" \
258 "\\^done,value=\"3333\"" \
259 "assign to linteger again, same value"
261 mi_gdb_test "-var-update *" \
262 "\\^done,changelist=\\\[\\\]" \
263 "update all vars: linteger not changed after same assign"
265 mi_gdb_test "-var-evaluate-expression linteger" \
266 "\\^done,value=\"3333\"" \
269 mi_gdb_test "-var-assign lpinteger \"&linteger + 3\"" \
270 "\\^done,value=\"$hex\"" \
271 "assign to lpinteger"
273 mi_gdb_test "-var-update *" \
274 "\\^done,changelist=\\\[\{name=\"lpinteger\",in_scope=\"true\",type_changed=\"false\"\}\\\]" \
275 "update all vars: lpinteger changed after assign"
277 mi_gdb_test "-var-update *" \
278 "\\^done,changelist=\\\[\\\]" \
279 "update all vars: no changes on second update"
281 mi_gdb_test "-var-evaluate-expression lpinteger" \
282 "\\^done,value=\"$hex\"" \
285 # reset the values to the original ones so that the rest of the file doesn't suffer.
287 mi_gdb_test "-var-assign linteger 4321" \
288 "\\^done,value=\"4321\"" \
291 mi_gdb_test "-var-assign lpinteger &linteger" \
292 "\\^done,value=\"$hex\"" \
293 "assign to lpinteger"
295 mi_gdb_test "-var-assign lcharacter 'z'" \
296 "\\^done,value=\"122 'z'\"" \
297 "assign to lcharacter"
299 mi_gdb_test "-var-evaluate-expression lcharacter" \
300 "\\^done,value=\"122 'z'\"" \
303 mi_gdb_test "-var-assign llong 1313L" \
304 "\\^done,value=\"1313\"" \
306 mi_gdb_test "-var-evaluate-expression llong" \
307 "\\^done,value=\"1313\"" \
309 mi_gdb_test "-var-assign llong 1212L" \
310 "\\^done,value=\"1212\"" \
313 mi_gdb_test "-var-assign lplong &llong+4" \
314 "\\^done,value=\"$hex\"" \
316 mi_gdb_test "-var-evaluate-expression lplong" \
317 "\\^done,value=\"$hex\"" \
319 mi_gdb_test "-var-assign lplong &llong" \
320 "\\^done,value=\"$hex\"" \
323 mi_gdb_test "-var-assign lfloat 3.4567" \
324 "\\^done,value=\"3.45.*\"" \
326 mi_gdb_test "-var-evaluate-expression lfloat" \
327 "\\^done,value=\"3.45.*\"" \
329 mi_gdb_test "-var-assign lfloat 1.2345" \
330 "\\^done,value=\"1.23.*\"" \
333 mi_gdb_test "-var-assign lpfloat &lfloat+4" \
334 "\\^done,value=\"$hex\"" \
337 mi_gdb_test "-var-assign ldouble 5.333318284590435" \
338 "\\^done,value=\"5.333318284590435\"" \
341 mi_gdb_test "-var-assign func do_block_tests" \
342 "\\^done,value=\"$hex <do_block_tests>\"" \
345 mi_gdb_test "-var-assign lsimple.character 'd'" \
346 "\\^done,value=\"100 'd'\"" \
347 "assign to lsimple.character"
349 mi_gdb_test "-var-assign lsimple->integer 222" \
350 "\\^done,value=\"222\"" \
351 "assign to lsimple->integer"
353 mi_gdb_test "-var-assign lsimple.integer 333" \
354 "\\^done,value=\"333\"" \
355 "assign to lsimple.integer"
357 mi_gdb_test "-var-update *" \
358 "\\^done,changelist=.*" \
361 # Check that assignment of function and array values
362 # promotes the assigned value to function pointer/data
363 # pointer before comparing with the existing value,
364 # and does not incorrectly make the value as changed.
365 mi_gdb_test "-var-assign func do_block_tests" \
366 "\\^done,value=\"$hex <do_block_tests>\"" \
367 "assign same value to func"
369 mi_gdb_test "-var-update *" \
370 "\\^done,changelist=\\\[\\\]" \
371 "assign same value to func (update)"
373 mi_create_varobj array_ptr array_ptr "create global variable array_ptr"
375 mi_gdb_test "-var-assign array_ptr array2" \
376 "\\^done,value=\"$hex\"" \
377 "assign array to pointer"
379 mi_gdb_test "-var-update *" \
380 "\\^done,changelist=\\\[\{name=\"array_ptr\",in_scope=\"true\",type_changed=\"false\"\}\\\]" \
381 "assign array to pointer (update)"
383 mi_gdb_test "-var-assign array_ptr array2" \
384 "\\^done,value=\"$hex\"" \
385 "assign same array to pointer"
387 mi_gdb_test "-var-update *" \
388 "\\^done,changelist=\\\[\\\]" \
389 "assign same array to pointer (update)"
393 # End of assign tests
396 set line_subroutine1_body [gdb_get_line_number "global_simple.integer = i + 3;"]
398 mi_continue_to subroutine1
400 # Test: c_variable-2.10
401 # Desc: create variable for locals i,l in subroutine1
402 mi_create_varobj i i "create i"
404 mi_create_varobj l l "create l"
406 # Test: c_variable-2.11
407 # Desc: create do_locals_tests local in subroutine1
408 mi_gdb_test "-var-create linteger * linteger" \
409 "&\"mi_cmd_var_create: unable to create variable object\\\\n\".*\\^error,msg=\"mi_cmd_var_create: unable to create variable object\"" \
412 mi_step_to "subroutine1" "\{name=\"i\",value=\".*\"\},\{name=\"l\",value=\".*\"\}" \
413 "var-cmd.c" [expr $line_subroutine1_body + 1] "step at subroutine1"
415 # Test: c_variable-2.12
416 # Desc: change global_simple.integer
417 # Note: This also tests whether we are reporting changes in structs properly.
418 # gdb normally would say that global_simple has changed, but we
419 # special case that, since it is not what a human expects to
423 mi_gdb_test "-var-update *" \
424 "\\^done,changelist=\{FIXME: WHAT IS CORRECT HERE\}" \
425 "update all vars: changed FIXME"
428 mi_step_to "subroutine1" "\{name=\"i\",value=\".*\"\},\{name=\"l\",value=\".*\"\}" \
429 "var-cmd.c" [expr $line_subroutine1_body + 2] "step at subroutine1 (2)"
431 # Test: c_variable-2.13
432 # Desc: change subroutine1 local i
433 mi_gdb_test "-var-update *" \
434 "\\^done,changelist=\\\[\{name=\"i\",in_scope=\"true\",type_changed=\"false\"\}\\\]" \
435 "update all vars: i changed"
437 mi_step_to "subroutine1" "\{name=\"i\",value=\".*\"\},\{name=\"l\",value=\".*\"\}" \
438 "var-cmd.c" [expr $line_subroutine1_body + 3] "step at subroutine1 (3)"
440 # Test: c_variable-2.14
441 # Desc: change do_locals_tests local llong
442 mi_gdb_test "-var-update *" \
443 "\\^done,changelist=\\\[\{name=\"llong\",in_scope=\"true\",type_changed=\"false\"\}\\\]" \
444 "update all vars: llong changed"
446 set line_dlt_call_subroutine1 [gdb_get_line_number "subroutine1 (linteger, &llong);"]
447 mi_next_to "do_locals_tests" "" "var-cmd.c" \
448 [expr $line_dlt_call_subroutine1 + 1] "next out of subroutine1"
450 # Test: c_variable-2.15
451 # Desc: check for out of scope subroutine1 locals
452 mi_gdb_test "-var-update *" \
453 "\\^done,changelist=\\\[\{name=\"l\",in_scope=\"false\"\},\{name=\"i\",in_scope=\"false\"\}\\\]" \
454 "update all vars: all now out of scope"
456 # Done with locals/globals tests. Erase all variables
457 #delete_all_variables
458 mi_gdb_test "-var-delete global_simple" \
459 "\\^done,ndeleted=\"1\"" \
462 mi_gdb_test "-var-delete linteger" \
463 "\\^done,ndeleted=\"1\"" \
464 "delete var linteger"
466 mi_gdb_test "-var-delete lpinteger" \
467 "\\^done,ndeleted=\"1\"" \
468 "delete var lpinteger"
470 mi_gdb_test "-var-delete lcharacter" \
471 "\\^done,ndeleted=\"1\"" \
472 "delete var lcharacter"
474 mi_gdb_test "-var-delete lpcharacter" \
475 "\\^done,ndeleted=\"1\"" \
476 "delete var lpcharacter"
478 mi_gdb_test "-var-delete llong" \
479 "\\^done,ndeleted=\"1\"" \
482 mi_gdb_test "-var-delete lplong" \
483 "\\^done,ndeleted=\"1\"" \
486 mi_gdb_test "-var-delete lfloat" \
487 "\\^done,ndeleted=\"1\"" \
490 mi_gdb_test "-var-delete lpfloat" \
491 "\\^done,ndeleted=\"1\"" \
494 mi_gdb_test "-var-delete ldouble" \
495 "\\^done,ndeleted=\"1\"" \
498 mi_gdb_test "-var-delete lpdouble" \
499 "\\^done,ndeleted=\"1\"" \
500 "delete var lpdouble"
502 mi_gdb_test "-var-delete lsimple" \
503 "\\^done,ndeleted=\"1\"" \
506 mi_gdb_test "-var-delete lpsimple" \
507 "\\^done,ndeleted=\"1\"" \
508 "delete var lpsimple"
510 mi_gdb_test "-var-delete func" \
511 "\\^done,ndeleted=\"1\"" \
514 mi_gdb_test "-var-delete lsimple.character" \
515 "\\^done,ndeleted=\"1\"" \
516 "delete var lsimple.character"
518 mi_gdb_test "-var-delete lsimple->integer" \
519 "\\^done,ndeleted=\"1\"" \
520 "delete var lsimple->integer"
522 mi_gdb_test "-var-delete lsimple.integer" \
523 "\\^done,ndeleted=\"1\"" \
524 "delete var lsimple.integer"
526 mi_gdb_test "-var-delete i" \
527 "\\^done,ndeleted=\"1\"" \
530 mi_gdb_test "-var-delete l" \
531 "\\^done,ndeleted=\"1\"" \
534 # Test whether we can follow the name of a variable through multiple
536 mi_continue_to do_special_tests
538 mi_gdb_test "-var-create selected_a @ a" \
539 {\^done,name="selected_a",numchild="0",value=\".*\",type="int"} \
542 mi_continue_to incr_a
544 mi_gdb_test "-var-update selected_a" \
545 "\\^done,changelist=\\\[\{name=\"selected_a\",in_scope=\"true\",new_type=\"char\",new_num_children=\"0\"\}\\\]" \
546 "update selected_a in incr_a"
548 mi_next "step a line in incr_a"
549 mi_next "return from incr_a to do_special_tests"
551 mi_gdb_test "-var-update selected_a" \
552 "\\^done,changelist=\\\[\{name=\"selected_a\",in_scope=\"true\",new_type=\"int\",new_num_children=\"0\"\}\\\]" \
553 "update selected_a in do_special_tests"
555 # Test whether bad varobjs crash GDB.
557 # A varobj we fail to read during -var-update should be considered
559 mi_create_varobj null_ptr **0 "create null_ptr"
561 # Allow this to succeed, if address zero is readable, although it
562 # will not test what it was meant to. Most important is that GDB
564 mi_gdb_test "-var-update null_ptr" \
565 {\^done,changelist=\[{.*}\]} \
568 mi_gdb_test "-var-delete null_ptr" \
569 "\\^done,ndeleted=\"1\"" \
572 # When we fail to read a varobj created from a named variable,
573 # we evaluate its type instead. Make sure that doesn't blow
574 # up by trying to read it again. We can use _end when not running
575 # the program to simulate an unreadable variable, if this platform
576 # provides _end, but cope if it's missing.
579 {&"kill\\n".*\^done} \
580 "kill program before endvar"
582 mi_create_varobj endvar _end "create endvar"
584 # Allow this to succeed whether the value is readable, unreadable, or
585 # missing. Most important is that GDB does not crash.
586 mi_gdb_test "-var-update endvar" \
587 {(\^done,changelist=\[.*\]|^".*".*\^error,msg=".*not found")} \
590 mi_gdb_test "-var-delete endvar" \
591 "\\^done,ndeleted=\"1\"" \