aboutsummaryrefslogtreecommitdiff
path: root/gdb/testsuite/gdb.dwarf2/arr-subrange.exp
blob: 9847c13c3834bf00b96f95175f50bf1866f48aff (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
# Copyright 2014 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 3 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, see <http://www.gnu.org/licenses/>.
load_lib dwarf.exp

# This test can only be run on targets which support DWARF-2 and use gas.
if {![dwarf2_support]} {
    return 0
}

standard_testfile arr-subrange.c arr-subrange-dw.S

# Make some DWARF for the test.
set asm_file [standard_output_file $srcfile2]
Dwarf::assemble $asm_file {
    cu {} {
 	DW_TAG_compile_unit {
                {DW_AT_language @DW_LANG_Ada95}
                {DW_AT_name     foo.adb}
                {DW_AT_comp_dir /tmp}
                {DW_AT_low_pc   0x1000}
                {DW_AT_high_pc  0x2000}
            } {
	    declare_labels boolean_label typedef_label array_label enum_label

            boolean_label: DW_TAG_base_type {
                {DW_AT_byte_size 1 DW_FORM_sdata}
                {DW_AT_encoding  @DW_ATE_boolean}
                {DW_AT_name      boolean}
            }

            typedef_label: DW_TAG_typedef {
                {DW_AT_name pck__table}
                {DW_AT_type :$array_label}
            }

	    array_label: DW_TAG_array_type {
		{DW_AT_name pck__table}
		{DW_AT_type :$boolean_label}
	    } {
		DW_TAG_subrange_type {
		    {DW_AT_type        :$enum_label}
		    {DW_AT_lower_bound 0   DW_FORM_data1}
		    {DW_AT_upper_bound 128 DW_FORM_data1}
		}
	    }

	    enum_label: DW_TAG_enumeration_type {
		{DW_AT_name      pck__enum_t}
                {DW_AT_byte_size 1 DW_FORM_sdata}
            } {
                DW_TAG_enumerator {
                    {DW_AT_name        pck__enum_000}
                    {DW_AT_const_value 0 DW_FORM_sdata}
                }
                DW_TAG_enumerator {
                    {DW_AT_name        pck__enum_001}
                    {DW_AT_const_value 1 DW_FORM_sdata}
                }
                DW_TAG_enumerator {
                    {DW_AT_name        pck__enum_128}
                    {DW_AT_const_value 128 DW_FORM_sdata}
                }
	    }
	}
    }
}

if  {[gdb_compile ${srcdir}/${subdir}/${srcfile} ${binfile}1.o \
	  object {nodebug}] != ""} {
    return -1
}

if  {[gdb_compile $asm_file ${binfile}2.o object {nodebug}] != ""} {
    return -1
}

if  {[gdb_compile [list ${binfile}1.o ${binfile}2.o] \
	  "${binfile}" executable {}] != ""} {
    return -1
}

clean_restart ${testfile}

gdb_test_no_output "set language ada"

gdb_test "ptype pck.table" \
         "type = array \\(enum_000 \\.\\. enum_128\\) of boolean"