1 # Copyright
2023 Free Software Foundation
, Inc.
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.
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.
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
/>.
16 # Test calling a function without debug
info.
20 require allow_ada_tests
22 standard_ada_testfile prog
24 # Since we use no
-force to
compile prog
, make sure we don
't pick up files
25 # from a previous compilation.
26 remote_file host delete [standard_output_file prog.o]
27 remote_file host delete [standard_output_file prog.ali]
29 # Compile pck without debuginfo but prog with it.
30 if {[gdb_compile_ada $srcdir/$subdir/$testdir/pck.adb \
31 [standard_output_file pck.o] object {}] != ""} {
35 if {[gdb_compile_ada "${srcfile}" "${binfile}" executable \
36 {debug no-force}] != ""} {
40 clean_restart ${testfile}
42 set bp_location [gdb_get_line_number "STOP" ${testdir}/prog.adb]
43 runto "prog.adb:$bp_location"
45 # Verify that the function was built without debuginfo.
46 gdb_test "print plus_one(23)" \
47 "plus_one.* has unknown return type; cast the call to its declared return type" \
48 "call function without debuginfo"
49 gdb_test "print integer (plus_one(23))" " = 24" \
50 "use cast to call function without debuginfo"