gdb/testsuite/gdb.dwarf2/dw2-noloc.exp

   1 # Copyright 2007-2012 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 load_lib dwarf.exp
  16
  17 # This test can only be run on targets which support DWARF-2 and use gas.
  18 if {![dwarf2_support]} {
  19     return 0
  20 }
  21
  22 if { [prepare_for_testing dw2-noloc.exp "dw2-noloc" {dw2-noloc-main.c dw2-noloc.S} {nodebug}] } {
  23     return -1
  24 }
  25
  26 # Symbols have the form: {file,main}_loc{addr,empty,no}_{,un}resolvable
  27 # file: Symbol DIE is placed in DW_TAG_compile_unit.
  28 # main: Symbol DIE is placed in DW_TAG_subprogram.
  29 # locaddr: DW_AT_location is using DW_FORM_block DW_OP_addr <addr>.
  30 # locempty: DW_AT_location has zero DW_FORM_block size.
  31 # locno: DW_AT_location is not present.
  32 # resolvable: .symtab entry exists for this symbol name.
  33 # unresolvable: .symtab entry does not exist for this symbol name.
  34 # DW_AT_declaration is not present in any of these DIEs.
  35
  36 proc file_symbols {type} {
  37     global pf_prefix
  38     set old_prefix $pf_prefix
  39     lappend pf_prefix "$type:"
  40
  41     global gdb_prompt
  42
  43     gdb_test "print file_locaddr_resolvable" "= 1234567890"
  44     gdb_test "ptype file_locaddr_resolvable" "type = int"
  45
  46     gdb_test "print file_locaddr_unresolvable" "= 1234567890"
  47     gdb_test "ptype file_locaddr_unresolvable" "type = int"
  48
  49     gdb_test "print file_locempty_resolvable" "= <optimized out>"
  50     gdb_test "ptype file_locempty_resolvable" "type = int"
  51
  52     gdb_test "print file_locempty_unresolvable" "= <optimized out>"
  53     gdb_test "ptype file_locempty_unresolvable" "type = int"
  54
  55     gdb_test "print file_locno_resolvable" "= <optimized out>"
  56     gdb_test "ptype file_locno_resolvable" "type = int"
  57
  58     gdb_test "print file_locno_unresolvable" "= <optimized out>"
  59     gdb_test "ptype file_locno_unresolvable" "type = int"
  60
  61     gdb_test "print file_extern_locaddr_resolvable" "= 1234567890"
  62     gdb_test "ptype file_extern_locaddr_resolvable" "type = int"
  63
  64     gdb_test "print file_extern_locaddr_unresolvable" "= 1234567890"
  65     gdb_test "ptype file_extern_locaddr_unresolvable" "type = int"
  66
  67     gdb_test "print file_extern_locempty_resolvable" "= <optimized out>"
  68     gdb_test "ptype file_extern_locempty_resolvable" "type = int"
  69
  70     gdb_test "print file_extern_locempty_unresolvable" "= <optimized out>"
  71     gdb_test "ptype file_extern_locempty_unresolvable" "type = int"
  72
  73     gdb_test "print file_extern_locno_resolvable" "= 1234567890"
  74     gdb_test "ptype file_extern_locno_resolvable" "type = int"
  75
  76     # `print file_extern_locno_unresolvable' currently prints
  77     # Address of symbol "file_extern_locno_unresolvable" is unknown.
  78     # As DW_AT_declaration is not present in this DIE
  79     # it should print <optimized out>.  As usefulness of such DIE is not
  80     # clear its resolution is not being tested.
  81
  82     set pf_prefix $old_prefix
  83 }
  84
  85 file_symbols no-run
  86
  87 if ![runto_main] {
  88     return -1
  89 }
  90
  91 file_symbols in-main
  92
  93
  94 gdb_test "print main_local_locaddr_resolvable" "= 1234567890"
  95 gdb_test "ptype main_local_locaddr_resolvable" "type = int"
  96
  97 gdb_test "print main_local_locaddr_unresolvable" "= 1234567890"
  98 gdb_test "ptype main_local_locaddr_unresolvable" "type = int"
  99
 100 gdb_test "print main_local_locempty_resolvable" "= <optimized out>"
 101 gdb_test "ptype main_local_locempty_resolvable" "type = int"
 102
 103 gdb_test "print main_local_locempty_unresolvable" "= <optimized out>"
 104 gdb_test "ptype main_local_locempty_unresolvable" "type = int"
 105
 106 gdb_test "print main_local_locno_resolvable" "= <optimized out>"
 107 gdb_test "ptype main_local_locno_resolvable" "type = int"
 108
 109 gdb_test "print main_local_locno_unresolvable" "= <optimized out>"
 110 gdb_test "ptype main_local_locno_unresolvable" "type = int"
 111
 112 gdb_test "print main_extern_locaddr_resolvable" "= 1234567890"
 113 gdb_test "ptype main_extern_locaddr_resolvable" "type = int"
 114
 115 gdb_test "print main_extern_locaddr_unresolvable" "= 1234567890"
 116 gdb_test "ptype main_extern_locaddr_unresolvable" "type = int"
 117
 118 gdb_test "print main_extern_locempty_resolvable" "= <optimized out>"
 119 gdb_test "ptype main_extern_locempty_resolvable" "type = int"
 120
 121 gdb_test "print main_extern_locempty_unresolvable" "= <optimized out>"
 122 gdb_test "ptype main_extern_locempty_unresolvable" "type = int"
 123
 124 gdb_test "print main_extern_locno_resolvable" "= 1234567890"
 125 gdb_test "ptype main_extern_locno_resolvable" "type = int"
 126
 127 # For `main_extern_locno_unresolvable' see `file_extern_locno_unresolvable'.