eb47903935
Trying to print the bounds or the length of a pointer to an array
whose bounds are dynamic results in the following error:
(gdb) p foo.three_ptr.all'first
Location address is not set.
(gdb) p foo.three_ptr.all'length
Location address is not set.
This is because, after having dereferenced our array pointer, we
use the type of the resulting array value, instead of the enclosing
type. The former is the original type where the bounds are unresolved,
whereas we need to get the actual array bounds.
Similarly, trying to apply those attributes to the array pointer
directly (without explicitly dereferencing it with the '.all'
operator) yields the same kind of error:
(gdb) p foo.three_ptr'first
Location address is not set.
(gdb) p foo.three_ptr'length
Location address is not set.
This is caused by the fact that the dereference was done implicitly
in this case, and perform at the type level only, which is not
sufficient in order to resolve the array type.
This patch fixes both issues, thus allowing us to get the expected output:
(gdb) p foo.three_ptr.all'first
$1 = 1
(gdb) p foo.three_ptr.all'length
$2 = 3
(gdb) p foo.three_ptr'first
$3 = 1
(gdb) p foo.three_ptr'length
$4 = 3
gdb/ChangeLog:
* ada-lang.c (ada_array_bound): If ARR is a TYPE_CODE_PTR,
dereference it first. Use value_enclosing_type instead of
value_type.
(ada_array_length): Likewise.
gdb/testsuite/ChangeLog:
* gdb.dwarf2/dynarr-ptr.exp: Add 'first, 'last and 'length tests.
329 lines
8 KiB
Text
329 lines
8 KiB
Text
# 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 dynarr-ptr.c dynarr-ptr-dw.S
|
|
|
|
# We need to know the size of integer and address types in order
|
|
# to write some of the debugging info we'd like to generate.
|
|
#
|
|
# For that, we ask GDB by debugging our dynarr-ptr.c program.
|
|
# Any program would do, but since we already have dynarr-ptr.c
|
|
# specifically for this testcase, might as well use that.
|
|
|
|
if { [prepare_for_testing ${testfile}.exp ${testfile} ${srcfile}] } {
|
|
untested ${testfile}.exp
|
|
return -1
|
|
}
|
|
|
|
# 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}
|
|
} {
|
|
declare_labels integer_label array_label array_ptr_label \
|
|
array_typedef_label
|
|
set ptr_size [get_sizeof "void *" 96]
|
|
|
|
integer_label: DW_TAG_base_type {
|
|
{DW_AT_byte_size 4 DW_FORM_sdata}
|
|
{DW_AT_encoding @DW_ATE_signed}
|
|
{DW_AT_name integer}
|
|
}
|
|
|
|
array_label: DW_TAG_array_type {
|
|
{DW_AT_name foo__array_type}
|
|
{DW_AT_type :$integer_label}
|
|
{external 1 flag}
|
|
} {
|
|
DW_TAG_subrange_type {
|
|
{DW_AT_type :$integer_label}
|
|
{DW_AT_lower_bound {
|
|
DW_OP_push_object_address
|
|
DW_OP_lit8
|
|
DW_OP_minus
|
|
DW_OP_deref_size 4
|
|
} SPECIAL_expr}
|
|
{DW_AT_upper_bound {
|
|
DW_OP_push_object_address
|
|
DW_OP_lit4
|
|
DW_OP_minus
|
|
DW_OP_deref_size 4
|
|
} SPECIAL_expr}
|
|
}
|
|
}
|
|
array_ptr_label: DW_TAG_pointer_type {
|
|
{DW_AT_byte_size :$ptr_size }
|
|
{DW_AT_type :$array_label}
|
|
}
|
|
array_typedef_label: DW_TAG_typedef {
|
|
{DW_AT_name "foo__array_ptr"}
|
|
{DW_AT_type :$array_ptr_label}
|
|
}
|
|
DW_TAG_variable {
|
|
{DW_AT_name foo__three_ptr}
|
|
{DW_AT_type :$array_ptr_label}
|
|
{DW_AT_location {
|
|
DW_OP_addr table_1_ptr
|
|
} SPECIAL_expr}
|
|
{external 1 flag}
|
|
}
|
|
DW_TAG_variable {
|
|
{DW_AT_name foo__three_ptr_tdef}
|
|
{DW_AT_type :$array_typedef_label}
|
|
{DW_AT_location {
|
|
DW_OP_addr table_1_ptr
|
|
} SPECIAL_expr}
|
|
{external 1 flag}
|
|
}
|
|
DW_TAG_variable {
|
|
{DW_AT_name foo__five_ptr}
|
|
{DW_AT_type :$array_ptr_label}
|
|
{DW_AT_location {
|
|
DW_OP_addr table_2_ptr
|
|
} SPECIAL_expr}
|
|
{external 1 flag}
|
|
}
|
|
DW_TAG_variable {
|
|
{DW_AT_name foo__five_ptr_tdef}
|
|
{DW_AT_type :$array_typedef_label}
|
|
{DW_AT_location {
|
|
DW_OP_addr table_2_ptr
|
|
} SPECIAL_expr}
|
|
{external 1 flag}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
# Now that we've generated the DWARF debugging info, rebuild our
|
|
# program using our debug info instead of the info generated by
|
|
# the compiler.
|
|
|
|
if { [prepare_for_testing ${testfile}.exp ${testfile} \
|
|
[list $srcfile $asm_file] {nodebug}] } {
|
|
return -1
|
|
}
|
|
|
|
if ![runto_main] {
|
|
return -1
|
|
}
|
|
|
|
gdb_test_no_output "set language ada"
|
|
|
|
# foo.three_ptr.all
|
|
|
|
gdb_test "print foo.three_ptr.all" \
|
|
" = \\(1, 2, 3\\)"
|
|
|
|
gdb_test "print foo.three_ptr.all(1)" \
|
|
" = 1"
|
|
|
|
gdb_test "print foo.three_ptr.all(2)" \
|
|
" = 2"
|
|
|
|
gdb_test "print foo.three_ptr.all(3)" \
|
|
" = 3"
|
|
|
|
gdb_test "print foo.three_ptr.all'first" \
|
|
" = 1"
|
|
|
|
gdb_test "print foo.three_ptr.all'last" \
|
|
" = 3"
|
|
|
|
gdb_test "print foo.three_ptr.all'length" \
|
|
" = 3"
|
|
|
|
# foo.three_ptr
|
|
|
|
gdb_test "print foo.three_ptr(1)" \
|
|
" = 1"
|
|
|
|
gdb_test "print foo.three_ptr(2)" \
|
|
" = 2"
|
|
|
|
gdb_test "print foo.three_ptr(3)" \
|
|
" = 3"
|
|
|
|
gdb_test "print foo.three_ptr'first" \
|
|
" = 1"
|
|
|
|
gdb_test "print foo.three_ptr'last" \
|
|
" = 3"
|
|
|
|
gdb_test "print foo.three_ptr'length" \
|
|
" = 3"
|
|
|
|
# foo.three_ptr_tdef.all
|
|
|
|
gdb_test "print foo.three_ptr_tdef.all" \
|
|
" = \\(1, 2, 3\\)"
|
|
|
|
gdb_test "print foo.three_ptr_tdef.all(1)" \
|
|
" = 1"
|
|
|
|
gdb_test "print foo.three_ptr_tdef.all(2)" \
|
|
" = 2"
|
|
|
|
gdb_test "print foo.three_ptr_tdef.all(3)" \
|
|
" = 3"
|
|
|
|
gdb_test "print foo.three_ptr_tdef.all'first" \
|
|
" = 1"
|
|
|
|
gdb_test "print foo.three_ptr_tdef.all'last" \
|
|
" = 3"
|
|
|
|
gdb_test "print foo.three_ptr_tdef.all'length" \
|
|
" = 3"
|
|
|
|
# foo.three_ptr_tdef
|
|
|
|
gdb_test "print foo.three_ptr_tdef(1)" \
|
|
" = 1"
|
|
|
|
gdb_test "print foo.three_ptr_tdef(2)" \
|
|
" = 2"
|
|
|
|
gdb_test "print foo.three_ptr_tdef(3)" \
|
|
" = 3"
|
|
|
|
gdb_test "print foo.three_ptr_tdef'first" \
|
|
" = 1"
|
|
|
|
gdb_test "print foo.three_ptr_tdef'last" \
|
|
" = 3"
|
|
|
|
gdb_test "print foo.three_ptr_tdef'length" \
|
|
" = 3"
|
|
|
|
# foo.five_ptr.all
|
|
|
|
gdb_test "print foo.five_ptr.all" \
|
|
" = \\(2 => 5, 8, 13, 21, 34\\)"
|
|
|
|
gdb_test "print foo.five_ptr.all(2)" \
|
|
" = 5"
|
|
|
|
gdb_test "print foo.five_ptr.all(3)" \
|
|
" = 8"
|
|
|
|
gdb_test "print foo.five_ptr.all(4)" \
|
|
" = 13"
|
|
|
|
gdb_test "print foo.five_ptr.all(5)" \
|
|
" = 21"
|
|
|
|
gdb_test "print foo.five_ptr.all(6)" \
|
|
" = 34"
|
|
|
|
gdb_test "print foo.five_ptr.all'first" \
|
|
" = 2"
|
|
|
|
gdb_test "print foo.five_ptr.all'last" \
|
|
" = 6"
|
|
|
|
gdb_test "print foo.five_ptr.all'length" \
|
|
" = 5"
|
|
|
|
# foo.five_ptr
|
|
|
|
gdb_test "print foo.five_ptr(2)" \
|
|
" = 5"
|
|
|
|
gdb_test "print foo.five_ptr(3)" \
|
|
" = 8"
|
|
|
|
gdb_test "print foo.five_ptr(4)" \
|
|
" = 13"
|
|
|
|
gdb_test "print foo.five_ptr(5)" \
|
|
" = 21"
|
|
|
|
gdb_test "print foo.five_ptr(6)" \
|
|
" = 34"
|
|
|
|
gdb_test "print foo.five_ptr'first" \
|
|
" = 2"
|
|
|
|
gdb_test "print foo.five_ptr'last" \
|
|
" = 6"
|
|
|
|
gdb_test "print foo.five_ptr'length" \
|
|
" = 5"
|
|
|
|
# foo.five_ptr_tdef.all
|
|
|
|
gdb_test "print foo.five_ptr_tdef.all" \
|
|
" = \\(2 => 5, 8, 13, 21, 34\\)"
|
|
|
|
gdb_test "print foo.five_ptr_tdef.all(2)" \
|
|
" = 5"
|
|
|
|
gdb_test "print foo.five_ptr_tdef.all(3)" \
|
|
" = 8"
|
|
|
|
gdb_test "print foo.five_ptr_tdef.all(4)" \
|
|
" = 13"
|
|
|
|
gdb_test "print foo.five_ptr_tdef.all(5)" \
|
|
" = 21"
|
|
|
|
gdb_test "print foo.five_ptr_tdef.all(6)" \
|
|
" = 34"
|
|
|
|
gdb_test "print foo.five_ptr_tdef.all'first" \
|
|
" = 2"
|
|
|
|
gdb_test "print foo.five_ptr_tdef.all'last" \
|
|
" = 6"
|
|
|
|
gdb_test "print foo.five_ptr_tdef.all'length" \
|
|
" = 5"
|
|
|
|
# foo.five_ptr_tdef
|
|
|
|
gdb_test "print foo.five_ptr_tdef(2)" \
|
|
" = 5"
|
|
|
|
gdb_test "print foo.five_ptr_tdef(3)" \
|
|
" = 8"
|
|
|
|
gdb_test "print foo.five_ptr_tdef(4)" \
|
|
" = 13"
|
|
|
|
gdb_test "print foo.five_ptr_tdef(5)" \
|
|
" = 21"
|
|
|
|
gdb_test "print foo.five_ptr_tdef(6)" \
|
|
" = 34"
|
|
|
|
gdb_test "print foo.five_ptr_tdef'first" \
|
|
" = 2"
|
|
|
|
gdb_test "print foo.five_ptr_tdef'last" \
|
|
" = 6"
|
|
|
|
gdb_test "print foo.five_ptr_tdef'length" \
|
|
" = 5"
|