1# Copyright 2007, 2008, 2009, 2010, 2011 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/>.
15load_lib dwarf.exp
16
17# This test can only be run on targets which support DWARF-2 and use gas.
18if {![dwarf2_support]} {
19    return 0
20}
21
22if { [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
36proc 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
85file_symbols no-run
86
87if ![runto_main] {
88    return -1
89}
90
91file_symbols in-main
92
93
94gdb_test "print main_local_locaddr_resolvable" "= 1234567890"
95gdb_test "ptype main_local_locaddr_resolvable" "type = int"
96
97gdb_test "print main_local_locaddr_unresolvable" "= 1234567890"
98gdb_test "ptype main_local_locaddr_unresolvable" "type = int"
99
100gdb_test "print main_local_locempty_resolvable" "= <optimized out>"
101gdb_test "ptype main_local_locempty_resolvable" "type = int"
102
103gdb_test "print main_local_locempty_unresolvable" "= <optimized out>"
104gdb_test "ptype main_local_locempty_unresolvable" "type = int"
105
106gdb_test "print main_local_locno_resolvable" "= <optimized out>"
107gdb_test "ptype main_local_locno_resolvable" "type = int"
108
109gdb_test "print main_local_locno_unresolvable" "= <optimized out>"
110gdb_test "ptype main_local_locno_unresolvable" "type = int"
111
112gdb_test "print main_extern_locaddr_resolvable" "= 1234567890"
113gdb_test "ptype main_extern_locaddr_resolvable" "type = int"
114
115gdb_test "print main_extern_locaddr_unresolvable" "= 1234567890"
116gdb_test "ptype main_extern_locaddr_unresolvable" "type = int"
117
118gdb_test "print main_extern_locempty_resolvable" "= <optimized out>"
119gdb_test "ptype main_extern_locempty_resolvable" "type = int"
120
121gdb_test "print main_extern_locempty_unresolvable" "= <optimized out>"
122gdb_test "ptype main_extern_locempty_unresolvable" "type = int"
123
124gdb_test "print main_extern_locno_resolvable" "= 1234567890"
125gdb_test "ptype main_extern_locno_resolvable" "type = int"
126
127# For `main_extern_locno_unresolvable' see `file_extern_locno_unresolvable'.
128