1# This testcase is part of GDB, the GNU debugger. 2 3# Copyright 2002, 2003, 2004, 2007, 2008, 2009, 2010, 2011 4# Free Software Foundation, Inc. 5 6# This program is free software; you can redistribute it and/or modify 7# it under the terms of the GNU General Public License as published by 8# the Free Software Foundation; either version 3 of the License, or 9# (at your option) any later version. 10# 11# This program is distributed in the hope that it will be useful, 12# but WITHOUT ANY WARRANTY; without even the implied warranty of 13# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14# GNU General Public License for more details. 15# 16# You should have received a copy of the GNU General Public License 17# along with this program. If not, see <http://www.gnu.org/licenses/>. 18 19if $tracelevel { 20 strace $tracelevel 21} 22 23# 24# test running programs 25# 26 27set testfile "store" 28set srcfile ${testfile}.c 29set binfile ${objdir}/${subdir}/${testfile} 30if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug}] != "" } { 31 untested store.exp 32 return -1 33} 34 35if [get_compiler_info ${binfile}] { 36 return -1; 37} 38 39gdb_exit 40gdb_start 41gdb_reinitialize_dir $srcdir/$subdir 42gdb_load ${binfile} 43 44# 45# set it up at a breakpoint so we can play with the variable values 46# 47 48if ![runto_main] then { 49 perror "couldn't run to breakpoint" 50 continue 51} 52 53# 54 55proc check_set { t l r new add } { 56 set prefix "var ${t} l" 57 gdb_test "tbreak wack_${t}" 58 gdb_test "continue" "register ${t} l = u, r = v;" \ 59 "continue to wack_${t}" 60 gdb_test "next" "l = add_${t} .l, r.;" \ 61 "${prefix}; next ${t}" 62 gdb_test "print l" " = ${l}" \ 63 "${prefix}; print old l, expecting ${l}" 64 gdb_test "print r" " = ${r}" \ 65 "${prefix}; print old r, expecting ${r}" 66 gdb_test_no_output "set variable l = 4" \ 67 "${prefix}; setting l to 4" 68 gdb_test "print l" " = ${new}" \ 69 "${prefix}; print new l, expecting ${new}" 70 gdb_test "next" "return l \\+ r;" \ 71 "${prefix}; next over add call" 72 gdb_test "print l" " = ${add}" \ 73 "${prefix}; print incremented l, expecting ${add}" 74} 75 76check_set "charest" "-1 .*" "-2 .*" "4 ..004." "2 ..002." 77check_set "short" "-1" "-2" "4" "2" 78check_set "int" "-1" "-2" "4" "2" 79check_set "long" "-1" "-2" "4" "2" 80check_set "longest" "-1" "-2" "4" "2" 81check_set "float" "-1" "-2" "4" "2" 82check_set "double" "-1" "-2" "4" "2" 83check_set "doublest" "-1" "-2" "4" "2" 84 85# 86 87proc up_set { t l r new } { 88 set prefix "upvar ${t} l" 89 gdb_test "tbreak add_${t}" 90 gdb_test "continue" "return u . v;" \ 91 "continue to add_${t}" 92 gdb_test "up" "l = add_${t} .l, r.;" \ 93 "${prefix}; up" 94 gdb_test "print l" " = ${l}" \ 95 "${prefix}; print old l, expecting ${l}" 96 gdb_test "print r" " = ${r}" \ 97 "${prefix}; print old r, expecting ${r}" 98 gdb_test_no_output "set variable l = 4" \ 99 "${prefix}; set l to 4" 100 gdb_test "print l" " = ${new}" \ 101 "${prefix}; print new l, expecting ${new}" 102} 103 104up_set "charest" "-1 .*" "-2 .*" "4 ..004." 105up_set "short" "-1" "-2" "4" 106up_set "int" "-1" "-2" "4" 107up_set "long" "-1" "-2" "4" 108up_set "longest" "-1" "-2" "4" 109up_set "float" "-1" "-2" "4" 110up_set "double" "-1" "-2" "4" 111up_set "doublest" "-1" "-2" "4" 112 113# 114 115proc check_struct { t old new } { 116 set prefix "var struct ${t} u" 117 gdb_test "tbreak wack_struct_${t}" 118 gdb_test "continue" "int i; register struct s_${t} u = z_${t};" \ 119 "continue to wack_struct_${t}" 120 gdb_test "next 2" "add_struct_${t} .u.;" \ 121 "${prefix}; next to add_struct_${t} call" 122 gdb_test "print u" " = ${old}" \ 123 "${prefix}; print old u, expecting ${old}" 124 gdb_test_no_output "set variable u = s_${t}" \ 125 "${prefix}; set u to s_${t}" 126 gdb_test "print u" " = ${new}" \ 127 "${prefix}; print new u, expecting ${new}" 128} 129 130check_struct "1" "{s = \\{0}}" "{s = \\{1}}" 131check_struct "2" "{s = \\{0, 0}}" "{s = \\{1, 2}}" 132check_struct "3" "{s = \\{0, 0, 0}}" "{s = \\{1, 2, 3}}" 133check_struct "4" "{s = \\{0, 0, 0, 0}}" "{s = \\{1, 2, 3, 4}}" 134 135proc up_struct { t old new } { 136 set prefix "up struct ${t} u" 137 gdb_test "tbreak add_struct_${t}" 138 gdb_test "continue" "for .i = 0; i < sizeof .s. / sizeof .s.s.0..; i..." \ 139 "continue to add_struct_${t}" 140 gdb_test "up" "u = add_struct_${t} .u.;" \ 141 "${prefix}; up" 142 gdb_test "print u" " = ${old}" \ 143 "${prefix}; print old u, expecting ${old}" 144 gdb_test_no_output "set variable u = s_${t}" \ 145 "${prefix}; set u to s_${t}" 146 gdb_test "print u" " = ${new}" \ 147 "${prefix}; print new u, expecting ${new}" 148} 149 150up_struct "1" "{s = \\{0}}" "{s = \\{1}}" 151up_struct "2" "{s = \\{0, 0}}" "{s = \\{1, 2}}" 152up_struct "3" "{s = \\{0, 0, 0}}" "{s = \\{1, 2, 3}}" 153up_struct "4" "{s = \\{0, 0, 0, 0}}" "{s = \\{1, 2, 3, 4}}" 154 155# 156 157proc check_field { t } { 158 global gdb_prompt 159 gdb_test "tbreak wack_field_${t}" 160 gdb_test "continue" "register struct f_${t} u = f_${t};" \ 161 "continue field ${t}" 162 163 # Match either the return statement, or the line immediatly after 164 # it. The compiler can end up merging the return statement into 165 # the return instruction. 166 gdb_test "next" "(return u;|\})" "next field ${t}" 167 168 gdb_test "print u" " = {i = 1, j = 1, k = 1}" "old field ${t}" 169 gdb_test_no_output "set variable u = F_${t}" 170 gdb_test "print u" " = {i = 0, j = 0, k = 0}" "new field ${t}" 171 172 gdb_test_no_output "set variable u = F_${t}, u.i = f_${t}.i" 173 gdb_test "print u" " = {i = 1, j = 0, k = 0}" "f_${t}.i" 174 175 gdb_test_no_output "set variable u = F_${t}, u.j = f_${t}.j" 176 gdb_test "print u" " = {i = 0, j = 1, k = 0}" "f_${t}.j" 177 178 gdb_test_no_output "set variable u = F_${t}, u.k = f_${t}.k" 179 gdb_test "print u" " = {i = 0, j = 0, k = 1}" "f_${t}.k" 180 181 gdb_test_no_output "set variable u = f_${t}, u.i = F_${t}.i" 182 gdb_test "print u" " = {i = 0, j = 1, k = 1}" "F_${t}.i" 183 184 gdb_test_no_output "set variable u = f_${t}, u.j = F_${t}.j" 185 gdb_test "print u" " = {i = 1, j = 0, k = 1}" "F_${t}.j" 186 187 gdb_test_no_output "set variable u = f_${t}, u.k = F_${t}.k" 188 gdb_test "print u" " = {i = 1, j = 1, k = 0}" "F_${t}.k" 189 190} 191 192check_field 1 193check_field 2 194check_field 3 195check_field 4 196 197# 198 199# WANTED: A fairly portable way of convincing the compiler to split a 200# value across memory and registers. 201 202