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

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