1 # Copyright 2015-2024 Free Software Foundation, Inc. 2 # 3 # This program is free software; you can redistribute it and/or modify 4 # it under the terms of the GNU General Public License as published by 5 # the Free Software Foundation; either version 3 of the License, or 6 # (at your option) any later version. 7 # 8 # This program is distributed in the hope that it will be useful, 9 # but WITHOUT ANY WARRANTY; without even the implied warranty of 10 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 11 # GNU General Public License for more details. 12 # 13 # You should have received a copy of the GNU General Public License 14 # along with this program. If not, see <http://www.gnu.org/licenses/>. 15 16 load_lib "ada.exp" 17 18 require allow_ada_tests 19 20 standard_ada_testfile foo_na09_042 21 22 # Note we don't test the "none" (no -fgnat-encodings option) scenario 23 # here, because "all" and "minimal" cover the cases, and this way we 24 # don't have to update the test when gnat changes its default. 25 foreach_gnat_encoding scenario flags {all minimal} { 26 lappend flags debug 27 28 if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} { 29 return -1 30 } 31 32 clean_restart ${testfile}-${scenario} 33 34 set bp_location [gdb_get_line_number "STOP" ${testdir}/foo_na09_042.adb] 35 runto "foo_na09_042.adb:$bp_location" 36 37 gdb_test "print a1" \ 38 " = \\(\\(i => 0, s => \"\"\\), \\(i => 1, s => \"A\"\\), \\(i => 2, s => \"AB\"\\)\\)" 39 40 gdb_test "print a1(1)" \ 41 " = \\(i => 0, s => \"\"\\)" 42 43 gdb_test "print a1(2)" \ 44 " = \\(i => 1, s => \"A\"\\)" 45 46 gdb_test "print a1(3)" \ 47 " = \\(i => 2, s => \"AB\"\\)" 48 49 gdb_test "print a2" \ 50 " = \\(\\(i => 2, s => \"AB\"\\), \\(i => 1, s => \"A\"\\), \\(i => 0, s => \"\"\\)\\)" 51 52 gdb_test "print a2(1)" \ 53 " = \\(i => 2, s => \"AB\"\\)" 54 55 gdb_test "print a2(2)" \ 56 " = \\(i => 1, s => \"A\"\\)" 57 58 gdb_test "print a2(3)" \ 59 " = \\(i => 0, s => \"\"\\)" 60 61 gdb_test "ptype a1(1)" \ 62 [multi_line "type = record" \ 63 " i: pck\\.small_type;" \ 64 " s: array \\((<>|1 \\.\\. i)\\) of character;" \ 65 "end record"] 66 } 67