[gdb/testsuite] Fix gdb.ada/verylong.exp on 32-bit target

In an aarch32-linux chroot on an aarch64-linux system, I run into:
...
(gdb) print x^M
$1 = 9223372036854775807^M
(gdb) FAIL: gdb.ada/verylong.exp: print x
...

A passing version on aarch64-linux looks like:
...
(gdb) print x^M
$1 = 170141183460469231731687303715884105727^M
(gdb) PASS: gdb.ada/verylong.exp: print x
...

The difference is caused by the size of the type Long_Long_Long_Integer, which
is:
- a 128-bit signed on 64-bit targets, and
- a 64-bit signed on 32-bit target.

Fix this by detecting the size of the Long_Long_Long_Integer type, and
handling it.

Tested on aarch64-linux and aarch32-linux.

Approved-By: Tom Tromey <tom@tromey.com>

PR testsuite/31574
Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=31574

[1] https://gcc.gnu.org/onlinedocs/gnat_rm/Implementation-Defined-Characteristics.html
This commit is contained in:
Tom de Vries 2024-04-02 16:14:39 +02:00
parent 121a3f4b4f
commit d16a53152c

View File

@ -29,15 +29,29 @@ clean_restart ${testfile}
set bp_location [gdb_get_line_number "START" ${testdir}/prog.adb]
runto "prog.adb:$bp_location"
gdb_test "print x" " = 170141183460469231731687303715884105727"
gdb_test "print x / 2" " = 85070591730234615865843651857942052863"
gdb_test "print (x / 4) * 2" " = 85070591730234615865843651857942052862"
set lll_int_size 0
gdb_test_multiple "ptype Long_Long_Long_Integer" "" {
-re -wrap "type = <8-byte integer>" {
set lll_int_size 8
set max 9223372036854775807
}
-re -wrap "type = <16-byte integer>" {
set lll_int_size 16
set max 170141183460469231731687303715884105727
}
}
require {expr $lll_int_size == 8 || $lll_int_size == 16}
gdb_test "print x" " = $max"
gdb_test "print x / 2" " = [expr $max / 2]"
gdb_test "print (x / 4) * 2" " = [expr ($max / 4) * 2]"
gdb_test "print x - x" " = 0"
gdb_test "print x - 99 + 1" " = 170141183460469231731687303715884105629"
gdb_test "print -x" " = -170141183460469231731687303715884105727"
gdb_test "print +x" " = 170141183460469231731687303715884105727"
gdb_test "print x - 99 + 1" " = [expr $max - 99 + 1]"
gdb_test "print -x" " = -$max"
gdb_test "print +x" " = $max"
gdb_test "print 170141183460469231731687303715884105727" \
" = 170141183460469231731687303715884105727"
gdb_test "print x = 170141183460469231731687303715884105727" \
gdb_test "print x = $max" \
" = true"