From: Keith Seitz Date: Fri, 29 Mar 2019 17:15:38 +0000 (-0700) Subject: Allow really large fortran array bounds: fortran type/value printers X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2880242dd0b8538b68aece7d9e8b1678dcdfd0ab;p=binutils-gdb.git Allow really large fortran array bounds: fortran type/value printers This is the fortran part of the patch, including tests, which are essentially unchanged from Siddhesh's original 2012 submission: https://sourceware.org/ml/gdb-patches/2012-08/msg00562.html There is, however, one large departure. In the above thread, Jan pointed out problems with GCC debuginfo for -m32 builds (filed usptream as gcc/54934). After investigating the issue, I am dropping the hand-tweaked assembler source file to workaround this case. While I would normally do something to accommodate this, in this case, given the ubiquity of 64-bit systems today (where the tests pass) and the apparent lack of urgency on the compiler side (by users), I don't think the additional complexity and maintenance costs are worth it. It will be very routinely tested on 64-bit systems. [For example, at Red Hat, we always test -m64 and -m32 configurations for all GDB releases.] gdb/ChangeLog: From Siddhesh Poyarekar: * f-lang.h (f77_get_upperbound): Return LONGEST. (f77_get_lowerbound): Likewise. * f-typeprint.c (f_type_print_varspec_suffix): Expand UPPER_BOUND and LOWER_BOUND to LONGEST. Use plongest to format print them. (f_type_print_base): Expand UPPER_BOUND to LONGEST. Use plongest to format print it. * f-valprint.c (f77_get_lowerbound): Return LONGEST. (f77_get_upperbound): Likewise. (f77_get_dynamic_length_of_aggregate): Expand UPPER_BOUND, LOWER_BOUND to LONGEST. (f77_create_arrayprint_offset_tbl): Likewise. gdb/testsuite/ChangeLog: * gdb.fortran/array-bounds.exp: New file. * gdb.fortran/array-bounds.f90: New file. --- diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 71951b77640..53923503c79 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,19 @@ +2019-03-29 Keith Seitz + + From Siddhesh Poyarekar: + * f-lang.h (f77_get_upperbound): Return LONGEST. + (f77_get_lowerbound): Likewise. + * f-typeprint.c (f_type_print_varspec_suffix): Expand + UPPER_BOUND and LOWER_BOUND to LONGEST. Use plongest to format + print them. + (f_type_print_base): Expand UPPER_BOUND to LONGEST. Use + plongest to format print it. + * f-valprint.c (f77_get_lowerbound): Return LONGEST. + (f77_get_upperbound): Likewise. + (f77_get_dynamic_length_of_aggregate): Expand UPPER_BOUND, + LOWER_BOUND to LONGEST. + (f77_create_arrayprint_offset_tbl): Likewise. + 2019-03-29 Keith Seitz * ada-lang.c (ada_template_to_fixed_record_type_1): Use diff --git a/gdb/f-lang.h b/gdb/f-lang.h index 746c11fd9f1..1ba529d76c5 100644 --- a/gdb/f-lang.h +++ b/gdb/f-lang.h @@ -50,9 +50,9 @@ struct common_block struct symbol *contents[1]; }; -extern int f77_get_upperbound (struct type *); +extern LONGEST f77_get_upperbound (struct type *); -extern int f77_get_lowerbound (struct type *); +extern LONGEST f77_get_lowerbound (struct type *); extern void f77_get_dynamic_array_length (struct type *); diff --git a/gdb/f-typeprint.c b/gdb/f-typeprint.c index 2dfae5803cd..a0e34b3058d 100644 --- a/gdb/f-typeprint.c +++ b/gdb/f-typeprint.c @@ -161,8 +161,6 @@ f_type_print_varspec_suffix (struct type *type, struct ui_file *stream, int show, int passed_a_ptr, int demangled_args, int arrayprint_recurse_level) { - int upper_bound, lower_bound; - /* No static variables are permitted as an error call may occur during execution of this function. */ @@ -192,9 +190,10 @@ f_type_print_varspec_suffix (struct type *type, struct ui_file *stream, f_type_print_varspec_suffix (TYPE_TARGET_TYPE (type), stream, 0, 0, 0, arrayprint_recurse_level); - lower_bound = f77_get_lowerbound (type); + LONGEST lower_bound = f77_get_lowerbound (type); + if (lower_bound != 1) /* Not the default. */ - fprintf_filtered (stream, "%d:", lower_bound); + fprintf_filtered (stream, "%s:", plongest (lower_bound)); /* Make sure that, if we have an assumed size array, we print out a warning and print the upperbound as '*'. */ @@ -203,8 +202,9 @@ f_type_print_varspec_suffix (struct type *type, struct ui_file *stream, fprintf_filtered (stream, "*"); else { - upper_bound = f77_get_upperbound (type); - fprintf_filtered (stream, "%d", upper_bound); + LONGEST upper_bound = f77_get_upperbound (type); + + fputs_filtered (plongest (upper_bound), stream); } if (TYPE_CODE (TYPE_TARGET_TYPE (type)) != TYPE_CODE_ARRAY) @@ -273,7 +273,6 @@ void f_type_print_base (struct type *type, struct ui_file *stream, int show, int level) { - int upper_bound; int index; QUIT; @@ -364,8 +363,9 @@ f_type_print_base (struct type *type, struct ui_file *stream, int show, fprintfi_filtered (level, stream, "character*(*)"); else { - upper_bound = f77_get_upperbound (type); - fprintf_filtered (stream, "character*%d", upper_bound); + LONGEST upper_bound = f77_get_upperbound (type); + + fprintf_filtered (stream, "character*%s", pulongest (upper_bound)); } break; diff --git a/gdb/f-valprint.c b/gdb/f-valprint.c index eee0a62fe88..5f9dd4dedb8 100644 --- a/gdb/f-valprint.c +++ b/gdb/f-valprint.c @@ -41,7 +41,7 @@ int f77_array_offset_tbl[MAX_FORTRAN_DIMS + 1][2]; /* Array which holds offsets to be applied to get a row's elements for a given array. Array also holds the size of each subarray. */ -int +LONGEST f77_get_lowerbound (struct type *type) { if (TYPE_ARRAY_LOWER_BOUND_IS_UNDEFINED (type)) @@ -50,7 +50,7 @@ f77_get_lowerbound (struct type *type) return TYPE_ARRAY_LOWER_BOUND_VALUE (type); } -int +LONGEST f77_get_upperbound (struct type *type) { if (TYPE_ARRAY_UPPER_BOUND_IS_UNDEFINED (type)) diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog index ced25774eab..57f53b53883 100644 --- a/gdb/testsuite/ChangeLog +++ b/gdb/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2019-03-29 Keith Seitz + + * gdb.fortran/array-bounds.exp: New file. + * gdb.fortran/array-bounds.f90: New file. + 2019-03-28 Philippe Waroquiers * gdb.multi/multi-term-settings.c (main): Increase alarm timer. diff --git a/gdb/testsuite/gdb.fortran/array-bounds.exp b/gdb/testsuite/gdb.fortran/array-bounds.exp new file mode 100644 index 00000000000..e18530c75ed --- /dev/null +++ b/gdb/testsuite/gdb.fortran/array-bounds.exp @@ -0,0 +1,50 @@ +# Copyright 2012-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 . + +# This file is part of the gdb testsuite. It contains test to ensure that +# array bounds accept LONGEST. + +if { [skip_fortran_tests] } { return -1 } + +set testfile "array-bounds" +standard_testfile .f90 + +if {[prepare_for_testing $testfile.exp $testfile $srcfile {f90 debug}]} { + return -1 +} + +if {![runto MAIN__]} { + perror "Could not run to breakpoint `MAIN__'." + continue +} + +# Convenience proc to setup for KFAIL +proc kfail_if {exp bugid triplet} { + if {$exp} { + setup_kfail $bugid $triplet + } +} + +# GCC outputs incorrect range debug info for -m32. +set expect_fail false +if {[is_ilp32_target] && ([istarget "i\[34567\]86-*-linux*"] + || [istarget "x86_64-*-linux*"])} { + set expect_fail true +} + +kfail_if $expect_fail "gcc/54934" "*-*-*" +gdb_test "print &foo" {.*\(4294967296:4294967297\).*} +kfail_if $expect_fail "gcc/54934" "*-*-*" +gdb_test "print &bar" {.*\(-4294967297:-4294967296\).*} diff --git a/gdb/testsuite/gdb.fortran/array-bounds.f90 b/gdb/testsuite/gdb.fortran/array-bounds.f90 new file mode 100644 index 00000000000..ec3c4691ace --- /dev/null +++ b/gdb/testsuite/gdb.fortran/array-bounds.f90 @@ -0,0 +1,26 @@ +! Copyright 2012-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 . + + dimension foo(4294967296_8:4294967297_8) + dimension bar(-4294967297_8:-4294967296_8) + integer(8) :: lb, ub + bar = 42 + foo = bar + lb = lbound (foo, dim = 1, kind = 8) + ub = ubound (foo, dim = 1, kind = 8) + print *, 'bounds of foo - ', lb, ':', ub + stop + end +