|  | # Copyright 2011-2025 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" | 
|  |  | 
|  | require allow_ada_tests | 
|  |  | 
|  | standard_ada_testfile foo | 
|  |  | 
|  | if {[gdb_compile_ada "${srcfile}" "${binfile}" executable [list debug ]] != "" } { | 
|  | return -1 | 
|  | } | 
|  |  | 
|  | # Note: We restart the debugger before setting each breakpoint, because | 
|  | # we want to test the situation where the symtab for our breakpoint | 
|  | # has not been created yet. | 
|  | clean_restart ${testfile} | 
|  |  | 
|  | # Break on "pck.hello" rather than just "hello" to make sure we trigger | 
|  | # the non-wild symbol lookup. | 
|  | gdb_test "break pck.hello" \ | 
|  | "Breakpoint \[0-9\]+ at 0x\[0-9a-f\]+: file .*pck.adb, line \[0-9\]+." | 
|  |  | 
|  | # Do the same, but this time using a linespec where the user also | 
|  | # provided a filename. | 
|  |  | 
|  | clean_restart ${testfile} | 
|  |  | 
|  | gdb_test "break pck.adb:pck.hello" \ | 
|  | "Breakpoint \[0-9\]+ at 0x\[0-9a-f\]+: file .*pck.adb, line \[0-9\]+." | 
|  |  | 
|  | # Same scenarios as above, but with a function name that is spelled | 
|  | # with upper-case letters. | 
|  |  | 
|  | clean_restart ${testfile} | 
|  |  | 
|  | gdb_test "break Pck.Hello" \ | 
|  | "Breakpoint \[0-9\]+ at 0x\[0-9a-f\]+: file .*pck.adb, line \[0-9\]+." | 
|  |  | 
|  | clean_restart ${testfile} | 
|  |  | 
|  | gdb_test "break pck.adb:Pck.Hello" \ | 
|  | "Breakpoint \[0-9\]+ at 0x\[0-9a-f\]+: file .*pck.adb, line \[0-9\]+." |