gdb/testsuite/gdb.ada/arr_acc_idx_w_gap.exp

   1 # Copyright 2018-2020 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 standard_ada_testfile enum_with_gap_main
  19
  20 if {[gdb_compile_ada "${srcfile}" "${binfile}" executable [list debug ]] != "" } {
  21   return -1
  22 }
  23
  24 clean_restart ${testfile}
  25
  26 set bp_location [gdb_get_line_number "BREAK" ${testdir}/enum_with_gap_main.adb]
  27 if ![runto "enum_with_gap_main.adb:$bp_location" ] then {
  28   perror "Couldn't run ${testfile}"
  29   return
  30 }
  31
  32 gdb_test "print indexed_by_enum.all" \
  33          " = \\(lit1 => 1, 43, 42, 41\\)"
  34 gdb_test "print s.all" \
  35          " = \"Hello!\""
  36
  37 gdb_test "print indexed_by_enum'length" \
  38          " = 4"
  39 gdb_test "print s'length" \
  40          " = 6"
  41
  42 gdb_test "print indexed_by_enum'first" \
  43          " = lit1"
  44 gdb_test "print s'first" \
  45          " = 1"
  46
  47 gdb_test "print indexed_by_enum'last" \
  48          " = lit4"
  49 gdb_test "print s'last" \
  50          " = 6"
  51
  52 gdb_test "print indexed_by_enum(lit2..lit4)" \
  53          " = \\(lit2 => 43, 42, 41\\)"
  54 gdb_test "print s(2..4)" \
  55          " = \"ell\""