optimize=-O2 \
additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
runto "increment"
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "BREAK" ${testdir}/foo.adb]
runto "foo.adb:$bp_location"
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "BREAK" ${testdir}/foo_q418_043.adb]
if ![runto "foo_q418_043.adb:$bp_location" ] then {
- perror "Couldn't run ${testfile}"
+ perror "Couldn't run ${testfile}-${scenario}"
return
}
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "BREAK" ${testdir}/foo.adb]
runto "foo.adb:$bp_location"
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "BREAK" ${testdir}/foo.adb]
runto "foo.adb:$bp_location"
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "START" ${testdir}/p.adb]
runto "p.adb:$bp_location"
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "BREAK" ${testdir}/foo.adb]
runto "foo.adb:$bp_location"
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "STOP" ${testdir}/foo.adb]
runto "foo.adb:$bp_location"
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "STOP" ${testdir}/foo.adb]
if ![runto "foo.adb:$bp_location" ] then {
- perror "Couldn't run ${testfile}"
+ perror "Couldn't run ${testfile}-${scenario}"
return
}
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "STOP" ${testdir}/foo_ra24_010.adb]
runto "foo_ra24_010.adb:$bp_location"
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
# GNAT 9 and 10 are known to fail.
if {$scenario == "minimal" && ([test_compiler_info {gcc-9-*}] \
foreach_with_prefix gnat_encodings {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$gnat_encodings]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != "" } {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${gnat_encodings}" executable $flags] != "" } {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${gnat_encodings}
set bp_location [gdb_get_line_number "STOP" ${testdir}/fixed.adb]
runto "fixed.adb:$bp_location"
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "Set breakpoint here" ${testdir}/fixed_points.adb]
runto "fixed_points.adb:$bp_location"
additional_flags=-margs \
additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "STOP" ${testdir}/foo.c]
runto "foo.c:$bp_location"
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "STOP" ${testdir}/foo.adb]
runto "foo.adb:$bp_location"
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- mi_clean_restart $binfile
+ mi_clean_restart $binfile-$scenario
if {[mi_runto_main] < 0} {
return 0
lappend flags additional_flags=-fgnat-encodings=$scenario
}
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != "" } {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != "" } {
return -1
}
- mi_clean_restart $binfile
+ mi_clean_restart $binfile-$scenario
if {[mi_runto_main] < 0} {
return 0
lappend flags additional_flags=-fgnat-encodings=$scenario
}
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != "" } {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != "" } {
return -1
}
- mi_clean_restart $binfile
+ mi_clean_restart $binfile-$scenario
if {[mi_runto_main] < 0} {
return 0
lappend flags additional_flags=-fgnat-encodings=$scenario
}
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- mi_clean_restart $binfile
+ mi_clean_restart $binfile-$scenario
if {[mi_runto_main] < 0} {
return 0
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "START" ${testdir}/foo.adb]
if ![runto "foo.adb:$bp_location" ] then {
- perror "Couldn't run ${testfile}"
+ perror "Couldn't run ${testfile}-${scenario}"
return
}
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable {debug}] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable {debug}] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "START" ${testdir}/p.adb]
runto "p.adb:$bp_location"
optimize=-O2 \
additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
gdb_breakpoint "foo_o224_021.child1.child2"
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "STOP" ${testdir}/pa.adb]
runto "pa.adb:$bp_location"
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "STOP" ${testdir}/pr.adb]
runto "pr.adb:$bp_location"
lappend flags additional_flags=-fgnat-encodings=$scenario
}
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "STOP" ${testdir}/comp_bug.adb]
runto "comp_bug.adb:$bp_location"
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "STOP" ${testdir}/foo.adb]
runto "foo.adb:$bp_location"
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "STOP" ${testdir}/main.adb]
runto "main.adb:$bp_location"
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != "" } {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != "" } {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_top_location [gdb_get_line_number "BREAK_TOP" ${testdir}/pck.adb]
set bp_middle_location [gdb_get_line_number "BREAK_MIDDLE" ${testdir}/pck.adb]
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "STOP" ${testdir}/foo.adb]
runto "foo.adb:$bp_location"
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "STOP1" ${testdir}/foo.adb]
runto "foo.adb:$bp_location"
lappend flags additional_flags=-fgnat-encodings=$scenario
}
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "BREAK" ${testdir}/unchecked_union.adb]
runto "unchecked_union.adb:$bp_location"
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "STOP" ${testdir}/foo_na09_042.adb]
runto "foo_na09_042.adb:$bp_location"
lappend flags additional_flags=-fgnat-encodings=$scenario
}
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "STOP" ${testdir}/pkg.adb]
runto "pkg.adb:$bp_location"
foreach_with_prefix scenario {all minimal} {
set flags [list debug additional_flags=-fgnat-encodings=$scenario]
- if {[gdb_compile_ada "${srcfile}" "${binfile}" executable $flags] != ""} {
+ if {[gdb_compile_ada "${srcfile}" "${binfile}-${scenario}" executable $flags] != ""} {
return -1
}
- clean_restart ${testfile}
+ clean_restart ${testfile}-${scenario}
set bp_location [gdb_get_line_number "START" ${testdir}/foo.adb]
runto "foo.adb:$bp_location"