forked from Imagelibrary/binutils-gdb
4e962e74e4
In Ada, the programmer can request that a range type with a non-zero base be stored in the minimal number of bits required for the range. This is done by biasing the values; so, for example, a range of -7..-4 may be stored as two bits with a bias of -7. This patch implements this for gdb. It is done by adding a bias to struct range_bounds and then adjusting a few spots to handle this. The test case is written to use -fgnat-encodings=minimal, but a future compiler patch will change the compiler to emit DW_AT_GNU_bias with -fgnat-encodings=gdb. It seemed good to get the gdb patch in first. Tested on x86-64 Fedora 29; plus a variety of targets using AdaCore's internal test suite. gdb/ChangeLog 2019-09-03 Tom Tromey <tromey@adacore.com> * ada-valprint.c (ada_val_print_num): Don't recurse for range types. (has_negatives): Unbias a range type bound. * dwarf2read.c (read_subrange_type): Handle DW_AT_GNU_bias. * gdbtypes.c (operator==): Handle new field. (create_range_type): Add "bias" parameter. (create_static_range_type, resolve_dynamic_range): Update. * gdbtypes.h (struct range_bounds) <bias>: New member. (create_range_type): Add bias parameter. * printcmd.c (print_scalar_formatted): Unbias range types. * value.c (unpack_long): Unbias range types. (pack_long): Bias range types. gdb/testsuite/ChangeLog 2019-09-03 Tom Tromey <tromey@adacore.com> * gdb.ada/bias.exp: New file. * gdb.ada/bias/bias.adb: New file. * gdb.ada/print_chars.exp: Add regression test. * gdb.ada/print_chars/foo.adb (My_Character): New type. (MC): New variable.
57 lines
1.7 KiB
Plaintext
57 lines
1.7 KiB
Plaintext
# Copyright 2019 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"
|
|
|
|
standard_ada_testfile bias
|
|
|
|
if {[gdb_compile_ada "${srcfile}" "${binfile}" executable \
|
|
{debug additional_flags=-fgnat-encodings=minimal}] != "" } {
|
|
return -1
|
|
}
|
|
|
|
clean_restart ${testfile}
|
|
|
|
set bp_location [gdb_get_line_number "STOP" ${testdir}/bias.adb]
|
|
runto "bias.adb:$bp_location"
|
|
|
|
gdb_test "print x" " = 64"
|
|
gdb_test "print y" " = -5"
|
|
|
|
gdb_test "print cval" " = 65"
|
|
gdb_test "print/c cval" " = 65 'A'"
|
|
|
|
# Some binary arithmetic checks.
|
|
gdb_test "print y < y1" " = false"
|
|
gdb_test "print y <= y1" " = false"
|
|
gdb_test "print y > y1" " = true"
|
|
gdb_test "print y >= y1" " = true"
|
|
gdb_test "print y = y" " = true"
|
|
gdb_test "print y /= y" " = false"
|
|
gdb_test "print y /= y1" " = true"
|
|
|
|
gdb_test "print x + x1" " = 65"
|
|
gdb_test "ptype x + x1" "type = range 1 \\.\\. 64"
|
|
gdb_test "print x / x1" " = 64"
|
|
gdb_test "print x * x1" " = 64"
|
|
gdb_test "print x - x1" " = 63"
|
|
|
|
# Test that storing un-biases.
|
|
gdb_test "print x := 5" " = 5"
|
|
gdb_test "print x" " = 5" "re-read x after storing"
|
|
|
|
gdb_test "print spr" " = \\(r => -4, s => -5\\)"
|
|
gdb_test "print a" " = \\(-7, -5, -4\\)"
|