From 53df362e2a88ef60e58471bb08f7c288cc6d4729 Mon Sep 17 00:00:00 2001 From: Raoul Gough Date: Mon, 9 Jun 2003 21:23:53 +0000 Subject: [PATCH] Shared-object relocation tests --- gdb/testsuite/ChangeLog | 7 + gdb/testsuite/gdb.base/shreloc.c | 18 ++ gdb/testsuite/gdb.base/shreloc.exp | 257 +++++++++++++++++++++++++++++ gdb/testsuite/gdb.base/shreloc1.c | 10 ++ gdb/testsuite/gdb.base/shreloc2.c | 10 ++ 5 files changed, 302 insertions(+) create mode 100644 gdb/testsuite/gdb.base/shreloc.c create mode 100644 gdb/testsuite/gdb.base/shreloc.exp create mode 100644 gdb/testsuite/gdb.base/shreloc1.c create mode 100644 gdb/testsuite/gdb.base/shreloc2.c diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog index 1f41516d514..61e95370415 100644 --- a/gdb/testsuite/ChangeLog +++ b/gdb/testsuite/ChangeLog @@ -1,3 +1,10 @@ +2003-06-09 Raoul Gough + + * gdb.base/shreloc.exp: New file, check symbol values obtained from + shared objects after relocation at load time (gdb PR/1132). + * gdb.base/shreloc.c, gdb.base/shreloc1.c, gdb.base/shreloc2.c: + as above, part of the shared object relocation test. + 2003-06-08 Mark Kettenis * gdb.base/readline.exp: Add tests for operate-and-get-next with a diff --git a/gdb/testsuite/gdb.base/shreloc.c b/gdb/testsuite/gdb.base/shreloc.c new file mode 100644 index 00000000000..6867362bf0a --- /dev/null +++ b/gdb/testsuite/gdb.base/shreloc.c @@ -0,0 +1,18 @@ +#if defined(_WIN32) || defined(__CYGWIN__) +# define ATTRIBUTES __attribute((__dllimport__)) +#else +# define ATTRIBUTES +#endif + +extern ATTRIBUTES void fn_1 (int); +extern ATTRIBUTES void fn_2 (int); +extern ATTRIBUTES int extern_var_1; +extern ATTRIBUTES int extern_var_2; + +int main () +{ + fn_1 (extern_var_1); + fn_2 (extern_var_2); + + return 0; +} diff --git a/gdb/testsuite/gdb.base/shreloc.exp b/gdb/testsuite/gdb.base/shreloc.exp new file mode 100644 index 00000000000..ac48774676f --- /dev/null +++ b/gdb/testsuite/gdb.base/shreloc.exp @@ -0,0 +1,257 @@ +# Copyright (C) 2003 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 2 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, write to the Free Software +# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. +# + +# Please email any bugs, comments, and/or additions to this file to: +# bug-gdb@prep.ai.mit.edu + +# Tests for shared object file relocation. If two shared objects have +# the same load address (actually, overlapping load spaces), one of +# them gets relocated at load-time. Check that gdb gets the right +# values for the debugging and minimal symbols. + +if $tracelevel then { + strace $tracelevel +} + +# +# This file uses shreloc.c, shreloc1.c and shreloc2.c +# + +set prms_id 0 +set bug_id 0 + +set workdir ${objdir}/${subdir} + +foreach module [list "shreloc" "shreloc1" "shreloc2"] { + if {[gdb_compile "${srcdir}/${subdir}/${module}.c" "${workdir}/${module}.o" object {debug}] != ""} { + untested "Couldn't compile ${module}.c" + return -1 + } +} + +set additional_flags "additional_flags=-shared" + +if {([istarget "*pc-cygwin"] || [istarget "*pc-mingw32"]) } { + set additional_flags "${additional_flags} -Wl,--image-base,0x04000000" +} + +foreach module [list "shreloc1" "shreloc2"] { + if {[gdb_compile "${workdir}/${module}.o" "${workdir}/${module}.dll" executable [list debug $additional_flags]] != ""} { + untested "Couldn't link ${module}.dll" + return -1 + } +} + +if {[gdb_compile [list "${workdir}/shreloc.o" "${workdir}/shreloc1.dll" "${workdir}/shreloc2.dll"] "${workdir}/shreloc" executable debug] != ""} { + untested "Couldn't link shreloc executable" + return -1 +} + +gdb_exit +gdb_start +gdb_reinitialize_dir $srcdir/$subdir +gdb_load ${workdir}/shreloc + +# Load up the shared objects +if ![runto_main] then { + fail "Can't run to main" + return 0 +} + +proc get_var_address { var } { + global gdb_prompt hex + + send_gdb "print &${var}\n" + # Match output like: + # $1 = (int *) 0x0 + # $5 = (int (*)()) 0 + # $6 = (int (*)()) 0x24 + gdb_expect { + -re "\\\$\[0-9\]+ = \\(.*\\) (0|$hex)( <${var}>)?\[\r\n\]+${gdb_prompt} $" + { + pass "get address of ${var}" + if { $expect_out(1,string) == "0" } { + return "0x0" + } else { + return $expect_out(1,string) + } + } + -re "${gdb_prompt} $" + { fail "get address of ${var} (unknown output)" } + timeout + { fail "get address of ${var} (timeout)" } + } + return "" +} + +# +# Check debugging symbol relocations +# + +# Check extern function for relocation +set fn_1_addr [get_var_address fn_1] +set fn_2_addr [get_var_address fn_2] + +if { "${fn_1_addr}" == "${fn_2_addr}" } { + fail "relocated extern functions have different addresses" +} else { + pass "relocated extern functions have different addresses" +} + +# Check extern var for relocation +set extern_var_1_addr [get_var_address extern_var_1] +set extern_var_2_addr [get_var_address extern_var_2] + +if { "${extern_var_1_addr}" == "${extern_var_2_addr}" } { + fail "relocated extern variables have different addresses" +} else { + pass "relocated extern variables have different addresses" +} + +# Check static var for relocation +set static_var_1_addr [get_var_address static_var_1] +set static_var_2_addr [get_var_address static_var_2] + +if { "${static_var_1_addr}" == "${static_var_2_addr}" } { + fail "relocated static variables have different addresses" +} else { + pass "relocated static variables have different addresses" +} + +# +# Check minimal symbol relocations +# + +proc send_gdb_discard { command } { + # Send a command to gdb and discard output up to the next prompt + + global gdb_prompt + + send_gdb "${command}\n" + + # Discard output + gdb_expect { + -re ".*\[\r\n]+${gdb_prompt} $" { + return 1 + } + timeout { + fail "{$command} (timeout)" + return 0 + } + } +} + +proc get_msym_addrs { var msymfile } { + # Extract the list of values for symbols matching var in the + # minimal symbol output file + + global gdb_prompt hex + set result "" + + send_gdb "shell grep -E \" ${var}(\[ \t\]+.*)?\$\" ${msymfile}\n" + + while 1 { + gdb_expect { + -re "\[\[\]\[ 0-9\]+\] . (${hex}) ${var}(\[ \t\]+\[^\r\n\]*)?\[\r\n\]+" { + set result [concat $result $expect_out(1,string)] + } + + -re "$gdb_prompt $" { + pass "get_msym_addrs ${var} (${result})" + return "${result}" + } + + -re "\[^\r\n\]*\[\r\n\]+" { + # Skip + } + + timeout { + fail "get_msym_addrs ${var} (timeout)" + return -1 + } + } + } +} + +proc check_same {var msymfile} { + # Check that the minimal symbol values matching var are the same + + set len [llength [lsort -unique [get_msym_addrs "${var}" "${msymfile}"]]] + + if { $len == 1 } { + return 1 + } else { + return 0 + } +} + +proc check_different {var msymfile} { + # Check that the minimal symbol values matching var are different + + set addr_list [lsort [get_msym_addrs "${var}" "${msymfile}"]] + set prev "" + + if { [llength ${addr_list}] < 2 } { + return 0 + } + + foreach addr ${addr_list} { + if { ${prev} == ${addr} } { + return 0 + } + set prev ${addr} + } + + return 1 +} + +set msymfile "${workdir}/shreloc.txt" + +if [send_gdb_discard "maint print msymbols ${msymfile}"] { + if {[check_different "static_var_\[12\]" "${msymfile}"]} { + pass "(msymbol) relocated static vars have different addresses" + } else { + fail "(msymbol) relocated static vars have different addresses" + } + + if {[check_different "extern_var_\[12\]" "${msymfile}"]} { + pass "(msymbol) relocated extern vars have different addresses" + } else { + fail "(msymbol) relocated extern vars have different addresses" + } + + if {[check_different "fn_\[12\]" "${msymfile}"]} { + pass "(msymbol) relocated functions have different addresses" + } else { + fail "(msymbol) relocated functions have different addresses" + } +} + +if {([istarget "*pc-cygwin"] || [istarget "*pc-mingw32"]) } { + # + # We know the names of some absolute symbols included in the + # portable-executable (DLL) format. Check that they didn't get + # relocated. + # + # A better approach would be include absolute symbols via the assembler. + # + if {[check_same "_minor_os_version__" "${msymfile}"]} { + pass "Absolute symbols not relocated" + } else { + fail "Absolute symbols not relocated" + } +} diff --git a/gdb/testsuite/gdb.base/shreloc1.c b/gdb/testsuite/gdb.base/shreloc1.c new file mode 100644 index 00000000000..b1bffde5c5c --- /dev/null +++ b/gdb/testsuite/gdb.base/shreloc1.c @@ -0,0 +1,10 @@ +#if defined(_WIN32) || defined(__CYGWIN__) +# define ATTRIBUTES __attribute((__dllexport__)) +#else +# define ATTRIBUTES +#endif + +static int static_var_1; + +ATTRIBUTES void fn_1 (int unused) { } +ATTRIBUTES int extern_var_1 = 0; diff --git a/gdb/testsuite/gdb.base/shreloc2.c b/gdb/testsuite/gdb.base/shreloc2.c new file mode 100644 index 00000000000..1459093eeeb --- /dev/null +++ b/gdb/testsuite/gdb.base/shreloc2.c @@ -0,0 +1,10 @@ +#if defined(_WIN32) || defined(__CYGWIN__) +# define ATTRIBUTES __attribute((__dllexport__)) +#else +# define ATTRIBUTES +#endif + +static int static_var_2; + +ATTRIBUTES void fn_2 (int unused) { } +ATTRIBUTES int extern_var_2 = 0; -- 2.30.2