# Copyright 2020 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"

if {[skip_ada_tests]} {
    return -1
}

standard_ada_testfile mi_access

load_lib mi-support.exp
set MIFLAGS "-i=mi"

if {[gdb_compile_ada "${srcfile}" "${binfile}" executable debug] != "" } {
    return -1
}

if {[mi_gdb_start]} {
    continue
}

mi_delete_breakpoints
mi_gdb_reinitialize_dir $srcdir/$subdir
mi_gdb_load ${binfile}

if ![mi_run_to_main] then {
    fail "cannot run to main, testcase aborted"
    return 0
}

set bp_location [gdb_get_line_number "STOP" ${testdir}/mi_access.adb]
mi_continue_to_line \
    "mi_access.adb:$bp_location" \
    "stop at start of mi_access"

# The bug was that creating a varobj for A_String_Access would crash.
mi_gdb_test "-var-create A_String_Access * A_String_Access" \
    "\\^done,name=\"A_String_Access\",numchild=\"1\",.*" \
    "Create varobj"

set bp_location [gdb_get_line_number "STOP2" ${testdir}/mi_access.adb]
mi_continue_to_line \
    "mi_access.adb:$bp_location" \
    "stop at stop 2"

mi_gdb_test "-var-update A_String_Access" \
    [string_to_regexp {^done,changelist=[{name="A_String_Access",in_scope="true",type_changed="false",has_more="0"}]}] \
    "update at stop 2"

mi_gdb_test "-var-list-children A_String_Access" \
    [string_to_regexp {^done,numchild="1",children=[child={name="A_String_Access.A_String_Access.all",exp="A_String_Access.all",numchild="3",type="array (3 .. 5) of character",thread-id="1"}],has_more="0"}] \
    "list children at stop 2"

set bp_location [gdb_get_line_number "STOP3" ${testdir}/mi_access.adb]
mi_continue_to_line \
    "mi_access.adb:$bp_location" \
    "stop at stop 3"

mi_gdb_test "-var-update A_String_Access" \
    [string_to_regexp {^done,changelist=[{name="A_String_Access",in_scope="true",type_changed="true",new_type="pck.string_access",new_num_children="0",has_more="0"}]}] \
    "update at stop 3"