99b1c762c9
Consider the following declarations (a packed array indexed by an
enumerated type):
type Color is (Black, Red, Green, Blue, White);
type Full_Table is array (Color) of Boolean;
pragma Pack (Full_Table);
Full : Full_Table := (False, True, False, True, False);
GDB is unable to print the index values correctly. It prints the
enumeration's underlying value instead of the enumeration name:
(gdb) p full
$1 = (0 => false, true, false, true, false)
(gdb) p full'first
$2 = 0
And yet, it is capable of printing the correct type description:
(gdb) ptype full
type = array (black .. white) of boolean <packed: 1-bit elements>
To get to the real index type, one has to follow the parallel XA type.
We already do this for normal arrays. We can do it for this packed
array as well.
gdb/ChangeLog:
* ada-lang.c (constrained_packed_array_type): If there is a
parallel XA type, use it to determine the array index type.
gdb/testsuite/ChangeLog:
* gdb.ada/arrayidx.exp: Adjust expected output for p_one_two_three.
* gdb.ada/enum_idx_packed: New testcase.
107 lines
3.1 KiB
Text
107 lines
3.1 KiB
Text
# Copyright 2005, 2007-2012 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 "ada.exp"
|
|
|
|
if { [skip_ada_tests] } { return -1 }
|
|
|
|
set testdir "arrayidx"
|
|
set testfile "${testdir}/p"
|
|
set srcfile ${srcdir}/${subdir}/${testfile}.adb
|
|
set binfile ${objdir}/${subdir}/${testfile}
|
|
|
|
file mkdir ${objdir}/${subdir}/${testdir}
|
|
if {[gdb_compile_ada "${srcfile}" "${binfile}" executable {debug}] != ""} {
|
|
return -1
|
|
}
|
|
|
|
clean_restart ${testfile}
|
|
|
|
set bp_location [gdb_get_line_number "START" ${testdir}/p.adb]
|
|
runto "p.adb:$bp_location"
|
|
|
|
# First, print all the arrays without indexes
|
|
|
|
gdb_test_no_output "set print array-indexes off"
|
|
|
|
gdb_test "print one_two_three" \
|
|
"= \\(1, 2, 3\\)" \
|
|
"print one_two_three, indexes off"
|
|
|
|
gdb_test "print e_one_two_three" \
|
|
"= \\(1, 2, 3\\)" \
|
|
"print e_one_two_three, indexes off"
|
|
|
|
gdb_test "print r_two_three" \
|
|
"= \\(two => 2, 3\\)" \
|
|
"print r_two_three, indexes off"
|
|
|
|
gdb_test "print u_one_two_three" \
|
|
"= \\(1, 2, 3\\)" \
|
|
"print u_one_two_three, indexes off"
|
|
|
|
gdb_test "print p_one_two_three" \
|
|
"= \\(false, true, true\\)" \
|
|
"print p_one_two_three, indexes off"
|
|
|
|
gdb_test "print few_reps" \
|
|
"= \\(1, 2, 3, 3, 3, 3, 3, 4, 5\\)" \
|
|
"print few_reps, indexes off"
|
|
|
|
gdb_test "print many_reps" \
|
|
"= \\(1, 2, 3 <repeats 12 times>, 4, 5\\)" \
|
|
"print many_reps, indexes off"
|
|
|
|
gdb_test "print empty" \
|
|
"= \\(\\)" \
|
|
"print empty, indexes off"
|
|
|
|
# Next, print all the arrays with the indexes
|
|
|
|
gdb_test_no_output "set print array-indexes on"
|
|
|
|
gdb_test "print one_two_three" \
|
|
"= \\(1 => 1, 2 => 2, 3 => 3\\)" \
|
|
"print one_two_three"
|
|
|
|
gdb_test "print e_one_two_three" \
|
|
"= \\(one => 1, two => 2, three => 3\\)" \
|
|
"print e_one_two_three"
|
|
|
|
gdb_test "print r_two_three" \
|
|
"= \\(two => 2, three => 3\\)" \
|
|
"print r_two_three"
|
|
|
|
gdb_test "print u_one_two_three" \
|
|
"= \\(1 => 1, 2 => 2, 3 => 3\\)" \
|
|
"print u_one_two_three"
|
|
|
|
gdb_test "print p_one_two_three" \
|
|
"= \\(one => false, two => true, three => true\\)" \
|
|
"print p_one_two_three"
|
|
|
|
gdb_test "print few_reps" \
|
|
"= \\(1 => 1, 2 => 2, 3 => 3, 4 => 3, 5 => 3, 6 => 3, 7 => 3, 8 => 4, 9 => 5\\)" \
|
|
"print few_reps"
|
|
|
|
gdb_test "print many_reps" \
|
|
"= \\(1 => 1, 2 => 2, 3 => 3 <repeats 12 times>, 15 => 4, 16 => 5\\)" \
|
|
"print many_reps"
|
|
|
|
gdb_test "print empty" \
|
|
"= \\(\\)" \
|
|
"print empty"
|
|
|
|
|