mirror of
https://github.com/bminor/binutils-gdb.git
synced 2025-12-26 01:07:52 +00:00
ef136c7fa1
When running test-case gdb.ada/arr_acc_idx_w_gap.exp with target board
cc-with-dwz, I run into:
...
(gdb) print enum_with_gaps'enum_rep(lit3)^M
'Enum_Rep requires argument to have same type as enum^M
(gdb) FAIL: gdb.ada/arr_acc_idx_w_gap.exp: enum_rep
...
With target_board unix, we have instead:
...
(gdb) print enum_with_gaps'enum_rep(lit3)^M
$16 = 13^M
(gdb) PASS: gdb.ada/arr_acc_idx_w_gap.exp: enum_rep
...
Conversely, when I add this test to the test-case:
...
gdb_test "print enum_with_gaps'enum_rep(lit3)" " = 13" \
"enum_rep"
+ gdb_test "print enum_subrange'enum_rep(lit3)" " = 13" \
+ "other enum_rep"
...
the extra test passes with target board cc-with-dwz, but fails with target
board unix.
The problem is here in remove_extra_symbols:
...
if (symbols_are_identical_enums (syms))
syms.resize (1);
...
where one of the two identical enums is picked before the enum_rep handling
can resolve lit3 to one of the two.
Fix this by moving the code to ada_resolve_variable.
Tested on x86_64-linux.
Approved-By: Tom Tromey <tom@tromey.com>
PR ada/30726
Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=30726
77 lines
2.1 KiB
Plaintext
77 lines
2.1 KiB
Plaintext
# Copyright 2018-2023 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"
|
|
|
|
require allow_ada_tests
|
|
|
|
standard_ada_testfile enum_with_gap_main
|
|
|
|
foreach_with_prefix scenario {all minimal} {
|
|
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
|
|
|
|
if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" \
|
|
executable $flags] != ""} {
|
|
return -1
|
|
}
|
|
|
|
clean_restart ${testfile}-${scenario}
|
|
|
|
set bp_location [gdb_get_line_number "BREAK" \
|
|
${testdir}/enum_with_gap_main.adb]
|
|
if {![runto "enum_with_gap_main.adb:$bp_location"]} {
|
|
return
|
|
}
|
|
|
|
gdb_test "print indexed_by_enum.all" \
|
|
" = \\(lit1 => 1, 43, 42, 41\\)"
|
|
gdb_test "print s.all" \
|
|
" = \"Hello!\""
|
|
|
|
gdb_test "print indexed_by_enum'length" \
|
|
" = 4"
|
|
gdb_test "print s'length" \
|
|
" = 6"
|
|
|
|
gdb_test "print indexed_by_enum'first" \
|
|
" = lit1"
|
|
gdb_test "print s'first" \
|
|
" = 1"
|
|
|
|
gdb_test "print indexed_by_enum'last" \
|
|
" = lit4"
|
|
gdb_test "print s'last" \
|
|
" = 6"
|
|
|
|
gdb_test "print indexed_by_enum(lit2..lit4)" \
|
|
" = \\(lit2 => 43, 42, 41\\)"
|
|
gdb_test "print s(2..4)" \
|
|
" = \"ell\""
|
|
|
|
gdb_test "print v" " = lit3"
|
|
gdb_test "print enum_subrange'pos(v)" " = 3"
|
|
gdb_test "print enum_subrange'val(3)" " = lit3"
|
|
|
|
gdb_test "print indexed_by_enum(lit2)" "43"
|
|
gdb_test "print s(2)" "101 'e'"
|
|
|
|
gdb_test "print enum_with_gaps'enum_rep(lit3)" " = 13" \
|
|
"enum_rep"
|
|
gdb_test "print enum_subrange'enum_rep(lit3)" " = 13" \
|
|
"other enum_rep"
|
|
gdb_test "print enum_with_gaps'enum_val(21)" " = lit4" \
|
|
"enum_val"
|
|
}
|