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

   1 # Copyright 2007-2013 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} { with_test_prefix "$type" {
  37
  38     global gdb_prompt
  39
  40     gdb_test "print file_locaddr_resolvable" "= 1234567890"
  41     gdb_test "ptype file_locaddr_resolvable" "type = int"
  42
  43     gdb_test "print file_locaddr_unresolvable" "= 1234567890"
  44     gdb_test "ptype file_locaddr_unresolvable" "type = int"
  45
  46     gdb_test "print file_locempty_resolvable" "= <optimized out>"
  47     gdb_test "ptype file_locempty_resolvable" "type = int"
  48
  49     gdb_test "print file_locempty_unresolvable" "= <optimized out>"
  50     gdb_test "ptype file_locempty_unresolvable" "type = int"
  51
  52     gdb_test "print file_locno_resolvable" "= <optimized out>"
  53     gdb_test "ptype file_locno_resolvable" "type = int"
  54
  55     gdb_test "print file_locno_unresolvable" "= <optimized out>"
  56     gdb_test "ptype file_locno_unresolvable" "type = int"
  57
  58     gdb_test "print file_extern_locaddr_resolvable" "= 1234567890"
  59     gdb_test "ptype file_extern_locaddr_resolvable" "type = int"
  60
  61     gdb_test "print file_extern_locaddr_unresolvable" "= 1234567890"
  62     gdb_test "ptype file_extern_locaddr_unresolvable" "type = int"
  63
  64     gdb_test "print file_extern_locempty_resolvable" "= <optimized out>"
  65     gdb_test "ptype file_extern_locempty_resolvable" "type = int"
  66
  67     gdb_test "print file_extern_locempty_unresolvable" "= <optimized out>"
  68     gdb_test "ptype file_extern_locempty_unresolvable" "type = int"
  69
  70     gdb_test "print file_extern_locno_resolvable" "= 1234567890"
  71     gdb_test "ptype file_extern_locno_resolvable" "type = int"
  72
  73     # `print file_extern_locno_unresolvable' currently prints
  74     # Address of symbol "file_extern_locno_unresolvable" is unknown.
  75     # As DW_AT_declaration is not present in this DIE
  76     # it should print <optimized out>.  As usefulness of such DIE is not
  77     # clear its resolution is not being tested.
  78 }}
  79
  80 file_symbols no-run
  81
  82 if ![runto_main] {
  83     return -1
  84 }
  85
  86 file_symbols in-main
  87
  88
  89 gdb_test "print main_local_locaddr_resolvable" "= 1234567890"
  90 gdb_test "ptype main_local_locaddr_resolvable" "type = int"
  91
  92 gdb_test "print main_local_locaddr_unresolvable" "= 1234567890"
  93 gdb_test "ptype main_local_locaddr_unresolvable" "type = int"
  94
  95 gdb_test "print main_local_locempty_resolvable" "= <optimized out>"
  96 gdb_test "ptype main_local_locempty_resolvable" "type = int"
  97
  98 gdb_test "print main_local_locempty_unresolvable" "= <optimized out>"
  99 gdb_test "ptype main_local_locempty_unresolvable" "type = int"
 100
 101 gdb_test "print main_local_locno_resolvable" "= <optimized out>"
 102 gdb_test "ptype main_local_locno_resolvable" "type = int"
 103
 104 gdb_test "print main_local_locno_unresolvable" "= <optimized out>"
 105 gdb_test "ptype main_local_locno_unresolvable" "type = int"
 106
 107 gdb_test "print main_extern_locaddr_resolvable" "= 1234567890"
 108 gdb_test "ptype main_extern_locaddr_resolvable" "type = int"
 109
 110 gdb_test "print main_extern_locaddr_unresolvable" "= 1234567890"
 111 gdb_test "ptype main_extern_locaddr_unresolvable" "type = int"
 112
 113 gdb_test "print main_extern_locempty_resolvable" "= <optimized out>"
 114 gdb_test "ptype main_extern_locempty_resolvable" "type = int"
 115
 116 gdb_test "print main_extern_locempty_unresolvable" "= <optimized out>"
 117 gdb_test "ptype main_extern_locempty_unresolvable" "type = int"
 118
 119 gdb_test "print main_extern_locno_resolvable" "= 1234567890"
 120 gdb_test "ptype main_extern_locno_resolvable" "type = int"
 121
 122 # For `main_extern_locno_unresolvable' see `file_extern_locno_unresolvable'.